projects / cvc5.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
reran update-copyright.pl to get new contributors and add new header comments to...
[cvc5.git] / contrib /
2010-04-01 Morgan Detersreran update-copyright.pl to get new contributors and... tree | commitdiff
2010-04-01 Morgan DetersPARSER STUFF: tree | commitdiff
2010-03-30 Christopher L. ConwayRemoving unnecessary .gitignores tree | commitdiff
2010-03-30 Christopher L. ConwayMerging from branches/antlr3 (r246:354) tree | commitdiff
2010-03-05 Morgan Deters* public/private code untangled (smt/smt_engine.h no... tree | commitdiff
2010-02-25 Morgan Deters* src/expr/node.h: add a copy constructor. Apparently... tree | commitdiff
2010-02-22 Morgan Deters* configure.ac: Remove doc/ from search path for Makefi... tree | commitdiff
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