2011-07-05 |
Dejan Jovanović | updated preprocessing and rewriting input equalities... |
blob | commitdiff | raw |
2011-06-30 |
Tim King | Merging the playground branch upto r1957 into trunk. |
blob | commitdiff | raw | diff to current |
2011-05-31 |
Tim King | This commit contains the code for allowing arbitrary... |
blob | commitdiff | raw | diff to current |
2011-05-05 |
Morgan Deters | Merge from nonclausal-simplification-v2 branch: |
blob | commitdiff | raw | diff to current |
2011-04-18 |
Tim King | This commit merges the branch arithmetic/propagation... |
blob | commitdiff | raw | diff to current |
2011-04-10 |
Morgan Deters | merge from replay branch |
blob | commitdiff | raw | diff to current |
2011-04-05 |
Tim King | Added options for setting the random decision frequency... |
blob | commitdiff | raw | diff to current |
2011-04-01 |
Morgan Deters | This commit is a merge from the "betterstats" branch... |
blob | commitdiff | raw | diff to current |
2011-03-30 |
Tim King | Moved the constructor for Options out of the header... |
blob | commitdiff | raw | diff to current |
2011-03-30 |
Tim King | Added the command line flag --rewrite-arithmetic-equali... |
blob | commitdiff | raw | diff to current |
2011-02-27 |
Tim King | - Adds a path for Theory to be passed a reference to... |
blob | commitdiff | raw | diff to current |
2010-11-09 |
Dejan Jovanović | Lemmas on demand work, push-pop, some cleanup. |
blob | commitdiff | raw | diff to current |
2010-11-08 |
Morgan Deters | command-line flag to disable theory registration, also... |
blob | commitdiff | raw | diff to current |
2010-11-08 |
Morgan Deters | cleanup, documentation, SMT-LIBv2 compliance |
blob | commitdiff | raw | diff to current |
2010-11-05 |
Christopher L. Conway | Moving Options fiddling to options.h |
blob | commitdiff | raw | diff to current |
2010-10-24 |
Morgan Deters | add a CVC4_UNDEFINED keyword, for intentionally undefin... |
blob | commitdiff | raw | diff to current |
2010-10-22 |
Christopher L. Conway | Using Options in ParserBuilder and InteractiveShell |
blob | commitdiff | raw | diff to current |
2010-10-22 |
Christopher L. Conway | Merging main/getopt.cpp, main/usage.h, and smt/options... |
blob | commitdiff | raw | diff to current |
2010-10-10 |
Morgan Deters | additional model gen and SMT-LIBv2 compliance work... |
blob | commitdiff | raw |
2010-10-08 |
Morgan Deters | * (define-fun...) now has proper type checking in non... |
blob | commitdiff | raw | diff to current |
2010-10-07 |
Morgan Deters | type checking for define-fun in production builds;... |
blob | commitdiff | raw | diff to current |
2010-10-07 |
Morgan Deters | SMT-LIBv2 (define-fun...) command now functional; does... |
blob | commitdiff | raw | diff to current |
2010-10-05 |
Morgan Deters | parser and core support for SMT-LIBv2 commands get... |
blob | commitdiff | raw | diff to current |
2010-08-19 |
Morgan Deters | UF theory bug fixes, code cleanup, and extra debugging... |
blob | commitdiff | raw | diff to current |
2010-08-18 |
Morgan Deters | more tests, configuration for UF |
blob | commitdiff | raw | diff to current |
2010-08-17 |
Morgan Deters | Merge from "cc" branch: |
blob | commitdiff | raw | diff to current |
2010-06-04 |
Morgan Deters | ** Don't fear the files-changed list, almost all change... |
blob | commitdiff | raw | diff to current |
2010-05-06 |
Christopher L. Conway | Adding --strict-parsing option |
blob | commitdiff | raw | diff to current |
2010-05-04 |
Christopher L. Conway | Disabling semantic checks in competition mode. |
blob | commitdiff | raw | diff to current |
2010-04-01 |
Morgan Deters | reran update-copyright.pl to get new contributors and... |
blob | commitdiff | raw | diff to current |
2010-04-01 |
Morgan Deters | PARSER STUFF: |
blob | commitdiff | raw | diff to current |
2010-03-30 |
Christopher L. Conway | Merging from branches/antlr3 (r246:354) |
blob | commitdiff | raw | diff to current |
2010-03-05 |
Morgan Deters | * public/private code untangled (smt/smt_engine.h no... |
blob | commitdiff | raw | diff to current |
2010-02-27 |
Christopher L. Conway | Adding --mmap option to use memory-mapped file input... |
blob | commitdiff | raw | diff to current |
2010-02-26 |
Morgan Deters | * test/unit/context/context_black.h: Test CDList<>... |
blob | commitdiff | raw | diff to current |
2010-02-22 |
Morgan Deters | * configure.ac: Remove doc/ from search path for Makefi... |
blob | commitdiff | raw | diff to current |
2010-02-18 |
Christopher L. Conway | Adding --no-checking option to disable semantic checks... |
blob | commitdiff | raw | diff to current |
2010-02-16 |
Christopher L. Conway | Adding --parse-only option |
blob | commitdiff | raw | diff to current |
2010-02-04 |
Morgan Deters | remove -*- c++ -*- emacs tag from source files (it... |
blob | commitdiff | raw | diff to current |
2010-02-04 |
Morgan Deters | minor fix for update-copyright.pl; ran update-copyright... |
blob | commitdiff | raw | diff to current |
2010-02-02 |
Tim King | Switched cnf conversion to go through CnfStream. |
blob | commitdiff | raw | diff to current |
2010-01-30 |
Morgan Deters | cnf conversion (variable-introducing), cleanups, fixes... |
blob | commitdiff | raw | diff to current |
2010-01-29 |
Morgan Deters | fixed CNF conversion, and more modular; CNF conversion... |
blob | commitdiff | raw | diff to current |
2009-12-18 |
Dejan Jovanović | Lots of parser changes to make Chris happy. Yet more... |
blob | commitdiff | raw | diff to current |
2009-12-17 |
Morgan Deters | update-copyright.pl now retrieves and incorporates... |
blob | commitdiff | raw | diff to current |
2009-12-06 |
Dejan Jovanović | Big chunk of changes: |
blob | commitdiff | raw | diff to current |
2009-11-24 |
Morgan Deters | configure option adjustments as per 11/24 meeting;... |
blob | commitdiff | raw | diff to current |
2009-11-23 |
Morgan Deters | fixups, file comments |
blob | commitdiff | raw | diff to current |
2009-11-19 |
Morgan Deters | testing framework, configure fixes, incorporations... |
blob | commitdiff | raw | diff to current |
2009-11-18 |
Morgan Deters | work on exprs, driver, util |
blob | commitdiff | raw | diff to current |
|