projects / cvc5.git / history
| 2010-04-04 | Morgan Deters | * Node::isAtomic() now looks at an "atomic" attribute... | blob | commitdiff | raw |
| 2010-04-01 | Morgan Deters | PARSER STUFF: | blob | commitdiff | raw | diff to current |
| 2010-03-30 | Christopher L. Conway | Merging from branches/antlr3 (r246:354) | blob | commitdiff | raw | diff to current |
| 2009-12-16 | Christopher L. Conway | Standardizing configure arguments for ANTLR/CxxTest | blob | commitdiff | raw | diff to current |
| 2009-12-16 | Morgan Deters | Fixes to the build system: | blob | commitdiff | raw | diff to current |
| 2009-12-09 | Morgan Deters | some fixes and organizational adjustments to assert... | blob | commitdiff | raw | diff to current |
| 2009-12-04 | Morgan Deters | more build system work | blob | commitdiff | raw | diff to current |
| 2009-12-04 | Dejan Jovanović | Adding support for ANTLR checking in autogen.sh (config... | blob | commitdiff | raw | diff to current |