Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Added /z3multipleErrors flag for generation of multiple counterexamples per a... | 2009-09-23 | |
* | Use callback mechanism to report prover warnings; do not just write them to s... | 2009-09-07 | |
* | Improve token-dumping in the inspector interface | 2009-08-18 | |
* | Sign assemblies | 2009-08-17 | |
* | Initial set of files. | 2009-07-15 |