Age | Commit message (Collapse) | Author | |
---|---|---|---|
2010-02-22 | * configure.ac: Remove doc/ from search path for Makefile.ams | Morgan Deters | |
* configure.ac, test/unit/Makefile.am: Resolved an issue where even when not testing, one unit test was built. * Re-ran contrib/update-copyright.pl on all source files to ensure consistent and correct header comments. * contrib/get-authors: Change definition of "minor contributor" to >= 10% of lines (rather than strictly greater than 10% of lines) | |||
2010-02-17 | Initial draft of TheoryUF. Should compile without problems. A decent amount ↵ | Tim King | |
of functionality is stubbed out. Still needs a bit of cleanup. | |||
2010-02-10 | Added calls to destructor in CDList plus optional flag to disable. | Clark Barrett | |
2010-02-08 | Moving the template stuff back into the header in order to use CDList. | Dejan Jovanović | |
2010-02-04 | remove -*- c++ -*- emacs tag from source files (it overrides ↵ | Morgan Deters | |
cvc4-c++-editing-mode from contrib/editing-with-emacs | |||
2010-02-04 | minor fix for update-copyright.pl; ran update-copyright.pl on all sources; ↵ | Morgan Deters | |
regenerated configure script | |||
2010-02-02 | Fixed bug in context code | Clark Barrett | |
2010-02-02 | beginings of test for CDO. one fail | Dejan Jovanović | |
2010-02-02 | Fixed compile errors | Clark Barrett | |
2010-02-02 | Updates to context: | Clark Barrett | |
Use vector instead of linked list for Scopes Added CDO and CDList templates | |||
2010-02-01 | Fixing the CVC grammar for parsing Boolean expressions. All the ↵ | Dejan Jovanović | |
associativity stufff is now in the grammar. All the parser tests pass now. | |||
2010-01-29 | fixing the last context build problem, it compiles now | Dejan Jovanović | |
2010-01-29 | one more bug | Clark Barrett | |
2010-01-29 | Fixed compile errors | Clark Barrett | |
2010-01-29 | Update of context module | Clark Barrett | |
2010-01-28 | Removing Makefile.in's | Christopher L. Conway | |
2010-01-26 | fixes to build structure, util classes, lots of fixes to Node and ↵ | Morgan Deters | |
NodeBuilder. outstanding SEGVs fixed | |||
2009-12-17 | update-copyright.pl now retrieves and incorporates author information from ↵ | Morgan Deters | |
repository history; re-ran update-copyright.pl; cleaned up some things with make | |||
2009-12-17 | build system cleanup; test system separation into white-box, black-box, and ↵ | Morgan Deters | |
public tests | |||
2009-12-17 | support nonstandard, unconfigured builds (e.g., "./configure debug" followed ↵ | Morgan Deters | |
by "make production ASSERTIONS=1") | |||
2009-12-16 | Fixes to the build system: | Morgan Deters | |
Makefile.am files - remove obsolete INCLUDES, incorporate into AM_CPPFLAGS Makefile files in src/ - support "make" under src/ (current build profile) configure.ac - updates to fix warnings config/antlr.m4 - updates to fix warnings autogen.sh - updates to generate warnings from autotools; also support Macs src/include/cvc4_config.h - guard with #ifdef total reimplementation of NodeBuilder ExprValue => NodeValue context_mm.{h,cpp} - fixed numerous compile errors | |||
2009-12-15 | Added context_mm (haven't tested compilation yet...) | Clark Barrett | |
2009-12-11 | build fixes, configuration simplifications | Morgan Deters | |
2009-12-10 | cleanups, assert work, add a stubbed uf theory, fix driver | Morgan Deters | |
2009-12-08 | check in automake/libtool/autoconf-generated files; add better file not ↵ | Morgan Deters | |
found handling | |||
2009-12-07 | big check-in of various fixes and adjustments | Morgan Deters | |
2009-12-04 | more build system work | Morgan Deters | |
2009-11-23 | fixups, file comments | Morgan Deters | |
2009-11-20 | fixes to build/test system | Morgan Deters | |
2009-11-19 | testing framework, configure fixes, incorporations from meeting, continued work | Morgan Deters | |
2009-11-17 | ignored items | Morgan Deters | |
2009-11-17 | from meeting | Morgan Deters | |