Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Merge | 2013-07-22 | |
|\ | |||
* | | Changed Has method of PureSequence to Contains to make refactoring easier. | 2013-07-22 | |
| * | merge | 2013-07-22 | |
| |\ | |/ |/| | |||
* | | Large refactoring of Hashtable to Dictionary. | 2013-07-22 | |
* | | Refactored variable2sequenceNumber to use Dictionary | 2013-07-22 | |
* | | Refactored labsl2absy so that it is a Dictionary<int, Absy> instead of a plai... | 2013-07-22 | |
| * | Merge | 2013-07-15 | |
|/| | |||
* | | Worked on the parallelization. | 2013-07-11 | |
| * | merge | 2013-07-06 | |
| |\ | |/ |/| | |||
* | | Did some refactoring in the execution engine and worked on the parallelization. | 2013-07-01 | |
* | | Did some refactoring in the execution engine and worked on the parallelization. | 2013-06-25 | |
| * | CVC4 Parser | 2013-06-12 | |
|/ | |||
* | changed the signing to ..\InterimKey.snk | 2012-10-03 | |
* | bunch of refactorings | 2012-10-03 |