summaryrefslogtreecommitdiff
path: root/Source/Doomed
Commit message (Expand)AuthorAge
* 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