summaryrefslogtreecommitdiff
path: root/src/parser/cvc/Makefile.am
AgeCommit message (Expand)Author
2011-04-23* reviewed BooleanSimplification, added documentation & unit testMorgan Deters
2010-07-04make dist && make distcheck functional, other fixesMorgan Deters
2010-07-03With this commit come a number of changes to build system to supportMorgan Deters
2010-06-15fix last commit gcc options (-wunknown-pragmas ==> -Wno-unknown-pragmas)Morgan Deters
2010-06-15remove warnings about unknown #pragma GCC diagnostic on older compilersMorgan Deters
2010-04-05fix most of the warnings in the parser by (1) quieting unused-function and un...Morgan Deters
2010-04-04* Node::isAtomic() now looks at an "atomic" attribute of argumentsMorgan Deters
2010-04-01PARSER STUFF:Morgan Deters
2010-03-30Merging from branches/antlr3 (r246:354)Christopher L. Conway
2010-03-12* src/context/cdmap.h: rename orderedIterator to iterator, do awayMorgan Deters
2009-12-18Lots of parser changes to make Chris happy. Yet more to come later. Dejan Jovanović
2009-12-16Fixes to the build system:Morgan Deters
2009-12-09some fixes and organizational adjustments to assert code, parsers/lexers, and...Morgan Deters
2009-12-08final (?) fixes to parser/generated build directory modificationsMorgan Deters
2009-12-08parser build fixesMorgan Deters
2009-12-08work on propositional layer, expression builder support for large expressions...Morgan Deters
2009-12-07fixing a few broken build-related items, adding test casesMorgan Deters
2009-12-07big check-in of various fixes and adjustmentsMorgan Deters
2009-12-07antlr parser for the cvc4 language (boolean only)Dejan Jovanović
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback