-
Notifications
You must be signed in to change notification settings - Fork 107
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Credit Specification Parsing & Encoding #559
base: master
Are you sure you want to change the base?
Commits on Jun 15, 2021
-
First version of preparser addition for credit polynomials
ELowis committedJun 15, 2021 Configuration menu - View commit details
-
Copy full SHA for 093f07e - Browse repository at this point
Copy the full SHA 093f07eView commit details -
bug fix nested parse_terminated
ELowis committedJun 15, 2021 Configuration menu - View commit details
-
Copy full SHA for 29996e3 - Browse repository at this point
Copy the full SHA 29996e3View commit details -
added credit polynomial to untyped & json
ELowis committedJun 15, 2021 Configuration menu - View commit details
-
Copy full SHA for daa4d37 - Browse repository at this point
Copy the full SHA daa4d37View commit details -
structural to typed conversion for credit polynomial
ELowis committedJun 15, 2021 Configuration menu - View commit details
-
Copy full SHA for 0c27106 - Browse repository at this point
Copy the full SHA 0c27106View commit details -
ELowis committed
Jun 15, 2021 Configuration menu - View commit details
-
Copy full SHA for 7838a3e - Browse repository at this point
Copy the full SHA 7838a3eView commit details
Commits on Jun 19, 2021
-
Configuration menu - View commit details
-
Copy full SHA for ef2ee2c - Browse repository at this point
Copy the full SHA ef2ee2cView commit details
Commits on Jun 21, 2021
-
Configuration menu - View commit details
-
Copy full SHA for de2c26e - Browse repository at this point
Copy the full SHA de2c26eView commit details -
Configuration menu - View commit details
-
Copy full SHA for e147bb9 - Browse repository at this point
Copy the full SHA e147bb9View commit details
Commits on Jun 22, 2021
-
Configuration menu - View commit details
-
Copy full SHA for 162a430 - Browse repository at this point
Copy the full SHA 162a430View commit details
Commits on Jul 2, 2021
-
Configuration menu - View commit details
-
Copy full SHA for 8146ccb - Browse repository at this point
Copy the full SHA 8146ccbView commit details
Commits on Jul 6, 2021
-
Configuration menu - View commit details
-
Copy full SHA for 434c7fb - Browse repository at this point
Copy the full SHA 434c7fbView commit details -
Merge remote-tracking branch 'upstream/master' into credit_spec_encoding
# Conflicts: # prusti-specs/src/specifications/preparser.rs
Configuration menu - View commit details
-
Copy full SHA for baa73ea - Browse repository at this point
Copy the full SHA baa73eaView commit details
Commits on Jul 7, 2021
-
Configuration menu - View commit details
-
Copy full SHA for fd3881e - Browse repository at this point
Copy the full SHA fd3881eView commit details -
Configuration menu - View commit details
-
Copy full SHA for 531873e - Browse repository at this point
Copy the full SHA 531873eView commit details
Commits on Jul 13, 2021
-
Configuration menu - View commit details
-
Copy full SHA for 2f0b5c3 - Browse repository at this point
Copy the full SHA 2f0b5c3View commit details -
Configuration menu - View commit details
-
Copy full SHA for 1787bdc - Browse repository at this point
Copy the full SHA 1787bdcView commit details -
Configuration menu - View commit details
-
Copy full SHA for 073bc92 - Browse repository at this point
Copy the full SHA 073bc92View commit details
Commits on Jul 14, 2021
-
Configuration menu - View commit details
-
Copy full SHA for 1e01bd5 - Browse repository at this point
Copy the full SHA 1e01bd5View commit details -
Configuration menu - View commit details
-
Copy full SHA for 7040daa - Browse repository at this point
Copy the full SHA 7040daaView commit details -
Configuration menu - View commit details
-
Copy full SHA for 03daa2f - Browse repository at this point
Copy the full SHA 03daa2fView commit details
Commits on Jul 18, 2021
-
Merge remote-tracking branch 'upstream/master' into cost_inference
# Conflicts: # prusti-interface/src/specs/typed.rs # prusti-specs/src/specifications/preparser.rs
Configuration menu - View commit details
-
Copy full SHA for 40f7d53 - Browse repository at this point
Copy the full SHA 40f7d53View commit details -
Configuration menu - View commit details
-
Copy full SHA for 317b53b - Browse repository at this point
Copy the full SHA 317b53bView commit details
Commits on Jul 28, 2021
-
Configuration menu - View commit details
-
Copy full SHA for e8c9d2d - Browse repository at this point
Copy the full SHA e8c9d2dView commit details -
fix credit power variable transfer into typed assertion; use expressi…
…on instead of Arg
Configuration menu - View commit details
-
Copy full SHA for ea5dcf0 - Browse repository at this point
Copy the full SHA ea5dcf0View commit details
Commits on Aug 9, 2021
-
Configuration menu - View commit details
-
Copy full SHA for 7e3690e - Browse repository at this point
Copy the full SHA 7e3690eView commit details
Commits on Aug 11, 2021
-
cost encoder with condition -> type mapping to fix empty branches & u…
…se ordered maps for deterministic behaviour
Configuration menu - View commit details
-
Copy full SHA for 39db16e - Browse repository at this point
Copy the full SHA 39db16eView commit details -
Configuration menu - View commit details
-
Copy full SHA for 2c2df6f - Browse repository at this point
Copy the full SHA 2c2df6fView commit details -
Configuration menu - View commit details
-
Copy full SHA for 19c1193 - Browse repository at this point
Copy the full SHA 19c1193View commit details -
Configuration menu - View commit details
-
Copy full SHA for bbd2819 - Browse repository at this point
Copy the full SHA bbd2819View commit details -
Configuration menu - View commit details
-
Copy full SHA for d067753 - Browse repository at this point
Copy the full SHA d067753View commit details -
Configuration menu - View commit details
-
Copy full SHA for 2be41ac - Browse repository at this point
Copy the full SHA 2be41acView commit details -
Configuration menu - View commit details
-
Copy full SHA for b6089fc - Browse repository at this point
Copy the full SHA b6089fcView commit details -
Configuration menu - View commit details
-
Copy full SHA for 86e5c88 - Browse repository at this point
Copy the full SHA 86e5c88View commit details -
Merge remote-tracking branch 'upstream/master' into cost_inference
# Conflicts: # prusti-common/src/vir/to_viper.rs # prusti-viper/src/encoder/encoder.rs # prusti-viper/src/encoder/mod.rs # prusti-viper/src/encoder/procedure_encoder.rs # prusti-viper/src/encoder/pure_function_encoder.rs # vir/src/legacy/ast/expr.rs # vir/src/legacy/ast/predicate.rs
Configuration menu - View commit details
-
Copy full SHA for 5399624 - Browse repository at this point
Copy the full SHA 5399624View commit details
Commits on Aug 12, 2021
-
Configuration menu - View commit details
-
Copy full SHA for 8ec3689 - Browse repository at this point
Copy the full SHA 8ec3689View commit details -
Configuration menu - View commit details
-
Copy full SHA for cc4ad2a - Browse repository at this point
Copy the full SHA cc4ad2aView commit details -
Merge remote-tracking branch 'upstream/master' into cost_inference
# Conflicts: # prusti-common/src/vir/to_viper.rs
Configuration menu - View commit details
-
Copy full SHA for 85c9efa - Browse repository at this point
Copy the full SHA 85c9efaView commit details -
Configuration menu - View commit details
-
Copy full SHA for 288e515 - Browse repository at this point
Copy the full SHA 288e515View commit details
Commits on Aug 13, 2021
-
Configuration menu - View commit details
-
Copy full SHA for b14348b - Browse repository at this point
Copy the full SHA b14348bView commit details -
Configuration menu - View commit details
-
Copy full SHA for d8b2811 - Browse repository at this point
Copy the full SHA d8b2811View commit details
Commits on Aug 17, 2021
-
Configuration menu - View commit details
-
Copy full SHA for 65f954b - Browse repository at this point
Copy the full SHA 65f954bView commit details -
Configuration menu - View commit details
-
Copy full SHA for 331e777 - Browse repository at this point
Copy the full SHA 331e777View commit details -
Configuration menu - View commit details
-
Copy full SHA for ccbbeb3 - Browse repository at this point
Copy the full SHA ccbbeb3View commit details -
Configuration menu - View commit details
-
Copy full SHA for c187967 - Browse repository at this point
Copy the full SHA c187967View commit details -
Configuration menu - View commit details
-
Copy full SHA for d86bc29 - Browse repository at this point
Copy the full SHA d86bc29View commit details -
Configuration menu - View commit details
-
Copy full SHA for 4d56f72 - Browse repository at this point
Copy the full SHA 4d56f72View commit details
Commits on Aug 18, 2021
-
Configuration menu - View commit details
-
Copy full SHA for a0502ca - Browse repository at this point
Copy the full SHA a0502caView commit details
Commits on Aug 19, 2021
-
Configuration menu - View commit details
-
Copy full SHA for c1dfbb3 - Browse repository at this point
Copy the full SHA c1dfbb3View commit details -
Configuration menu - View commit details
-
Copy full SHA for 96bc2f1 - Browse repository at this point
Copy the full SHA 96bc2f1View commit details
Commits on Aug 27, 2021
-
Configuration menu - View commit details
-
Copy full SHA for 032cb10 - Browse repository at this point
Copy the full SHA 032cb10View commit details -
Configuration menu - View commit details
-
Copy full SHA for be86187 - Browse repository at this point
Copy the full SHA be86187View commit details -
Configuration menu - View commit details
-
Copy full SHA for 81fcf53 - Browse repository at this point
Copy the full SHA 81fcf53View commit details -
Configuration menu - View commit details
-
Copy full SHA for edad115 - Browse repository at this point
Copy the full SHA edad115View commit details -
Configuration menu - View commit details
-
Copy full SHA for 6bac4c7 - Browse repository at this point
Copy the full SHA 6bac4c7View commit details -
Configuration menu - View commit details
-
Copy full SHA for 2734034 - Browse repository at this point
Copy the full SHA 2734034View commit details -
Configuration menu - View commit details
-
Copy full SHA for 2c5d2af - Browse repository at this point
Copy the full SHA 2c5d2afView commit details -
Configuration menu - View commit details
-
Copy full SHA for 38055b2 - Browse repository at this point
Copy the full SHA 38055b2View commit details -
Configuration menu - View commit details
-
Copy full SHA for 011c70f - Browse repository at this point
Copy the full SHA 011c70fView commit details -
Configuration menu - View commit details
-
Copy full SHA for 945d09e - Browse repository at this point
Copy the full SHA 945d09eView commit details -
Configuration menu - View commit details
-
Copy full SHA for f7171ff - Browse repository at this point
Copy the full SHA f7171ffView commit details -
Configuration menu - View commit details
-
Copy full SHA for bfad5e8 - Browse repository at this point
Copy the full SHA bfad5e8View commit details
Commits on Aug 29, 2021
-
Configuration menu - View commit details
-
Copy full SHA for 6ebe60b - Browse repository at this point
Copy the full SHA 6ebe60bView commit details -
Configuration menu - View commit details
-
Copy full SHA for 993268e - Browse repository at this point
Copy the full SHA 993268eView commit details -
Configuration menu - View commit details
-
Copy full SHA for 64b9cdc - Browse repository at this point
Copy the full SHA 64b9cdcView commit details -
Configuration menu - View commit details
-
Copy full SHA for 5025736 - Browse repository at this point
Copy the full SHA 5025736View commit details -
Configuration menu - View commit details
-
Copy full SHA for e15c777 - Browse repository at this point
Copy the full SHA e15c777View commit details -
Configuration menu - View commit details
-
Copy full SHA for 52601ed - Browse repository at this point
Copy the full SHA 52601edView commit details -
Configuration menu - View commit details
-
Copy full SHA for 0c64436 - Browse repository at this point
Copy the full SHA 0c64436View commit details
Commits on Aug 30, 2021
-
Configuration menu - View commit details
-
Copy full SHA for 218f7f7 - Browse repository at this point
Copy the full SHA 218f7f7View commit details
Commits on Aug 31, 2021
-
Configuration menu - View commit details
-
Copy full SHA for 91b50de - Browse repository at this point
Copy the full SHA 91b50deView commit details -
Configuration menu - View commit details
-
Copy full SHA for 2525632 - Browse repository at this point
Copy the full SHA 2525632View commit details
Commits on Sep 1, 2021
-
Configuration menu - View commit details
-
Copy full SHA for df1fbc7 - Browse repository at this point
Copy the full SHA df1fbc7View commit details -
Configuration menu - View commit details
-
Copy full SHA for 6c0daa6 - Browse repository at this point
Copy the full SHA 6c0daa6View commit details
Commits on Oct 7, 2021
-
Configuration menu - View commit details
-
Copy full SHA for 060128e - Browse repository at this point
Copy the full SHA 060128eView commit details -
Configuration menu - View commit details
-
Copy full SHA for ce3459f - Browse repository at this point
Copy the full SHA ce3459fView commit details -
Configuration menu - View commit details
-
Copy full SHA for 0f0e3f3 - Browse repository at this point
Copy the full SHA 0f0e3f3View commit details -
Configuration menu - View commit details
-
Copy full SHA for 3836f06 - Browse repository at this point
Copy the full SHA 3836f06View commit details