summaryrefslogtreecommitdiff
path: root/Source/Doomed
Commit message (Expand)AuthorAge
* 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
* Did more refactoring and addressed several todos.Gravatar wuestholz2014-09-23
* Did some refactoring.Gravatar wuestholz2014-09-23
* fixed codexpr bug reported by Michael Emmi; removed special handling of codex...Gravatar qadeer2014-08-08
* OnModel now carries the result of the prover callGravatar akashlal2014-06-28
* Fix Boogie so it compiled with mono. Patch by Dan Liew.Gravatar Ally Donaldson2014-01-14
* added the QED build configurationGravatar qadeer2013-12-02
* Fixed several build errors in the 'Checked' configuration.Gravatar wuestholz2013-08-05
* BlockSeq: farewellGravatar Ally Donaldson2013-07-22
* StringSeq: farewellGravatar Ally Donaldson2013-07-22
* CmdSeq: farewellGravatar Ally Donaldson2013-07-22
* Started to remove ...Seq classesGravatar Ally Donaldson2013-07-22
* More refactoring towards replacing PureCollections.Sequence with ListGravatar Ally Donaldson2013-07-22
* MergeGravatar Ally Donaldson2013-07-22
|\
* | Changed Has method of PureSequence to Contains to make refactoring easier.Gravatar Ally Donaldson2013-07-22
| * mergeGravatar Pantazis Deligiannis2013-07-22
| |\ | |/ |/|
* | Large refactoring of Hashtable to Dictionary.Gravatar Ally Donaldson2013-07-22
* | Refactored variable2sequenceNumber to use DictionaryGravatar Ally Donaldson2013-07-22
* | Refactored labsl2absy so that it is a Dictionary<int, Absy> instead of a plai...Gravatar Ally Donaldson2013-07-22
| * MergeGravatar Pantazis Deligiannis2013-07-15
|/|
* | Worked on the parallelization.Gravatar wuestholz2013-07-11
| * mergeGravatar Pantazis Deligiannis2013-07-06
| |\ | |/ |/|
* | Did some refactoring in the execution engine and worked on the parallelization.Gravatar wuestholz2013-07-01
* | Did some refactoring in the execution engine and worked on the parallelization.Gravatar wuestholz2013-06-25
| * CVC4 ParserGravatar pantazis2013-06-12
|/
* changed the signing to ..\InterimKey.snkGravatar qadeer2012-10-03
* bunch of refactoringsGravatar Unknown2012-10-03
generated by cgit v1.2.3 (git 2.39.1) at 2024-05-03 02:48:27 +0000