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
| | * Merge FixpointVC changes with mainlineGravatar Ken McMillan2014-10-08
| |/|
| | * Added "extra recursion bound" to FixedpointVC to support Corral.Gravatar Ken McMillan2014-10-08
| * | 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
generated by cgit v1.2.3 (git 2.39.1) at 2024-07-06 03:18:00 +0000