projects / cvc5.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
* Add virtual destructors to CnfStream, Theory, OutputChannel, and
[cvc5.git] / contrib /
2010-02-05 Morgan Detersfinal fixes to addsourcedir source-directory-Makefile... tree | commitdiff
2010-02-05 Morgan Detersautomatic generator script for sourcedir Makefiles... tree | commitdiff
2010-02-04 Morgan Detersremove -*- c++ -*- emacs tag from source files (it... tree | commitdiff
2010-02-04 Morgan Detersminor fix for update-copyright.pl; ran update-copyright... tree | commitdiff
2010-02-04 Morgan DetersAdded theory output channel interfaces and "Interrupted... tree | commitdiff
2010-01-28 Christopher L. ConwayRemoving Makefile.in's tree | commitdiff
2010-01-26 Morgan Detersfixes to build structure, util classes, lots of fixes... tree | commitdiff
2009-12-17 Morgan Detersupdate-copyright.pl now retrieves and incorporates... tree | commitdiff
2009-12-17 Morgan Deterssupport nonstandard, unconfigured builds (e.g., ".... tree | commitdiff
2009-12-16 Morgan DetersFixes to the build system: tree | commitdiff
2009-12-11 Morgan Detersbuild fixes, configuration simplifications tree | commitdiff
2009-12-08 Morgan Deterscheck in automake/libtool/autoconf-generated files... tree | commitdiff
2009-12-08 Morgan Deterswork on propositional layer, expression builder support... tree | commitdiff
2009-12-03 Morgan Detersfirst attempt at new build system tree | commitdiff
2009-11-24 Morgan Detersvarious fixes and updates to use and support parser tree | commitdiff
2009-11-24 Morgan Detersconfigure option adjustments as per 11/24 meeting;... tree | commitdiff
2009-11-18 Morgan Deterswork on exprs, driver, util tree | commitdiff
2009-11-17 Morgan Detersanother pass tree | commitdiff
2009-11-17 Morgan Detersfixes and additions tree | commitdiff
2009-11-09 Morgan Detersminor fixes, added contrib directory tree | commitdiff