projects / cvc5.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
removing unecessary files
[cvc5.git] / doc /
2012-07-09 Morgan Detersminor fix-ups tree | commitdiff
2012-07-09 Morgan Detersfix eXecutable bit on a script tree | commitdiff
2012-07-08 Morgan DetersBugs resolved by this commit: #314, #322, #359, #364... tree | commitdiff
2012-03-09 Morgan Detersminor fixes: to "make dist" in build directories with... tree | commitdiff
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