summaryrefslogtreecommitdiff
path: root/Source/VCGeneration
Commit message (Expand)AuthorAge
* 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
* SI: print if a bound was reached.Gravatar akashlal2014-10-29
* Worked on the verification result caching.Gravatar wuestholz2014-10-19
* Worked on the verification result caching.Gravatar wuestholz2014-10-19
* 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
* Did some refactoring.Gravatar wuestholz2014-10-16
* Worked on the verification result caching.Gravatar wuestholz2014-10-16
* Fix issue in verification result caching.Gravatar wuestholz2014-10-15
* Fix issue in verification result caching.Gravatar wuestholz2014-10-15
* Made it produce more trace output for the 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
* MergeGravatar akashlal2014-10-01
|\
| * Minor correctionsGravatar akashlal2014-10-01
* | fixed StackOverflow in TraceCounterexample;Gravatar qadeer2014-09-30
|/
* SI: VC gen with labelsGravatar akashlal2014-09-29
* Cleanup: removed unused codeGravatar akashlal2014-09-29
* Fix to VC genGravatar akashlal2014-09-28
* Fix for boolVC generationGravatar akashlal2014-09-27
* Lets have a setter for TopLevelDeclarations as wellGravatar akashlal2014-09-25
* (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
* Fixed an issue in the verification result caching (recycled errors).Gravatar wuestholz2014-09-22
* fixed various CodeContracts issues.Gravatar qadeer2014-09-18
* mergeGravatar qadeer2014-08-08
|\
* | fixed codexpr bug reported by Michael Emmi; removed special handling of codex...Gravatar qadeer2014-08-08
| * Bug fix in SIGravatar akashlal2014-08-03
|/
* Some simplificationsGravatar akashlal2014-07-28
* Fix nasty bug introduced by commit 61a94f409975.Gravatar Dan Liew2014-07-15
* Worked on the more advanced verification result caching.Gravatar wuestholz2014-07-10
* Worked on the more advanced verification result caching.Gravatar wuestholz2014-07-10
* Worked on the more advanced verification result caching.Gravatar wuestholz2014-07-09
* Worked on adding support for "canned errors".Gravatar wuestholz2014-07-07
* Added more tests and worked on adding support for "canned errors".Gravatar wuestholz2014-07-06
* Worked on adding support for "canned errors".Gravatar wuestholz2014-07-06
* Did some refactoring, fixed minor issues, and made it apply the more advanced...Gravatar wuestholz2014-07-06
* Implemented an optimization for assignments to assumption variables that are ...Gravatar wuestholz2014-07-04
generated by cgit v1.2.3 (git 2.39.1) at 2024-07-02 19:00:12 +0000