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

2011-07-05	Dejan Jovanović	updated preprocessing and rewriting input equalities...	blob \| commitdiff \| raw
2011-06-30	Tim King	Changed the defaults for arithPivotThreshold and arithP...	blob \| commitdiff \| raw \| diff to current
2011-06-30	Tim King	Merging the playground branch upto r1957 into trunk.	blob \| commitdiff \| raw \| diff to current
2011-06-29	Tim King	Fixed spelling mistake and documentation for --enable...	blob \| commitdiff \| raw \| diff to current
2011-05-31	Tim King	This commit contains the code for allowing arbitrary...	blob \| commitdiff \| raw \| diff to current
2011-05-28	Morgan Deters	include subversion information used for each build...	blob \| commitdiff \| raw \| diff to current
2011-05-05	Morgan Deters	Merge from nonclausal-simplification-v2 branch:	blob \| commitdiff \| raw \| diff to current
2011-04-20	Morgan Deters	Tuesday end-of-day commit.	blob \| commitdiff \| raw \| diff to current
2011-04-18	Tim King	This commit merges the branch arithmetic/propagation...	blob \| commitdiff \| raw \| diff to current
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