git.libre-soc.org Git - cvc5.git/history

2011-04-18	Tim King	This commit merges the branch arithmetic/propagation...	blob \| commitdiff \| raw
2011-04-10	Morgan Deters	merge from replay branch	blob \| commitdiff \| raw \| diff to current
2011-04-05	Tim King	Added options for setting the random decision frequency...	blob \| commitdiff \| raw \| diff to current
2011-04-01	Morgan Deters	This commit is a merge from the "betterstats" branch...	blob \| commitdiff \| raw \| diff to current
2011-03-30	Tim King	Moved the constructor for Options out of the header...	blob \| commitdiff \| raw \| diff to current
2011-03-30	Tim King	Added the command line flag --rewrite-arithmetic-equali...	blob \| commitdiff \| raw \| diff to current
2011-03-15	Morgan Deters	Merge from cudd branch. This mostly just adds support...	blob \| commitdiff \| raw \| diff to current
2011-02-27	Tim King	- Adds a path for Theory to be passed a reference to...	blob \| commitdiff \| raw \| diff to current
2010-11-19	Morgan Deters	add statistics support information to --show-config	blob \| commitdiff \| raw \| diff to current
2010-11-09	Dejan Jovanović	Lemmas on demand work, push-pop, some cleanup.	blob \| commitdiff \| raw \| diff to current
2010-11-08	Morgan Deters	command-line flag to disable theory registration, also...	blob \| commitdiff \| raw \| diff to current
2010-11-08	Morgan Deters	cleanup, documentation, SMT-LIBv2 compliance	blob \| commitdiff \| raw \| diff to current
2010-10-31	Morgan Deters	enable dependence graphs in doxygen; fix lots of doxyge...	blob \| commitdiff \| raw \| diff to current
2010-10-22	Christopher L. Conway	Merging main/getopt.cpp, main/usage.h, and smt/options...	blob \| commitdiff \| raw \| diff to current

RSS Atom