summaryrefslogtreecommitdiff
path: root/src/main/getopt.cpp
AgeCommit message (Expand)Author
2010-04-06* Add some protected ContextObj accessors for ContextObj-derived classes:Morgan Deters
2010-04-01cvc4 --show-config now gives library versionMorgan Deters
2010-04-01reran update-copyright.pl to get new contributors and add new header comments...Morgan 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
2010-03-05* public/private code untangled (smt/smt_engine.h no longer #includesMorgan Deters
2010-02-27Adding --mmap option to use memory-mapped file input, which provides a margin...Christopher L. Conway
2010-02-22* configure.ac: Remove doc/ from search path for Makefile.amsMorgan Deters
2010-02-22fix bug 22 (remove tracing from non-trace builds; remove all outputMorgan Deters
2010-02-18Adding --no-checking option to disable semantic checks in parserChristopher L. Conway
2010-02-16Adding --parse-only optionChristopher L. Conway
2010-02-04remove -*- c++ -*- emacs tag from source files (it overrides cvc4-c++-editing...Morgan Deters
2010-02-04src/expr/kind.h is now automatically generated.Morgan Deters
2010-02-04minor fix for update-copyright.pl; ran update-copyright.pl on all sources; re...Morgan Deters
2010-01-29fixed CNF conversion, and more modular; CNF conversion command line option; v...Morgan Deters
2010-01-26fixes to build structure, util classes, lots of fixes to Node and NodeBuilder...Morgan Deters
2009-12-18Lots of parser changes to make Chris happy. Yet more to come later. Dejan Jovanović
2009-12-17update-copyright.pl now retrieves and incorporates author information from re...Morgan Deters
2009-12-17addressed some concerns raised by Clark in bug #6 (code review of driver code)Morgan Deters
2009-12-17Minor changes from code reviewClark Barrett
2009-12-08work on propositional layer, expression builder support for large expressions...Morgan Deters
2009-12-06Big chunk of changes:Dejan Jovanović
2009-12-03parsing/expr/command/result/various other fixesMorgan Deters
2009-11-24various fixes and updates to use and support parserMorgan Deters
2009-11-24configure option adjustments as per 11/24 meeting; various fixes and improvem...Morgan Deters
2009-11-23fixups, file commentsMorgan Deters
2009-11-18work on exprs, driver, utilMorgan Deters
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback