Age | Commit message (Expand) | Author |
---|---|---|
2012-07-31 | Options merge. This commit: | Morgan Deters |
2012-07-14 | Type enumerator infrastructure and uninterpreted constant support. No suppor... | Morgan Deters |
2011-01-05 | Commit for the theory engine and rewriter changes. Changes are substantial an... | Dejan Jovanović |
2010-07-03 | With this commit come a number of changes to build system to support | Morgan Deters |
2010-06-30 | * theory "tree" rewriting implemented and works | Morgan Deters |