summaryrefslogtreecommitdiff
path: root/src/main/usage.h
AgeCommit message (Expand)Author
2011-10-28* ability to output NodeBuilders without first converting them to Nodes---use...Morgan Deters
2011-10-28merged the proofgen3 branch into trunk:Liana Hadarean
2011-09-02Merge from my post-smtcomp branch. Includes:Morgan Deters
2010-10-21* Option --no-type-checking now disables type checks in SmtEngineChristopher L. Conway
2010-10-20Changing --no-early-type-checking to --no-type-checkingChristopher L. Conway
2010-10-08* (define-fun...) now has proper type checking in non-debug buildsMorgan Deters
2010-10-07type checking for define-fun in production builds; related to (and might reso...Morgan Deters
2010-08-17Merge from "cc" branch:Morgan Deters
2010-07-02re-generated comment headers of source filesMorgan Deters
2010-07-02* Added white-box TheoryEngine test that tests the rewriterMorgan Deters
2010-06-30Adding documentation for --strict-parsing (Closes: #166)Christopher L. Conway
2010-06-29add --default-expr-depth=N command line parameter, expose setdepth() to publi...Morgan Deters
2010-06-04** Don't fear the files-changed list, almost all changes are in the **Morgan Deters
2010-05-04Disabling semantic checks in competition mode.Christopher L. Conway
2010-04-06* Add some protected ContextObj accessors for ContextObj-derived classes:Morgan 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-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
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-11-24configure option adjustments as per 11/24 meeting; various fixes and improvem...Morgan Deters
2009-11-23fixups, file commentsMorgan Deters
2009-11-19testing framework, configure fixes, incorporations from meeting, continued workMorgan Deters
2009-11-18work on exprs, driver, utilMorgan Deters
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback