2012-06-04 |
Clark Barrett | Added preprocessing pass that propagates unconstrained... |
blob | commitdiff | raw |
2012-05-30 |
Clark Barrett | Added BitwiseEq bitvector rewrite |
blob | commitdiff | raw | diff to current |
2012-05-22 |
Tim King | This commit merges in the branch arithmetic/cprop. |
blob | commitdiff | raw | diff to current |
2012-05-17 |
Liana Hadarean | Fixed bug 338: |
blob | commitdiff | raw | diff to current |
2012-05-14 |
Morgan Deters | in debug builds, -d can be used for trace tags that... |
blob | commitdiff | raw | diff to current |
2012-05-13 |
Dejan Jovanović | fixing build warnings |
blob | commitdiff | raw | diff to current |
2012-05-11 |
Clark Barrett | Disabled arith-rewrite-equalities by default unless... |
blob | commitdiff | raw | diff to current |
2012-05-11 |
Clark Barrett | Added some ITE rewrites, |
blob | commitdiff | raw | diff to current |
2012-05-09 |
Morgan Deters | --disable-tracing at configure time now disables Trace... |
blob | commitdiff | raw | diff to current |
2012-05-08 |
Liana Hadarean | Merging in bvprop branch, with proper bit-vector propag... |
blob | commitdiff | raw | diff to current |
2012-05-04 |
François Bobot | options: fail if the debug or trace tag specified doesn... |
blob | commitdiff | raw | diff to current |
2012-04-23 |
Kshitij Bansal | Merge from decision branch -- partially working justifi... |
blob | commitdiff | raw | diff to current |
2012-04-17 |
Kshitij Bansal | A dummy decision engine. Expected performance impact... |
blob | commitdiff | raw | diff to current |
2012-04-17 |
Tim King | Merges branches/arithmetic/atom-database r2979 through... |
blob | commitdiff | raw | diff to current |
2012-03-26 |
Dejan Jovanović | Global registry of SAT solvers, where they are register... |
blob | commitdiff | raw | diff to current |
2012-03-23 |
Tim King | Removed the variableRemovalEnabled option and d_removed... |
blob | commitdiff | raw | diff to current |
2012-03-21 |
Morgan Deters | Disable nonclausal simplification for QF_SAT benchmarks... |
blob | commitdiff | raw | diff to current |
2012-03-09 |
Morgan Deters | Some work on the dump infrastructure to support portfol... |
blob | commitdiff | raw | diff to current |
2012-03-01 |
Morgan Deters | Partial merge from kind-backend branch, including Minis... |
blob | commitdiff | raw | diff to current |
2012-02-20 |
Morgan Deters | portfolio merge |
blob | commitdiff | raw | diff to current |
2012-02-20 |
Morgan Deters | By default, ONLY enable symmetry breaker ONLY for QF_UF... |
blob | commitdiff | raw | diff to current |
2012-02-16 |
Tim King | Last commit accidentally lacked r2778 and r2779 from... |
blob | commitdiff | raw | diff to current |
2011-11-22 |
Morgan Deters | More language bindings work: |
blob | commitdiff | raw | diff to current |
2011-11-04 |
Morgan Deters | STRING_TYPE and CONST_STRING and associate type infrast... |
blob | commitdiff | raw | diff to current |
2011-11-02 |
Morgan Deters | Only print a shortlist of most-commonly-used options... |
blob | commitdiff | raw | diff to current |
2011-11-02 |
Morgan Deters | give an option error if the user specifies --proof... |
blob | commitdiff | raw | diff to current |
2011-10-28 |
Morgan Deters | * ability to output NodeBuilders without first converti... |
blob | commitdiff | raw | diff to current |
2011-10-28 |
Liana Hadarean | merged the proofgen3 branch into trunk: |
blob | commitdiff | raw | diff to current |
2011-10-25 |
Kshitij Bansal | Initialize resource limit and millisecond limit options |
blob | commitdiff | raw | diff to current |
2011-10-23 |
Morgan Deters | Implement changes from yesterday morning's meeting... |
blob | commitdiff | raw | diff to current |
2011-10-13 |
Morgan Deters | Interruption, time-out, and deterministic time-out... |
blob | commitdiff | raw | diff to current |
2011-10-04 |
Tim King | Disabling the variable removal hueristic by default. |
blob | commitdiff | raw | diff to current |
2011-09-30 |
Morgan Deters | interfaces fixes and cleanups...and examples of each... |
blob | commitdiff | raw | diff to current |
2011-09-29 |
Morgan Deters | compatibility work, documentation |
blob | commitdiff | raw | diff to current |
2011-09-17 |
Morgan Deters | --show-debug-tags and --show-trace-tags now supported... |
blob | commitdiff | raw | diff to current |
2011-09-15 |
Dejan Jovanović | adding --show-debug-tags to list all available debug... |
blob | commitdiff | raw | diff to current |
2011-09-02 |
Morgan Deters | Merge from my post-smtcomp branch. Includes: |
blob | commitdiff | raw | diff to current |
2011-07-11 |
Morgan Deters | merge from symmetry branch |
blob | commitdiff | raw | diff to current |
2011-07-05 |
Dejan Jovanović | updated preprocessing and rewriting input equalities... |
blob | commitdiff | raw | diff to current |
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 |
|