summaryrefslogtreecommitdiff
path: root/src/parser/Makefile.am
AgeCommit message (Expand)Author
2013-03-14fix to build system: #include the proper file when they are in both builds an...Morgan Deters
2012-11-05fixes for replacement function libraryMorgan Deters
2012-09-27* Rename SMT parts (printer, parser) to SMT1Morgan Deters
2012-06-22TPTP: add parser for cnf and fofFrançois Bobot
2012-03-01Partial merge from kind-backend branch, including Minisat and CNF work toMorgan Deters
2011-09-28fixes for make dist ; make installMorgan Deters
2011-09-24Fix to building and linking for unit tests. (This should fix the segfaulting...Morgan Deters
2011-09-21considerable bindings interface work, some improvements to buildMorgan Deters
2011-09-02Merge from my post-smtcomp branch. Includes:Morgan Deters
2011-04-23* reviewed BooleanSimplification, added documentation & unit testMorgan Deters
2010-10-27"make dist" fixes; a distribution tarball can now build and pass tests. "make...Morgan Deters
2010-10-26Cleaning up some header filesChristopher L. Conway
2010-10-04fix gdb issues (at least for static builds); resolves bug 194Morgan Deters
2010-10-01last update broke the parser inadvertently, fixing...Morgan Deters
2010-10-01replacement implementation for clock_gettime() on mac os x, build portability...Morgan 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 ParserBuilder, reducing visibility of Parser and Input constructorsChristopher L. Conway
2010-05-01Fixing private/public header warnings in parser libraryChristopher L. Conway
2010-04-29First draft implementation of SMT v2 parserChristopher L. Conway
2010-04-28Refactoring Input/Parser code to support external manipulation of the parser ...Christopher L. Conway
2010-04-05Moving code imported from libantlr3c to separate file and adding copyright ex...Christopher L. Conway
2010-04-04* Node::isAtomic() now looks at an "atomic" attribute of argumentsMorgan Deters
2010-04-01Parser tweaks to address reviewChristopher L. Conway
2010-04-01PARSER STUFF:Morgan Deters
2010-03-30Merging from branches/antlr3 (r246:354)Christopher L. Conway
2010-02-27Adding --mmap option to use memory-mapped file input, which provides a margin...Christopher L. Conway
2010-02-06Preliminary support for types in parserChristopher L. Conway
2010-02-03Addressed many of the concerns of bug 10 (build system code review).Morgan Deters
2009-12-17more build system fix-upsMorgan Deters
2009-12-17CvcParserBlack and supporting Makefile changesChristopher L. Conway
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-08parser build fixesMorgan Deters
2009-12-07antlr parser for the cvc4 language (boolean only)Dejan Jovanović
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ć
2009-12-03parsing/expr/command/result/various other fixesMorgan Deters
2009-11-26Enough parsing for tonight. Added:Dejan Jovanović
2009-11-25additional work on parser hookup, configuration + buildMorgan Deters
2009-11-24Partial parser for booleansChristopher L. Conway
2009-11-23fixups, file commentsMorgan Deters
2009-11-20fixes to build/test systemMorgan Deters
2009-11-19testing framework, configure fixes, incorporations from meeting, continued workMorgan Deters
2009-11-17fixes/redesign of source layout from meetingMorgan Deters
2009-11-17another passMorgan Deters
2009-11-17fixes and additionsMorgan Deters
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback