Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | Did some refactoring. | 2014-09-23 | |
| | |||
* | fixed codexpr bug reported by Michael Emmi; removed special handling of ↵ | 2014-08-08 | |
| | | | | codexpr in InjectPostConditions | ||
* | OnModel now carries the result of the prover call | 2014-06-28 | |
| | |||
* | Fix Boogie so it compiled with mono. Patch by Dan Liew. | 2014-01-14 | |
| | |||
* | added the QED build configuration | 2013-12-02 | |
| | |||
* | Fixed several build errors in the 'Checked' configuration. | 2013-08-05 | |
| | |||
* | BlockSeq: farewell | 2013-07-22 | |
| | |||
* | StringSeq: farewell | 2013-07-22 | |
| | |||
* | CmdSeq: farewell | 2013-07-22 | |
| | |||
* | Started to remove ...Seq classes | 2013-07-22 | |
| | |||
* | More refactoring towards replacing PureCollections.Sequence with List | 2013-07-22 | |
| | |||
* | 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 ↵ | 2013-07-22 | |
| | | | | | | | | plain Hashtable. | ||
| * | 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 | |
- moved doomed and predication code into separate projects; for doomed there is a static dependency from BoogieDriver but for predication even that dependency has been eliminated - deleted Provers\Simplify and Provers\Z3 - removed Provers\Z3api from the solution - consolidated Core\GraphAlgorithms.cs VCGeneration\GraphAlgorithms.cs into Graph\Graph.cs |