summaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2014-06-15minor update to application track config in QF_BVsmtcomp2014Morgan Deters
2014-06-15core solver fixlianah
2014-06-15Careful there aren't too many "success" messages with --tear-down-incremental...Morgan Deters
2014-06-15fixed bv bug due to applying equisatisfiable transformations in ppRewritelianah
2014-06-15Application trace executor (if they end up using that) requires --print-success.Morgan Deters
2014-06-15One last(?) fix for build script for smtcomp uploads.Morgan Deters
2014-06-15fixed fuzzer assertion failures for bvlianah
2014-06-15fix travis configMorgan Deters
2014-06-15better bv args for smtcompMorgan Deters
2014-06-14added rewriting to bv-pow2 passlianah
2014-06-14Evil bitvector preprocessing pass for simplifying powers of two.lianah
2014-06-14bv static learning and rewrites for power of 2 termslianah
2014-06-14more bv rewriteslianah
2014-06-14fix to inequality rewritelianah
2014-06-14fixed mergelianah
2014-06-14added bv inequality rewritelianah
2014-06-14added bv inequality lemmasLiana Hadarean
2014-06-14added bv inequality lemmasLiana Hadarean
2014-06-14Fix for fmf with large finite cardinalities.ajreynol
2014-06-13fixed BVMinisat bug due to not clearing seen properlylianah
2014-06-13Doubly-ensure incremental is off in main track. Also import bv-portfolio str...Morgan Deters
2014-06-13Fix handling of ALIA.ajreynol
2014-06-13update application track script tooMorgan Deters
2014-06-13Update for QF_AUFLIA strategyClark Barrett
2014-06-13Allow parallel failures when building competition version (they are spurious).Morgan Deters
2014-06-13Adjust incremental run script for QF_AX too.Morgan Deters
2014-06-12Modified run script for QF_AXClark Barrett
2014-06-12Modified run script for QF_LRAClark Barrett
2014-06-12More make submission stuffMorgan Deters
2014-06-12Merge branch 'master' of https://github.com/CVC4/CVC4lianah
2014-06-12fixing bv inequality solver explanation buglianah
2014-06-12New application track script, new heuristics and all --tear-down-incremental....Morgan Deters
2014-06-12added bvcomp case to bv to bool liftinglianah
2014-06-11more fix-upsMorgan Deters
2014-06-11added optionException for trying to use abc in an non-abc buildlianah
2014-06-11more smtcomp-submission script workMorgan Deters
2014-06-11Flush output stream after result printed in portfolio.Morgan Deters
2014-06-11Fix for competition mode + parallel.Morgan Deters
2014-06-11Fix parallel run script.Morgan Deters
2014-06-11Merge branch 'master' of https://github.com/CVC4/CVC4lianah
2014-06-11switched bv equality orderlianah
2014-06-12Update SMTCOMP script to handle all quantified logics.ajreynol
2014-06-11Fix an omission in bv sources.Morgan Deters
2014-06-11--best now implies --with-glpk --with-abcMorgan Deters
2014-06-11Some clean-up, post bv-merge.Morgan Deters
2014-06-11Merge pull request #31 from kbansal/setsKshitij Bansal
2014-06-11fixed unit tests failureslianah
2014-06-11disable another test, after recent merges taking too longKshitij Bansal
2014-06-11disable failing testKshitij Bansal
2014-06-11sets: comment out an assertion too strongKshitij Bansal
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback