-
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
Resources, Obligations, Time Reasoning #1408
base: master
Are you sure you want to change the base?
Commits on Jun 27, 2023
-
For now it only handles `time_credits` and `time_receipts`.
Configuration menu - View commit details
-
Copy full SHA for 09e39b3 - Browse repository at this point
Copy the full SHA 09e39b3View commit details -
Configuration menu - View commit details
-
Copy full SHA for 412f1d2 - Browse repository at this point
Copy the full SHA 412f1d2View commit details -
Configuration menu - View commit details
-
Copy full SHA for 14f7b3c - Browse repository at this point
Copy the full SHA 14f7b3cView commit details -
Configuration menu - View commit details
-
Copy full SHA for 4d249ad - Browse repository at this point
Copy the full SHA 4d249adView commit details -
Configuration menu - View commit details
-
Copy full SHA for 73ea7bc - Browse repository at this point
Copy the full SHA 73ea7bcView commit details -
Configuration menu - View commit details
-
Copy full SHA for 2d10a22 - Browse repository at this point
Copy the full SHA 2d10a22View commit details -
Configuration menu - View commit details
-
Copy full SHA for 7830d6c - Browse repository at this point
Copy the full SHA 7830d6cView commit details -
Configuration menu - View commit details
-
Copy full SHA for 9d94c35 - Browse repository at this point
Copy the full SHA 9d94c35View commit details -
Configuration menu - View commit details
-
Copy full SHA for a4e7fdb - Browse repository at this point
Copy the full SHA a4e7fdbView commit details -
Configuration menu - View commit details
-
Copy full SHA for 69a868c - Browse repository at this point
Copy the full SHA 69a868cView commit details -
Configuration menu - View commit details
-
Copy full SHA for c6e8686 - Browse repository at this point
Copy the full SHA c6e8686View commit details -
Configuration menu - View commit details
-
Copy full SHA for f9f093a - Browse repository at this point
Copy the full SHA f9f093aView commit details -
More tests and add an expression simplifier for methods
Implications are brocken with time credits and receipts contraints as they are impure but Prusti translate them into ors which viper doesn't accept. Simplifying those expression solve this issue as they are changed back to an implication.
Configuration menu - View commit details
-
Copy full SHA for cec311f - Browse repository at this point
Copy the full SHA cec311fView commit details -
Configuration menu - View commit details
-
Copy full SHA for 72de7d2 - Browse repository at this point
Copy the full SHA 72de7d2View commit details -
Configuration menu - View commit details
-
Copy full SHA for c44f07c - Browse repository at this point
Copy the full SHA c44f07cView commit details -
Configuration menu - View commit details
-
Copy full SHA for 637c27e - Browse repository at this point
Copy the full SHA 637c27eView commit details -
Configuration menu - View commit details
-
Copy full SHA for 6e463fa - Browse repository at this point
Copy the full SHA 6e463faView commit details -
Configuration menu - View commit details
-
Copy full SHA for b6a2b5f - Browse repository at this point
Copy the full SHA b6a2b5fView commit details -
Configuration menu - View commit details
-
Copy full SHA for 284fb6e - Browse repository at this point
Copy the full SHA 284fb6eView commit details -
Configuration menu - View commit details
-
Copy full SHA for 98b18c8 - Browse repository at this point
Copy the full SHA 98b18c8View commit details -
Configuration menu - View commit details
-
Copy full SHA for 4773f98 - Browse repository at this point
Copy the full SHA 4773f98View commit details -
Configuration menu - View commit details
-
Copy full SHA for 4994088 - Browse repository at this point
Copy the full SHA 4994088View commit details -
Configuration menu - View commit details
-
Copy full SHA for 9f4d2bd - Browse repository at this point
Copy the full SHA 9f4d2bdView commit details -
Configuration menu - View commit details
-
Copy full SHA for a9a52b5 - Browse repository at this point
Copy the full SHA a9a52b5View commit details -
Configuration menu - View commit details
-
Copy full SHA for 4fafe78 - Browse repository at this point
Copy the full SHA 4fafe78View commit details -
Configuration menu - View commit details
-
Copy full SHA for 6fe96ed - Browse repository at this point
Copy the full SHA 6fe96edView commit details -
Configuration menu - View commit details
-
Copy full SHA for 51df834 - Browse repository at this point
Copy the full SHA 51df834View commit details -
Configuration menu - View commit details
-
Copy full SHA for 7dcdba2 - Browse repository at this point
Copy the full SHA 7dcdba2View commit details -
Configuration menu - View commit details
-
Copy full SHA for 722091e - Browse repository at this point
Copy the full SHA 722091eView commit details -
Configuration menu - View commit details
-
Copy full SHA for f3ab30e - Browse repository at this point
Copy the full SHA f3ab30eView commit details -
Configuration menu - View commit details
-
Copy full SHA for 6720901 - Browse repository at this point
Copy the full SHA 6720901View commit details -
Configuration menu - View commit details
-
Copy full SHA for cd5b895 - Browse repository at this point
Copy the full SHA cd5b895View commit details -
Configuration menu - View commit details
-
Copy full SHA for d686cce - Browse repository at this point
Copy the full SHA d686cceView commit details -
Configuration menu - View commit details
-
Copy full SHA for 1c9da0e - Browse repository at this point
Copy the full SHA 1c9da0eView commit details -
Configuration menu - View commit details
-
Copy full SHA for 384a9ee - Browse repository at this point
Copy the full SHA 384a9eeView commit details -
Configuration menu - View commit details
-
Copy full SHA for d0e938f - Browse repository at this point
Copy the full SHA d0e938fView commit details -
Configuration menu - View commit details
-
Copy full SHA for 7b52866 - Browse repository at this point
Copy the full SHA 7b52866View commit details -
Configuration menu - View commit details
-
Copy full SHA for 1aab38c - Browse repository at this point
Copy the full SHA 1aab38cView commit details -
Configuration menu - View commit details
-
Copy full SHA for 0ef8d03 - Browse repository at this point
Copy the full SHA 0ef8d03View commit details -
Configuration menu - View commit details
-
Copy full SHA for a3a5802 - Browse repository at this point
Copy the full SHA a3a5802View commit details -
Configuration menu - View commit details
-
Copy full SHA for efefb87 - Browse repository at this point
Copy the full SHA efefb87View commit details -
Configuration menu - View commit details
-
Copy full SHA for 8d8bcfb - Browse repository at this point
Copy the full SHA 8d8bcfbView commit details -
Configuration menu - View commit details
-
Copy full SHA for 1543569 - Browse repository at this point
Copy the full SHA 1543569View commit details -
Configuration menu - View commit details
-
Copy full SHA for 5c397d7 - Browse repository at this point
Copy the full SHA 5c397d7View commit details -
Configuration menu - View commit details
-
Copy full SHA for 3cd5691 - Browse repository at this point
Copy the full SHA 3cd5691View commit details -
Configuration menu - View commit details
-
Copy full SHA for 3042a5a - Browse repository at this point
Copy the full SHA 3042a5aView commit details -
Configuration menu - View commit details
-
Copy full SHA for 0e67084 - Browse repository at this point
Copy the full SHA 0e67084View commit details -
Configuration menu - View commit details
-
Copy full SHA for cb9563b - Browse repository at this point
Copy the full SHA cb9563bView commit details -
Configuration menu - View commit details
-
Copy full SHA for 44c17cd - Browse repository at this point
Copy the full SHA 44c17cdView commit details -
Configuration menu - View commit details
-
Copy full SHA for 45eb0f7 - Browse repository at this point
Copy the full SHA 45eb0f7View commit details -
Configuration menu - View commit details
-
Copy full SHA for 088df18 - Browse repository at this point
Copy the full SHA 088df18View commit details
Commits on Jun 29, 2023
-
Configuration menu - View commit details
-
Copy full SHA for e9be356 - Browse repository at this point
Copy the full SHA e9be356View commit details
Commits on Jul 2, 2023
-
Revert back to leak check statements in VIR; correctly report obligat…
…ion verification errors
Configuration menu - View commit details
-
Copy full SHA for 6bb8e38 - Browse repository at this point
Copy the full SHA 6bb8e38View commit details -
Configuration menu - View commit details
-
Copy full SHA for c132824 - Browse repository at this point
Copy the full SHA c132824View commit details
Commits on Jul 3, 2023
-
Configuration menu - View commit details
-
Copy full SHA for 52d4641 - Browse repository at this point
Copy the full SHA 52d4641View commit details
Commits on Jul 4, 2023
-
Properly attach position info to float backend functions; move viperp…
…roject#729 to pass; bump specs version
Configuration menu - View commit details
-
Copy full SHA for cab9aa2 - Browse repository at this point
Copy the full SHA cab9aa2View commit details
Commits on Jul 6, 2023
-
Configuration menu - View commit details
-
Copy full SHA for 4007982 - Browse repository at this point
Copy the full SHA 4007982View commit details -
Configuration menu - View commit details
-
Copy full SHA for 935fa33 - Browse repository at this point
Copy the full SHA 935fa33View commit details
Commits on Jul 7, 2023
-
Configuration menu - View commit details
-
Copy full SHA for ea06554 - Browse repository at this point
Copy the full SHA ea06554View commit details -
Configuration menu - View commit details
-
Copy full SHA for 7d2a265 - Browse repository at this point
Copy the full SHA 7d2a265View commit details -
Configuration menu - View commit details
-
Copy full SHA for 78f7664 - Browse repository at this point
Copy the full SHA 78f7664View commit details -
Configuration menu - View commit details
-
Copy full SHA for 70882ce - Browse repository at this point
Copy the full SHA 70882ceView commit details -
Configuration menu - View commit details
-
Copy full SHA for b5e2447 - Browse repository at this point
Copy the full SHA b5e2447View commit details -
Configuration menu - View commit details
-
Copy full SHA for 1294196 - Browse repository at this point
Copy the full SHA 1294196View commit details -
Configuration menu - View commit details
-
Copy full SHA for 78b83f5 - Browse repository at this point
Copy the full SHA 78b83f5View commit details
Commits on Jul 8, 2023
-
Configuration menu - View commit details
-
Copy full SHA for c7b13e8 - Browse repository at this point
Copy the full SHA c7b13e8View commit details -
Configuration menu - View commit details
-
Copy full SHA for 1a54d12 - Browse repository at this point
Copy the full SHA 1a54d12View commit details -
Configuration menu - View commit details
-
Copy full SHA for 1e86dc5 - Browse repository at this point
Copy the full SHA 1e86dc5View commit details
Commits on Jul 9, 2023
-
Configuration menu - View commit details
-
Copy full SHA for 654049f - Browse repository at this point
Copy the full SHA 654049fView commit details -
Configuration menu - View commit details
-
Copy full SHA for 006413e - Browse repository at this point
Copy the full SHA 006413eView commit details -
Configuration menu - View commit details
-
Copy full SHA for 0463263 - Browse repository at this point
Copy the full SHA 0463263View commit details -
Configuration menu - View commit details
-
Copy full SHA for 281e5b7 - Browse repository at this point
Copy the full SHA 281e5b7View commit details -
Configuration menu - View commit details
-
Copy full SHA for 8eeaf4c - Browse repository at this point
Copy the full SHA 8eeaf4cView commit details -
Configuration menu - View commit details
-
Copy full SHA for 197eeab - Browse repository at this point
Copy the full SHA 197eeabView commit details
Commits on Jul 10, 2023
-
Configuration menu - View commit details
-
Copy full SHA for 130364a - Browse repository at this point
Copy the full SHA 130364aView commit details -
Temporarily revert double Not elimination; wait for viperproject#1411 …
…to fix errors This reverts commit 197eeab.
Configuration menu - View commit details
-
Copy full SHA for b1ea85f - Browse repository at this point
Copy the full SHA b1ea85fView commit details
Commits on Jul 13, 2023
-
Configuration menu - View commit details
-
Copy full SHA for 57a2032 - Browse repository at this point
Copy the full SHA 57a2032View commit details -
Configuration menu - View commit details
-
Copy full SHA for 4314482 - Browse repository at this point
Copy the full SHA 4314482View commit details
Commits on Jul 14, 2023
-
Configuration menu - View commit details
-
Copy full SHA for 133a75f - Browse repository at this point
Copy the full SHA 133a75fView commit details -
Configuration menu - View commit details
-
Copy full SHA for ce05b40 - Browse repository at this point
Copy the full SHA ce05b40View commit details -
Configuration menu - View commit details
-
Copy full SHA for 64aff6d - Browse repository at this point
Copy the full SHA 64aff6dView commit details
Commits on Jul 15, 2023
-
Configuration menu - View commit details
-
Copy full SHA for 10d977f - Browse repository at this point
Copy the full SHA 10d977fView commit details -
Configuration menu - View commit details
-
Copy full SHA for 600a4b0 - Browse repository at this point
Copy the full SHA 600a4b0View commit details -
Configuration menu - View commit details
-
Copy full SHA for e114508 - Browse repository at this point
Copy the full SHA e114508View commit details
Commits on Jul 18, 2023
-
Configuration menu - View commit details
-
Copy full SHA for 7b772d1 - Browse repository at this point
Copy the full SHA 7b772d1View commit details
Commits on Jul 23, 2023
-
Configuration menu - View commit details
-
Copy full SHA for 5ce5d14 - Browse repository at this point
Copy the full SHA 5ce5d14View commit details
Commits on Jul 26, 2023
-
Configuration menu - View commit details
-
Copy full SHA for aeeea30 - Browse repository at this point
Copy the full SHA aeeea30View commit details
Commits on Jul 28, 2023
-
Configuration menu - View commit details
-
Copy full SHA for 54e0d9b - Browse repository at this point
Copy the full SHA 54e0d9bView commit details -
Configuration menu - View commit details
-
Copy full SHA for 6a625e6 - Browse repository at this point
Copy the full SHA 6a625e6View commit details -
Configuration menu - View commit details
-
Copy full SHA for 79d4868 - Browse repository at this point
Copy the full SHA 79d4868View commit details