summaryrefslogtreecommitdiff
path: root/src/util/options.cpp
AgeCommit message (Expand)Author
2011-09-17--show-debug-tags and --show-trace-tags now supported by Configuration API; a...Morgan Deters
2011-09-15adding --show-debug-tags to list all available debug tracing tagsDejan Jovanović
2011-09-02Merge from my post-smtcomp branch. Includes:Morgan Deters
2011-07-11merge from symmetry branchMorgan Deters
2011-07-05updated preprocessing and rewriting input equalities into inequalities for LRADejan Jovanović
2011-06-30Changed the defaults for arithPivotThreshold and arithPropagateMaxLength to 1...Tim King
2011-06-30Merging the playground branch upto r1957 into trunk.Tim King
2011-06-29Fixed spelling mistake and documentation for --enable-variable-removal.Tim King
2011-05-31This commit contains the code for allowing arbitrary equalities in the theory...Tim King
2011-05-28include subversion information used for each build in the --show-config outpu...Morgan Deters
2011-05-05Merge from nonclausal-simplification-v2 branch:Morgan Deters
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