summaryrefslogtreecommitdiff
path: root/src/util/options.cpp
AgeCommit message (Expand)Author
2011-04-20Tuesday end-of-day commit.Morgan Deters
2011-04-18This commit merges the branch arithmetic/propagation-again into trunk.Tim King
2011-04-10merge from replay branchMorgan Deters
2011-04-05Added options for setting the random decision frequency and random seed for t...Tim King
2011-04-01This commit is a merge from the "betterstats" branch, which:Morgan Deters
2011-03-30Moved the constructor for Options out of the header and into the cpp. For peo...Tim King
2011-03-30Added the command line flag --rewrite-arithmetic-equalities. This sets a sta...Tim King
2011-03-15Merge from cudd branch. This mostly just adds support for linkingMorgan Deters
2011-02-27- Adds a path for Theory to be passed a reference to Options.Tim King
2010-11-19add statistics support information to --show-configMorgan Deters
2010-11-09Lemmas on demand work, push-pop, some cleanup.Dejan Jovanović
2010-11-08command-line flag to disable theory registration, also SMT-LIBv2 compliance (...Morgan Deters
2010-11-08cleanup, documentation, SMT-LIBv2 complianceMorgan Deters
2010-10-31enable dependence graphs in doxygen; fix lots of doxygen warnings, fix some d...Morgan Deters
2010-10-22Merging main/getopt.cpp, main/usage.h, and smt/options.h inChristopher L. Conway
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback