projects / cvc5.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
cvc3 compatibility layer; and another libantlr3c v3.4 incompatibility fix
[cvc5.git] / doc /
2011-09-02 Morgan DetersMerge from my post-smtcomp branch. Includes: tree | commitdiff
2010-02-18 Christopher L. ConwayAdding doxygen configuration parameters and doxygen... 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 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-11-03 Morgan Deterscommit of project structure including autotools support tree | commitdiff