| 2010-01-26 |
Morgan Deters | fixes to build structure, util classes, lots of fixes... |
blob | commitdiff | raw |
| 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