| 2010-10-03 |
Morgan Deters | file header documentation regenerated with contributors... |
blob | commitdiff | raw |
| 2010-09-21 |
Morgan Deters | remove assertion in TNode destructor and ensure all... |
blob | commitdiff | raw | diff to current |
| 2010-09-21 |
Morgan Deters | fix statistics-registry-related memory leaks |
blob | commitdiff | raw | diff to current |
| 2010-09-13 |
Morgan Deters | statistics are now printed on timeout (SIGXCPU) and... |
blob | commitdiff | raw | diff to current |
| 2010-07-06 |
Tim King | Fixed exit status for competition mode. |
blob | commitdiff | raw | diff to current |
| 2010-07-06 |
Morgan Deters | add Configuration::isCompetitionBuild() and some main... |
blob | commitdiff | raw | diff to current |
| 2010-07-02 |
Morgan Deters | re-generated comment headers of source files |
blob | commitdiff | raw | diff to current |
| 2010-06-22 |
Tim King | Made ~Stat() virtual. Added some additional statistics... |
blob | commitdiff | raw | diff to current |
| 2010-06-18 |
Tim King | Merging the statistics branch into the main trunk.... |
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-06-03 |
Christopher L. Conway | Implementing input from stdin (Fixes: #144) |
blob | commitdiff | raw | diff to current |
| 2010-05-27 |
Christopher L. Conway | Adding NodeManager::prepareToBeDestroyed() (Fixes:... |
blob | commitdiff | raw | diff to current |
| 2010-05-12 |
Christopher L. Conway | Adding ParserBuilder, reducing visibility of Parser... |
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-05-03 |
Morgan Deters | main driver supports .smt2 input, added an smt2 regress... |
blob | commitdiff | raw | diff to current |
| 2010-04-28 |
Christopher L. Conway | Refactoring Input/Parser code to support external manip... |
blob | commitdiff | raw | diff to current |
| 2010-04-04 |
Morgan Deters | * Node::isAtomic() now looks at an "atomic" attribute... |
blob | commitdiff | raw | diff to current |
| 2010-04-02 |
Christopher L. Conway | Fixing double delete bug in main.cpp |
blob | commitdiff | raw | diff to current |
| 2010-04-01 |
Christopher L. Conway | Parser tweaks to address review |
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-12 |
Morgan Deters | * src/context/cdmap.h: rename orderedIterator to iterat... |
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-25 |
Morgan Deters | * src/expr/node.h: add a copy constructor. Apparently... |
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-22 |
Morgan Deters | fix bug 33 (statically link the "cvc4" binary); also... |
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 cleanup; give the main driver a different exit... |
blob | commitdiff | raw | diff to current |
| 2010-02-04 |
Morgan Deters | src/expr/kind.h is now automatically generated. |
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-03 |
Morgan Deters | Addressed many of the concerns of bug 10 (build system... |
blob | commitdiff | raw | diff to current |
| 2009-12-18 |
Dejan Jovanović | Changing some deatils on the parser. Now we know we... |
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 | more build system fix-ups |
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-17 |
Morgan Deters | + test infrastructure fixes |
blob | commitdiff | raw | diff to current |
| 2009-12-17 |
Clark Barrett | Minor changes from code review |
blob | commitdiff | raw | diff to current |
| 2009-12-11 |
Dejan Jovanović | Extracted the public Expr and ExprManager interface... |
blob | commitdiff | raw | diff to current |
| 2009-12-10 |
Dejan Jovanović | killing expr into node... |
blob | commitdiff | raw | diff to current |
| 2009-12-10 |
Morgan Deters | cleanups, assert work, add a stubbed uf theory, fix... |
blob | commitdiff | raw | diff to current |
| 2009-12-09 |
Morgan Deters | some fixes and organizational adjustments to assert... |
blob | commitdiff | raw | diff to current |
| 2009-12-08 |
Morgan Deters | work on propositional layer, expression builder support... |
blob | commitdiff | raw | diff to current |
| 2009-12-07 |
Dejan Jovanović | antlr parser for the cvc4 language (boolean only) |
blob | commitdiff | raw | diff to current |
| 2009-12-06 |
Dejan Jovanović | Big chunk of changes: |
blob | commitdiff | raw | diff to current |
| 2009-12-03 |
Morgan Deters | parsing/expr/command/result/various other fixes |
blob | commitdiff | raw | diff to current |
| 2009-11-25 |
Morgan Deters | additional work on parser hookup, configuration + build |
blob | commitdiff | raw | diff to current |
| 2009-11-24 |
Morgan Deters | various fixes and updates to use and support parser |
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 |
|
projects / cvc5.git / history