summaryrefslogtreecommitdiff
path: root/Source/VCGeneration/Context.cs
Commit message (Expand)AuthorAge
* Normalise line endings using a .gitattributes file. UnfortunatelyGravatar Dan Liew2015-06-28
* Add some experimental support for diagnosing timeouts.Gravatar Valentin Wüstholz2015-05-18
* Fixedpoint VC catch up with recent changesGravatar Ken McMillan2013-11-11
* Worked on the parallelization.Gravatar wuestholz2013-07-10
* Worked on the parallelization.Gravatar wuestholz2013-07-08
* Fixes for duality under corralGravatar Ken McMillan2013-06-14
* Boogie: Get rid of {:ignore} feature on axiomsGravatar Michal Moskal2011-10-27
* Implement Push/Pop interface.Gravatar MichalMoskal2011-02-23
* Kill {:prover "..."} attribute support; no one ever used this stuffGravatar MichalMoskal2011-02-17
* Boogie:Gravatar rustanleino2010-10-12
* bug fixes in z3apiGravatar qadeer2010-08-26
* Boogie: Fixed some doubly-inherited-contract occurrences.Gravatar tabarbe2010-08-20
* Boogie: Fixed some doubly-inherited-contract occurrences.Gravatar tabarbe2010-08-20
* More line ending fixups.Gravatar MichalMoskal2010-08-06
* Boogie: Removed trailing spaces in codeGravatar tabarbe2010-08-04
* Boogie: VCGeneration port part 1/3: Replacing old source files with ported ve...Gravatar tabarbe2010-07-28
* Boogie\VCGeneration: Renaming sources in preparation for my addition of the p...Gravatar tabarbe2010-07-28
generated by cgit v1.2.3 (git 2.39.1) at 2024-05-17 05:18:01 +0000