Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | Merge branch 'master' of https://github.com/boogie-org/boogie | Rustan Leino | 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 ↵ | Rustan Leino | 2015-08-28 |
| | | | | | | | | source locations of the new code. | ||
| * | Added another test. | Valentin Wüstholz | 2015-07-20 |
| | | |||
| * | Added more tests. | Valentin Wüstholz | 2015-07-20 |
| | | |||
| * | Normalise line endings using a .gitattributes file. Unfortunately | Dan Liew | 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. | ||
| * | Fix issue with computation of statement checksums for lambda expressions. | Valentin Wüstholz | 2015-06-12 |
| | | |||
| * | Add a test case. | Valentin Wüstholz | 2015-06-12 |
|/ | |||
* | Make caching of verification results more fine-grained for changes that ↵ | Valentin Wüstholz | 2015-05-17 |
| | | | | affect preconditions. | ||
* | Fixed issues in the verification result caching (old expressions). | wuestholz | 2014-11-24 |
| | |||
* | Fixed issue in the verification result caching. | wuestholz | 2014-11-10 |
| | |||
* | Added more tests for the verification result caching. | wuestholz | 2014-10-19 |
| | |||
* | Worked on the verification result caching. | wuestholz | 2014-10-19 |
| | |||
* | Made it produce more trace output for the verification result caching. | wuestholz | 2014-10-18 |
| | |||
* | Fix issue in verification result caching for assertions without subsumption. | wuestholz | 2014-10-13 |
| | |||
* | Added a test for the issue that was fixed in changeset 'e972f163bb7c'. | wuestholz | 2014-09-23 |
| | |||
* | Worked on the more advanced verification result caching. | wuestholz | 2014-07-10 |
| | |||
* | Worked on the more advanced verification result caching. | wuestholz | 2014-07-09 |
| | |||
* | Added more tests and worked on adding support for "canned errors". | wuestholz | 2014-07-06 |
| | |||
* | Worked on adding support for "canned errors". | wuestholz | 2014-07-06 |
| | |||
* | Did some refactoring, fixed minor issues, and made it apply the more ↵ | wuestholz | 2014-07-06 |
| | | | | advanced verification result caching even for implementations with errors. | ||
* | Implemented an optimization for assignments to assumption variables that are ↵ | wuestholz | 2014-07-04 |
| | | | | injected by the verification result caching for calls within loops. | ||
* | Fixed issue involving axioms in the dependency analysis used for ↵ | wuestholz | 2014-07-03 |
| | | | | verification result caching. | ||
* | Fixed issue in verification result caching. | wuestholz | 2014-06-26 |
| | |||
* | Worked on an extension of the existing verification result caching. | wuestholz | 2014-06-23 |
| | |||
* | Changed the 'verifySnapshots' command-line option to accept a numeric ↵ | wuestholz | 2014-06-20 |
| | | | | argument instead of a boolean one. | ||
* | Added more tests (snapshots). | wuestholz | 2014-05-30 |
| | |||
* | Fix lit test suite when running Boogie under a path that contains | Dan Liew | 2014-05-27 |
| | | | | spaces. | ||
* | Added more tests (snapshots). | wuestholz | 2014-05-27 |
| | |||
* | Enable snapshot test. This test is unusual in that it doesn't | Dan Liew | 2014-05-07 |
use .bpl files in the directory directy on the command line. So instead will tell lit to look for *.snapshot files and provide one that runs the commands we want in the right directory. |