| 2010-04-01 |
Morgan Deters | PARSER STUFF: |
blob | commitdiff | raw |
| 2010-04-01 |
Christopher L. Conway | Adding check for --disable-shared on --enable-coverage |
blob | commitdiff | raw | diff to current |
| 2010-03-30 |
Morgan Deters | Highlights of this commit are: |
blob | commitdiff | raw | diff to current |
| 2010-03-26 |
Tim King | Added GMP backed Rational and Integer classes, and... |
blob | commitdiff | raw | diff to current |
| 2010-03-15 |
Morgan Deters | This checkin resolves bug #57. |
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-08 |
Dejan Jovanović | Adding quiet output of make by default. There are two... |
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-22 |
Morgan Deters | * configure.ac: Remove doc/ from search path for Makefi... |
blob | commitdiff | raw | diff to current |
| 2010-02-22 |
Morgan Deters | Re-committing revision 232 properly: |
blob | commitdiff | raw | diff to current |
| 2010-02-22 |
Morgan Deters | undoing improperly-committed revision 232; will re... |
blob | commitdiff | raw | diff to current |
| 2010-02-22 |
Cesare Tinelli | * Add virtual destructors to CnfStream, Theory, OutputC... |
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-22 |
Morgan Deters | fix bug 22 (remove tracing from non-trace builds; remov... |
blob | commitdiff | raw | diff to current |
| 2010-02-18 |
Christopher L. Conway | Adding doxygen configuration parameters and doxygen... |
blob | commitdiff | raw | diff to current |
| 2010-02-17 |
Morgan Deters | fix bug 27: --with-cxxtest-dir=(relative-path) now... |
blob | commitdiff | raw | diff to current |
| 2010-02-06 |
Morgan Deters | force sorting of AC_CONFIG_FILES, otherwise different... |
blob | commitdiff | raw | diff to current |
| 2010-02-05 |
Morgan Deters | auto-generated list of AC_CONFIG_FILES so that you... |
blob | commitdiff | raw | diff to current |
| 2010-02-04 |
Morgan Deters | remove warnings from use of __gnu_cxx::hash_map<>;... |
blob | commitdiff | raw | diff to current |
| 2010-02-04 |
Morgan Deters | test infrastructure updated for multiple-level regressions |
blob | commitdiff | raw | diff to current |
| 2010-02-04 |
Morgan Deters | added bool and arith theory makefiles to AC_CONFIG_FILE... |
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 |
| 2010-01-26 |
Morgan Deters | fixes to build structure, util classes, lots of fixes... |
blob | commitdiff | raw | diff to current |
| 2010-01-05 |
Christopher L. Conway | Changes to configure.ac from code review |
blob | commitdiff | raw | diff to current |
| 2009-12-17 |
Morgan Deters | add system regression testing infrastructure |
blob | commitdiff | raw | diff to current |
| 2009-12-17 |
Morgan Deters | support nonstandard, unconfigured builds (e.g., ".... |
blob | commitdiff | raw | diff to current |
| 2009-12-16 |
Christopher L. Conway | Standardizing configure arguments for ANTLR/CxxTest |
blob | commitdiff | raw | diff to current |
| 2009-12-16 |
Morgan Deters | Fixes to the build system: |
blob | commitdiff | raw | diff to current |
| 2009-12-11 |
Morgan Deters | build fixes, configuration simplifications |
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-08 |
Morgan Deters | check in automake/libtool/autoconf-generated files... |
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 |
Morgan Deters | big check-in of various fixes and adjustments |
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-05 |
Morgan Deters | more build system work |
blob | commitdiff | raw | diff to current |
| 2009-12-04 |
Morgan Deters | more build system work |
blob | commitdiff | raw | diff to current |
| 2009-12-04 |
Dejan Jovanović | More changes to configure.ac to include the smt grammar... |
blob | commitdiff | raw | diff to current |
| 2009-12-04 |
Dejan Jovanović | Forgot to commit changes to configure.ac |
blob | commitdiff | raw | diff to current |
| 2009-12-03 |
Morgan Deters | additional build system fixes |
blob | commitdiff | raw | diff to current |
| 2009-12-03 |
Morgan Deters | first attempt at new build system |
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 | configure option adjustments as per 11/24 meeting;... |
blob | commitdiff | raw | diff to current |
| 2009-11-20 |
Morgan Deters | fixes to build/test system |
blob | commitdiff | raw | diff to current |
| 2009-11-20 |
Morgan Deters | fix to expr #includes; better test-environment configur... |
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 |
| 2009-11-17 |
Morgan Deters | ignored items |
blob | commitdiff | raw | diff to current |
| 2009-11-17 |
Morgan Deters | fixes and additions |
blob | commitdiff | raw | diff to current |
| 2009-11-12 |
Morgan Deters | parser, minisat, other things.. |
blob | commitdiff | raw | diff to current |
| 2009-11-09 |
Morgan Deters | minor fixes, added contrib directory |
blob | commitdiff | raw | diff to current |
| 2009-11-03 |
Morgan Deters | commit of project structure including autotools support |
blob | commitdiff | raw | diff to current |
|
projects / cvc5.git / history