| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 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-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-09 | some fixes and organizational adjustments to assert code, parsers/lexers, ↵ | Morgan Deters | |
| and build process | |||
| 2009-12-07 | big check-in of various fixes and adjustments | Morgan Deters | |
| 2009-12-05 | more build system work | Morgan Deters | |
| 2009-11-25 | additional work on parser hookup, configuration + build | Morgan Deters | |
| 2009-11-24 | various fixes and updates to use and support parser | Morgan Deters | |
| 2009-11-24 | Partial parser for booleans | Christopher L. Conway | |
| 2009-11-24 | configure option adjustments as per 11/24 meeting; various fixes and ↵ | Morgan Deters | |
| improvements | |||
| 2009-11-23 | fixups, file comments | Morgan Deters | |
| 2009-11-19 | testing framework, configure fixes, incorporations from meeting, continued work | Morgan Deters | |
| 2009-11-18 | work on exprs, driver, util | Morgan Deters | |
| 2009-11-17 | fixes/redesign of source layout from meeting | Morgan Deters | |
| 2009-11-17 | another pass | Morgan Deters | |
| 2009-11-17 | fixes and additions | Morgan Deters | |
| 2009-11-12 | parser, minisat, other things.. | Morgan Deters | |
| 2009-11-09 | minor fixes, added contrib directory | Morgan Deters | |
| 2009-11-03 | additional headers and modifications; now passes syntax check | Morgan Deters | |
| 2009-11-03 | additional headers | Morgan Deters | |
| 2009-11-03 | commit of project structure including autotools support | Morgan Deters | |
 |
index : cvc5.git | |
| CVC4 is an efficient open-source automatic theorem prover for satisfiability modulo theories (SMT) problems. | git repository hosting |
| summaryrefslogtreecommitdiff |
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback