Age | Commit message (Expand) | Author |
2012-07-31 | Options merge. This commit: | Morgan Deters |
2012-07-27 | Merge quantifiers2-trunk: | François Bobot |
2012-07-12 | merged fmf-devel branch, includes support for SMT2 command get-value and (ext... | Andrew Reynolds |
2012-07-08 | Bugs resolved by this commit: #314, #322, #359, #364, #365. | Morgan Deters |
2012-07-07 | Various fixes to documentation---typos, some incomplete documentation fixed, ... | Morgan Deters |
2012-06-22 | TPTP: add parser for cnf and fof | François Bobot |
2012-06-17 | --decision=justification-stoponly : use decision engine only for stopping | Kshitij Bansal |
2012-06-16 | changing theoryOf in shared mode with arrays to move equalities to arrays | Dejan Jovanović |
2012-06-14 | Brings the tuning branch into trunk. This includes the changes from restricte... | Tim King |
2012-06-12 | fix ordering issue of --dump-to and --default-dag-thresh. now can be specifi... | Morgan Deters |
2012-06-11 | Merge from quantifiers2-trunkmerge branch. | Morgan Deters |
2012-06-09 | Cleanup and comments for the dag-ifier. Also some unit testing for it. | Morgan Deters |
2012-06-09 | Dagification of output expressions. | Morgan Deters |
2012-06-08 | The option --arith-presolve-lemmas had previously been renamed --unate-lemmas. | Morgan Deters |
2012-06-08 | Merge from decision branch (till r3663) | Kshitij Bansal |
2012-06-06 | Changes to the combination mechanism, lots of details. Not done yet, there ar... | Dejan Jovanović |
2012-06-04 | Added preprocessing pass that propagates unconstrained values - solves all of | Clark Barrett |
2012-05-30 | Added BitwiseEq bitvector rewrite | Clark Barrett |
2012-05-22 | This commit merges in the branch arithmetic/cprop. | Tim King |
2012-05-17 | Fixed bug 338: | Liana Hadarean |
2012-05-14 | in debug builds, -d can be used for trace tags that aren't also debug tags | Morgan Deters |
2012-05-13 | fixing build warnings | Dejan Jovanović |
2012-05-11 | Disabled arith-rewrite-equalities by default unless in a pure arithmetic theory | Clark Barrett |
2012-05-11 | Added some ITE rewrites, | Clark Barrett |
2012-05-09 | --disable-tracing at configure time now disables Trace() and Debug() gestures... | Morgan Deters |
2012-05-08 | Merging in bvprop branch, with proper bit-vector propagation. | Liana Hadarean |
2012-05-04 | options: fail if the debug or trace tag specified doesn't exist (-d -t) | François Bobot |
2012-04-23 | Merge from decision branch -- partially working justification heuristic | Kshitij Bansal |
2012-04-17 | A dummy decision engine. Expected performance impact: none. | Kshitij Bansal |
2012-04-17 | Merges branches/arithmetic/atom-database r2979 through 3247 into trunk. Belo... | Tim King |
2012-03-26 | Global registry of SAT solvers, where they are registered at compile time. Th... | Dejan Jovanović |
2012-03-23 | Removed the variableRemovalEnabled option and d_removedRows from TheoryArith.... | Tim King |
2012-03-21 | Disable nonclausal simplification for QF_SAT benchmarks by default. | Morgan Deters |
2012-03-09 | Some work on the dump infrastructure to support portfolio work. | Morgan Deters |
2012-03-01 | Partial merge from kind-backend branch, including Minisat and CNF work to | Morgan Deters |
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 |