summaryrefslogtreecommitdiff
path: root/src/parser/smt2/Makefile.am
AgeCommit message (Expand)Author
2015-12-03Removing the generated directory from the parsers.Tim King
2015-01-14sygus input language and benchmarkMorgan Deters
2013-03-26Fixes for warnings from clang++, from -std=gnu++0x, from swig, and from javacMorgan Deters
2013-03-19Minor fixes to build systemMorgan Deters
2013-03-14fix to build system: #include the proper file when they are in both builds an...Morgan Deters
2012-10-22fix parser generation in distributed tarballs (should fix bug #427)Morgan 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-05-12Adding class Smt2 to handle declaration of logic and theory symbolsChristopher L. Conway
2010-04-29First draft implementation of SMT v2 parserChristopher L. Conway
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback