summaryrefslogtreecommitdiff
path: root/Source
Commit message (Expand)AuthorAge
* Minor refactoringGravatar wuestholz2014-11-05
* Minor change to make some regression tests work with Z3 4.3.2Gravatar wuestholz2014-11-05
* Let attributes live on during inliningGravatar akashlal2014-11-05
* Logging for SMTLib proverGravatar akashlal2014-11-05
* Worked on the verification result caching.Gravatar wuestholz2014-11-05
* Worked on the verification result caching.Gravatar wuestholz2014-11-03
* Worked on the verification result caching.Gravatar wuestholz2014-11-03
* Fixed minor issue.Gravatar wuestholz2014-11-02
* Made it produce more trace output for the verification result caching.Gravatar wuestholz2014-11-02
* Did some refactoring.Gravatar wuestholz2014-11-02
* Fixed an issue (reported by Akash Lal).Gravatar wuestholz2014-10-30
* SI: print if a bound was reached.Gravatar akashlal2014-10-29
* Fixed minor issue (reported by Alex Summers).Gravatar wuestholz2014-10-28
* Worked on the verification result caching.Gravatar wuestholz2014-10-19
* Added more tests for the verification result caching.Gravatar wuestholz2014-10-19
* Worked on the verification result caching.Gravatar wuestholz2014-10-19
* Added a todo.Gravatar wuestholz2014-10-18
* Did some refactoring.Gravatar wuestholz2014-10-18
* Did some refactoring.Gravatar wuestholz2014-10-18
* Made it produce more trace output for the verification result caching.Gravatar wuestholz2014-10-18
* Worked on the verification result caching.Gravatar wuestholz2014-10-17
* Worked on the verification result caching.Gravatar wuestholz2014-10-17
* Worked on the verification result caching.Gravatar wuestholz2014-10-17
* Worked on the verification result caching.Gravatar wuestholz2014-10-17
* MergeGravatar wuestholz2014-10-17
|\
* | Updated Boogie version number to 2.3.0.61016. This version is now going out ...Gravatar leino2014-10-16
| * Did some refactoring.Gravatar wuestholz2014-10-16
|/
* Minor changeGravatar wuestholz2014-10-16
* Worked on the verification result caching.Gravatar wuestholz2014-10-16
* Worked on the verification result caching.Gravatar wuestholz2014-10-15
* Did some refactoring.Gravatar wuestholz2014-10-15
* Minor changesGravatar wuestholz2014-10-15
* Fix issue in verification result caching.Gravatar wuestholz2014-10-15
* Fix issue in verification result caching.Gravatar wuestholz2014-10-15
* Fix issue in computation of checksums for calls.Gravatar wuestholz2014-10-15
* MergeGravatar qadeer2014-10-14
|\
* | reversed the order of generated procedures; commutativity checks are generate...Gravatar qadeer2014-10-14
| * Fix issue in computation of checksums for indented statements.Gravatar wuestholz2014-10-15
| * Fix issue in computation of checksums for assume statements.Gravatar wuestholz2014-10-14
| * Made it produce more trace output for the verification result caching.Gravatar wuestholz2014-10-14
| * Made it produce more trace output for the verification result caching.Gravatar wuestholz2014-10-14
| * Minor changeGravatar wuestholz2014-10-14
| * Fix issue in verification result caching.Gravatar wuestholz2014-10-14
| * Fix issue in verification result caching for assertions without subsumption.Gravatar wuestholz2014-10-13
| * Add a todo.Gravatar wuestholz2014-10-13
| * Minor changesGravatar wuestholz2014-10-13
| * Minor changeGravatar wuestholz2014-10-13
| * Add '/traceCaching' flag.Gravatar wuestholz2014-10-13
| * Implement ToString() override for TransferCmds. It is overriden forGravatar Dan Liew2014-10-13
| * Fix bug in the Duplicator.Gravatar Dan Liew2014-10-08
generated by cgit v1.2.3 (git 2.39.1) at 2024-07-06 15:18:00 +0000