Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | Improve output for diagnosing timeouts. | 2015-10-01 | |
| | |||
* | Improve output for diagnosing timeouts. | 2015-09-30 | |
| | |||
* | update | 2015-09-28 | |
| | |||
* | cleaned up some names | 2015-09-28 | |
| | |||
* | Merge branch 'master' of https://github.com/boogie-org/boogie | 2015-08-28 | |
|\ | | | | | | | | | | | | | | | | | | | Conflicts: Source/Core/CommandLineOptions.cs Source/ExecutionEngine/ExecutionEngine.cs Source/ExecutionEngine/VerificationResultCache.cs Source/VCGeneration/VC.cs Test/snapshots/runtest.snapshot Test/snapshots/runtest.snapshot.expect | ||
* | | Added /verifySnapshots:3, which prints recycled errors messages with the ↵ | 2015-08-28 | |
| | | | | | | | | source locations of the new code. | ||
| * | Normalise line endings using a .gitattributes file. Unfortunately | 2015-06-28 | |
|/ | | | | | | this required that this commit globally modify most files. If you want to use git blame to see the real author of a line use the ``-w`` flag so that whitespace changes are ignored. | ||
* | Improve support for diagnosing timeouts. | 2015-06-05 | |
| | |||
* | Make it not return cached verification results for timed-out implementations ↵ | 2015-05-18 | |
| | | | | when timeout diagnostics are enabled. | ||
* | Minor refactoring | 2015-05-17 | |
| | |||
* | Make caching of verification results more fine-grained for changes that ↵ | 2015-05-17 | |
| | | | | affect preconditions. | ||
* | VC gen for security properties | 2015-04-05 | |
| | |||
* | fixed crash reported by Dan. | 2015-03-02 | |
| | | | | DoModSetAnalysis needs to run before the linear and mover type checking. | ||
* | Made the trace output for the caching more detailed. | 2015-01-29 | |
| | |||
* | Worked on the verification result caching (trace output). | 2015-01-26 | |
| | |||
* | Worked on the verification result caching (use weights for extracted functions). | 2015-01-24 | |
| | |||
* | Merge | 2015-01-16 | |
|\ | |||
* | | removed "layer" attribute from the desugared program | 2015-01-16 | |
| | | |||
| * | Merge | 2015-01-13 | |
| |\ | |/ |/| | |||
| * | Removed unnecessary stage-related attributes from candidate annotations. | 2015-01-10 | |
| | | |||
* | | Minor changes to the "Checked" build configuration | 2015-01-09 | |
|/ | |||
* | Updated to Staged Houdini | 2015-01-08 | |
| | |||
* | Minor changes | 2015-01-02 | |
| | |||
* | Minor change in verification result caching (extracted functions) | 2014-12-28 | |
| | |||
* | Minor change | 2014-12-26 | |
| | |||
* | Added todos. | 2014-11-26 | |
| | |||
* | Worked on the verification result caching (extracted functions). | 2014-11-25 | |
| | |||
* | Fixed issues in the verification result caching (old expressions). | 2014-11-24 | |
| | |||
* | Worked on the verification result caching. | 2014-11-23 | |
| | |||
* | Fixed issue in the verification result caching. | 2014-11-10 | |
| | |||
* | Worked on the verification result caching. | 2014-11-10 | |
| | |||
* | Worked on the verification result caching. | 2014-11-03 | |
| | |||
* | Fixed minor issue. | 2014-11-02 | |
| | |||
* | Made it produce more trace output for the verification result caching. | 2014-11-02 | |
| | |||
* | Added more tests for the verification result caching. | 2014-10-19 | |
| | |||
* | Added a todo. | 2014-10-18 | |
| | |||
* | Did some refactoring. | 2014-10-18 | |
| | |||
* | Did some refactoring. | 2014-10-18 | |
| | |||
* | Made it produce more trace output for the verification result caching. | 2014-10-18 | |
| | |||
* | Worked on the verification result caching. | 2014-10-17 | |
| | |||
* | Worked on the verification result caching. | 2014-10-17 | |
| | |||
* | Did some refactoring. | 2014-10-16 | |
| | |||
* | Worked on the verification result caching. | 2014-10-15 | |
| | |||
* | Did some refactoring. | 2014-10-15 | |
| | |||
* | Minor changes | 2014-10-15 | |
| | |||
* | Fix issue in computation of checksums for calls. | 2014-10-15 | |
| | |||
* | Made it produce more trace output for the verification result caching. | 2014-10-14 | |
| | |||
* | Minor change | 2014-10-14 | |
| | |||
* | Fix issue in verification result caching. | 2014-10-14 | |
| | |||
* | Minor changes | 2014-10-13 | |
| |