summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAge
* 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
| * MergeGravatar akashlal2014-10-01
|/|
| * Minor correctionsGravatar akashlal2014-10-01
* | fixed StackOverflow in TraceCounterexample;Gravatar qadeer2014-09-30
|/
* Added a flag to initialize the interpolating TPGravatar akashlal2014-09-29
* SI: VC gen with labelsGravatar akashlal2014-09-29
* Cleanup: removed unused codeGravatar akashlal2014-09-29
* Fix to VC genGravatar akashlal2014-09-28
* MergeGravatar akashlal2014-09-27
|\
* | Fix for boolVC generationGravatar akashlal2014-09-27
* | Better fix for the duplicator, thanks to wuestholzGravatar akashlal2014-09-27
| * Fixed issue reported by Akash Lal.Gravatar wuestholz2014-09-26
|/
* Fix for the duplicator; can't use CloneGravatar akashlal2014-09-26
* The setter is better this wayGravatar akashlal2014-09-25
* Lets have a setter for TopLevelDeclarations as wellGravatar akashlal2014-09-25
* Merge.Gravatar Dan Liew2014-09-24
|\
* | Remove dead method argumentGravatar Dan Liew2014-09-24
* | Remove dead codeGravatar Dan Liew2014-09-24
* | Let the SMT lib convert models to Z3-like modelsGravatar Dan Liew2014-09-24
| * (Subhajit) Added an interface for InterpolatingTheoremProverGravatar akashlal2014-09-24
| * minor fixGravatar akashlal2014-09-24
| * Simple VC generation for SIGravatar akashlal2014-09-24
|/
* Fixed assertion violation.Gravatar wuestholz2014-09-23
* Did more refactoring and addressed several todos.Gravatar wuestholz2014-09-23
* Did more refactoring.Gravatar wuestholz2014-09-23
* Did some refactoring.Gravatar wuestholz2014-09-23
* Added a test for the issue that was fixed in changeset 'e972f163bb7c'.Gravatar wuestholz2014-09-23
* Fixed an issue in the verification result caching (recycled errors).Gravatar wuestholz2014-09-22
* Add missing run lines (based off Test/doomed/runtest.bat) to doomedGravatar Dan Liew2014-09-21
* minor fix to abshoudini's handling of quantifiersGravatar akashlal2014-09-20
generated by cgit v1.2.3 (git 2.39.1) at 2025-02-09 13:05:11 +0000