summaryrefslogtreecommitdiff
path: root/Source/ExecutionEngine/ExecutionEngine.csproj
Commit message (Expand)AuthorAge
* Run Boogie code on threads with large stacksGravatar BarryBo2016-07-22
* Rename DLLs to non-generic names by prefixing "Boogie". Project names andGravatar akashlal2016-04-15
* Normalise line endings using a .gitattributes file. UnfortunatelyGravatar Dan Liew2015-06-28
* Minor changes to the "Checked" build configurationGravatar wuestholz2015-01-09
* Changed the verification result cache to use the built-in 'MemoryCache' class.Gravatar wuestholz2014-06-28
* Fix Boogie so it compiled with mono. Patch by Dan Liew.Gravatar Ally Donaldson2014-01-14
* some refactoring of QED stuffGravatar qadeer2013-12-10
* added the QED build configurationGravatar qadeer2013-12-02
* factored the concurrency checking code into a separate projectGravatar qadeer2013-11-22
* Fixed several build errors in the 'Checked' configuration.Gravatar wuestholz2013-08-05
* CVC4 ParserGravatar pantazis2013-06-12
* Worked on improving program snapshot verification.Gravatar wuestholz2013-06-11
* Worked on improving program snapshot verification.Gravatar wuestholz2013-06-07
* Did some refactoring in the Boogie driver.Gravatar wuestholz2013-06-03
* Did some refactoring in the Boogie driver.Gravatar wuestholz2013-06-03
* Did some refactoring in the Boogie driver.Gravatar wuestholz2013-06-03
generated by cgit v1.2.3 (git 2.39.1) at 2024-05-10 01:08:30 +0000