projects / cvc5.git / search
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Some fixes to portfolio
2012-09-28 Kshitij BansalSome fixes to portfolio
 commit | commitdiff | tree
2012-09-08 Kshitij BansalSingle driver for both sequential and portfolio
 commit | commitdiff | tree
2012-08-26 Kshitij Bansalminor, lying around in a wd (related to investigating...
commit | commitdiff | tree
2012-08-26 Kshitij Bansaldisabling failing regressions
 commit | commitdiff | tree
2012-08-16 Kshitij Bansalbug 374 (was found through fuzzing 2012-07-18)
 commit | commitdiff | tree
2012-06-18 Kshitij Bansaltracing code to make sure decision options are being...
commit | commitdiff | tree
2012-06-18 Kshitij Bansalbugfix, enable only QF_LRA, not other arith
 commit | commitdiff | tree
2012-06-18 Kshitij BansalQF_LRA, Quantifiers: enable use decision for (only...
commit | commitdiff | tree
2012-06-17 Kshitij BansalQF_AUFLIA: enable use decision for (only for) stopping...
commit | commitdiff | tree
2012-06-17 Kshitij Bansal--decision=justification-stoponly : use decision engine...
commit | commitdiff | tree
2012-06-16 Kshitij BansalAdding the failing QF_AUFLIA regression mentioned in...
commit | commitdiff | tree
2012-06-16 Kshitij BansalThis is an attempt to fix the bug in the justification...
commit | commitdiff | tree
2012-06-15 Kshitij BansalBug fix in justification heuristic. Had to do with how
 commit | commitdiff | tree
2012-06-15 Kshitij Bansalone bug fixed
 commit | commitdiff | tree
2012-06-14 Kshitij BansalWIP
 commit | commitdiff | tree
2012-06-14 Kshitij Bansaladd failing regression, move error up
 commit | commitdiff | tree
2012-06-14 Kshitij Bansalbug fixes in justification heuristic
 commit | commitdiff | tree
2012-06-14 Kshitij Bansalfix quantifier non-bug
 commit | commitdiff | tree
2012-06-14 Kshitij Bansalbug ifx, mv
 commit | commitdiff | tree
2012-06-14 Kshitij Bansalrestore destruction of stuff in driver
 commit | commitdiff | tree
2012-06-14 Kshitij BansalThis commit:
 commit | commitdiff | tree
2012-06-14 Kshitij Bansalfailing quantifier
 commit | commitdiff | tree
2012-06-14 Kshitij Bansalfix cout, fix statname, rm deadcode
 commit | commitdiff | tree
2012-06-14 Kshitij Bansaladd passing regression
 commit | commitdiff | tree
2012-06-13 Kshitij Bansaladd passing regression
 commit | commitdiff | tree
2012-06-13 Kshitij Bansalenable some decision regressions
 commit | commitdiff | tree
2012-06-13 Kshitij BansalMake d_result in DE context dependent
 commit | commitdiff | tree
2012-06-13 Kshitij Bansaldecision regressions, all but one fail
 commit | commitdiff | tree
2012-06-12 Kshitij Bansalbv reduced with decision: sat instead of unsat
 commit | commitdiff | tree
2012-06-12 Kshitij BansalAssert fail equaility_engine.cpp: hasTerm(node) with...
commit | commitdiff | tree
2012-06-12 Kshitij Bansalcleanup of exit mechanism when decisionEngine is on...
commit | commitdiff | tree
2012-06-08 Kshitij Bansalhandle BitVectorSignExtend in pickler
 commit | commitdiff | tree
2012-06-08 Kshitij Bansalthreadlocal
 commit | commitdiff | tree
2012-06-08 Kshitij BansalMerge from decision branch (till r3663)
 commit | commitdiff | tree
2012-05-25 Kshitij Bansalinit bug fix
 commit | commitdiff | tree
2012-05-09 Kshitij Bansalrm something for a future merge that sneaked in
 commit | commitdiff | tree
2012-05-09 Kshitij BansalMerge from decision branch (ITE support)
 commit | commitdiff | tree
2012-04-25 Kshitij Bansalportfolio driver: respect parseOnly option
 commit | commitdiff | tree
2012-04-25 Kshitij Bansalfix for de+lemmas
 commit | commitdiff | tree
2012-04-23 Kshitij BansalMerge from decision branch -- partially working justificatio...
commit | commitdiff | tree
2012-04-18 Kshitij Bansaladd the missing BINARY variable in some test/regress...
commit | commitdiff | tree
2012-04-18 Kshitij Bansalcout -> warning. Happening in portfolio
 commit | commitdiff | tree
2012-04-17 Kshitij BansalA dummy decision engine. Expected performance impact...
commit | commitdiff | tree
2012-04-02 Kshitij Bansalfix for cvc4_logic dump
 commit | commitdiff | tree
2012-03-02 Kshitij BansalRemove some commented out code from sat.h
 commit | commitdiff | tree
2012-02-22 Kshitij Bansalminor change to order fn in sat solver's ElimLt
 commit | commitdiff | tree
2011-10-25 Kshitij BansalInitialize resource limit and millisecond limit options
 commit | commitdiff | tree