summaryrefslogtreecommitdiff
path: root/Source/VCGeneration
Commit message (Expand)AuthorAge
* Added a test and a todo.Gravatar wuestholz2015-01-02
* Worked on more native support for partially-verified assertions.Gravatar wuestholz2014-12-28
* Fixed a postcondition.Gravatar wuestholz2014-12-26
* Added an annotation, :split_here, for predicate statements.Gravatar Bryan Parno2014-12-16
* Merge some FixpointVC changes that got left behindGravatar Ken McMillan2014-12-08
|\
* | Optimized the VC generation for assumption variables.Gravatar wuestholz2014-12-07
* | Fixed issue in the verification result caching.Gravatar wuestholz2014-11-10
* | Worked on the verification result caching.Gravatar wuestholz2014-11-10
* | 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
| * Merge FixpointVC changes with mainlineGravatar Ken McMillan2014-10-08
|/|
| * Added "extra recursion bound" to FixedpointVC to support Corral.Gravatar Ken McMillan2014-10-08
* | 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
|/
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-30 17:50:03 +0000