summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAge
* Did some refactoring.Gravatar wuestholz2014-11-02
* Fixed an issue (reported by Akash Lal).Gravatar wuestholz2014-10-30
* Added a test for the verification result caching.Gravatar wuestholz2014-10-29
* SI: print if a bound was reached.Gravatar akashlal2014-10-29
* Fixed minor issue (reported by Alex Summers).Gravatar wuestholz2014-10-28
* MergeGravatar qadeer2014-10-21
|\
* | removed a useless procedureGravatar qadeer2014-10-21
| * 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
| * Fix typos in the name of a property and method used for handlingGravatar Dan Liew2014-10-08
| * Fix bug in Duplicator. Previously when cloning an entire ProgramGravatar Dan Liew2014-10-06
| * Improved on my fix to the Duplicator bug fixed in ca82591ab1f8.Gravatar Dan Liew2014-10-06
| * Fix bug in Duplicator where GotoCmd's LabelTargets and LabelNamesGravatar Dan Liew2014-10-05
| * Some fixes to ITPGravatar akashlal2014-10-04
| * minor fixes to interpolating TPGravatar akashlal2014-10-03
generated by cgit v1.2.3 (git 2.39.1) at 2024-07-01 18:45:07 +0000