summaryrefslogtreecommitdiff
path: root/src/parser/smt/Makefile.am
AgeCommit message (Expand)Author
2012-09-27* Rename SMT parts (printer, parser) to SMT1Morgan Deters
2012-08-03better parser makefile fixMorgan Deters
2012-08-02fixes to paths in parser makefiles; if you've noticed strange SMT2 parser beh...Morgan Deters
2012-08-01fixes to some *clean targetsMorgan Deters
2012-07-31Options merge. This commit:Morgan Deters
2011-12-02Error detection is different now---with new Command infrastructure, exception...Morgan Deters
2011-11-02Sometimes antlr decides to generate lexers and parsers in a different directo...Morgan Deters
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-06-04Enabling RDL/IDL in SMT v1 and adding some simple testsChristopher L. Conway
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-08check in automake/libtool/autoconf-generated files; add better file not found...Morgan 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-06Big chunk of changes:Dejan Jovanović
2009-12-05more build system workMorgan Deters
2009-12-04more build system workMorgan Deters
2009-12-04Adding support for ANTLR checking in autogen.sh (config/antlr.m4). Commiting ...Dejan Jovanović
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback