Age | Commit message (Expand) | Author |
2012-02-20 | portfolio merge | Morgan Deters |
2012-02-20 | By default, ONLY enable symmetry breaker ONLY for QF_UF (both SMT-LIBv1 | Morgan Deters |
2012-02-16 | Last commit accidentally lacked r2778 and r2779 from integer2. I have manual... | Tim King |
2011-11-22 | More language bindings work: | Morgan Deters |
2011-11-04 | STRING_TYPE and CONST_STRING and associate type infrastructure implemented. | Morgan Deters |
2011-11-02 | Only print a shortlist of most-commonly-used options on option processing err... | Morgan Deters |
2011-11-02 | give an option error if the user specifies --proof in a non-proof-enabled build | Morgan Deters |
2011-10-28 | * ability to output NodeBuilders without first converting them to Nodes---use... | Morgan Deters |
2011-10-28 | merged the proofgen3 branch into trunk: | Liana Hadarean |
2011-10-25 | Initialize resource limit and millisecond limit options | Kshitij Bansal |
2011-10-23 | Implement changes from yesterday morning's meeting (10/21/2011): | Morgan Deters |
2011-10-13 | Interruption, time-out, and deterministic time-out ("resource-out") features. | Morgan Deters |
2011-10-04 | Disabling the variable removal hueristic by default. | Tim King |
2011-09-30 | interfaces fixes and cleanups...and examples of each interface! | Morgan Deters |
2011-09-29 | compatibility work, documentation | Morgan Deters |
2011-09-17 | --show-debug-tags and --show-trace-tags now supported by Configuration API; a... | Morgan Deters |
2011-09-15 | adding --show-debug-tags to list all available debug tracing tags | Dejan Jovanović |
2011-09-02 | Merge from my post-smtcomp branch. Includes: | Morgan Deters |
2011-07-11 | merge from symmetry branch | Morgan Deters |
2011-07-05 | updated preprocessing and rewriting input equalities into inequalities for LRA | Dejan Jovanović |
2011-06-30 | Changed the defaults for arithPivotThreshold and arithPropagateMaxLength to 1... | Tim King |
2011-06-30 | Merging the playground branch upto r1957 into trunk. | Tim King |
2011-06-29 | Fixed spelling mistake and documentation for --enable-variable-removal. | Tim King |
2011-05-31 | This commit contains the code for allowing arbitrary equalities in the theory... | Tim King |
2011-05-28 | include subversion information used for each build in the --show-config outpu... | Morgan Deters |
2011-05-05 | Merge from nonclausal-simplification-v2 branch: | Morgan Deters |
2011-04-20 | Tuesday end-of-day commit. | Morgan Deters |
2011-04-18 | This commit merges the branch arithmetic/propagation-again into trunk. | Tim King |
2011-04-10 | merge from replay branch | Morgan Deters |
2011-04-05 | Added options for setting the random decision frequency and random seed for t... | Tim King |
2011-04-01 | This commit is a merge from the "betterstats" branch, which: | Morgan Deters |
2011-03-30 | Moved the constructor for Options out of the header and into the cpp. For peo... | Tim King |
2011-03-30 | Added the command line flag --rewrite-arithmetic-equalities. This sets a sta... | Tim King |
2011-03-15 | Merge from cudd branch. This mostly just adds support for linking | Morgan Deters |
2011-02-27 | - Adds a path for Theory to be passed a reference to Options. | Tim King |
2010-11-19 | add statistics support information to --show-config | Morgan Deters |
2010-11-09 | Lemmas on demand work, push-pop, some cleanup. | Dejan Jovanović |
2010-11-08 | command-line flag to disable theory registration, also SMT-LIBv2 compliance (... | Morgan Deters |
2010-11-08 | cleanup, documentation, SMT-LIBv2 compliance | Morgan Deters |
2010-10-31 | enable dependence graphs in doxygen; fix lots of doxygen warnings, fix some d... | Morgan Deters |
2010-10-22 | Merging main/getopt.cpp, main/usage.h, and smt/options.h in | Christopher L. Conway |