projects / cvc5.git / shortlog
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
cvc5.git
2014-07-04 Kshitij Bansalinitialize variables commit | commitdiff | tree
2014-07-01 Kshitij Bansalchat about thread creation commit | commitdiff | tree
2014-06-25 Tim KingFixing the previous bugfix. commit | commitdiff | tree
2014-06-24 Morgan Detersstack-size portfolio fix. boost 1.50 now required commit | commitdiff | tree
2014-06-24 Tim KingAlternative lazier heuristic for assertion rewriting. commit | commitdiff | tree
2014-06-24 Tim KingFixing a soundness bug in arithmetic and a roubustness... commit | commitdiff | tree
2014-06-24 Morgan DetersFix header check for glpk.h. commit | commitdiff | tree
2014-06-22 Morgan DetersQuitCommand needs "success" output for trace executor... commit | commitdiff | tree
2014-06-22 Morgan DetersFinal fixes for smtcomp2014-application. commit | commitdiff | tree
2014-06-22 Morgan DetersAnother updated submission strategy. commit | commitdiff | tree
2014-06-22 Morgan DetersRun in application track with --check-models. commit | commitdiff | tree
2014-06-19 Morgan DetersVersion of the run script that works with trace executo... commit | commitdiff | tree
2014-06-18 Morgan DetersSome reversions of recent commits re: portfolio failure. commit | commitdiff | tree
2014-06-17 Morgan DetersTest portfolio with --no-wait-to-join. commit | commitdiff | tree
2014-06-17 Morgan DetersFix rewriter typo. commit | commitdiff | tree
2014-06-17 Morgan DetersClean up glpk detection a little, fix a detection bug. commit | commitdiff | tree
2014-06-17 Morgan Detersfix typo commit | commitdiff | tree
2014-06-17 Morgan DetersMore application-track fixes for use with trace executor. commit | commitdiff | tree
2014-06-17 Morgan DetersSome fixes for tear-down-incremental and "success"... commit | commitdiff | tree
2014-06-17 Morgan DetersMinor fixes to get-abc script and configure stuff. commit | commitdiff | tree
2014-06-17 Morgan Detersget-glpk-cut-log script, and configure code. commit | commitdiff | tree
2014-06-16 Morgan Detersminor update to application track config in QF_BV commit | commitdiff | tree
2014-06-16 lianahcore solver fix commit | commitdiff | tree
2014-06-16 Morgan DetersCareful there aren't too many "success" messages with... commit | commitdiff | tree
2014-06-16 lianahfixed bv bug due to applying equisatisfiable transforma... commit | commitdiff | tree
2014-06-15 Morgan DetersApplication trace executor (if they end up using that... commit | commitdiff | tree
2014-06-15 Morgan DetersOne last(?) fix for build script for smtcomp uploads. commit | commitdiff | tree
2014-06-15 lianahfixed fuzzer assertion failures for bv commit | commitdiff | tree
2014-06-15 Morgan Detersfix travis config commit | commitdiff | tree
2014-06-15 Morgan Detersbetter bv args for smtcomp commit | commitdiff | tree
2014-06-15 lianahadded rewriting to bv-pow2 pass commit | commitdiff | tree
2014-06-15 lianahEvil bitvector preprocessing pass for simplifying power... commit | commitdiff | tree
2014-06-15 lianahbv static learning and rewrites for power of 2 terms commit | commitdiff | tree
2014-06-14 lianahmore bv rewrites commit | commitdiff | tree
2014-06-14 lianahfix to inequality rewrite commit | commitdiff | tree
2014-06-14 lianahfixed merge commit | commitdiff | tree
2014-06-14 lianahadded bv inequality rewrite commit | commitdiff | tree
2014-06-14 Liana Hadareanadded bv inequality lemmas commit | commitdiff | tree
2014-06-14 Liana Hadareanadded bv inequality lemmas commit | commitdiff | tree
2014-06-14 ajreynolFix for fmf with large finite cardinalities. commit | commitdiff | tree
2014-06-13 lianahfixed BVMinisat bug due to not clearing seen properly commit | commitdiff | tree
2014-06-13 Morgan DetersDoubly-ensure incremental is off in main track. Also... commit | commitdiff | tree
2014-06-13 ajreynolFix handling of ALIA. commit | commitdiff | tree
2014-06-13 Morgan Detersupdate application track script too commit | commitdiff | tree
2014-06-13 Clark BarrettUpdate for QF_AUFLIA strategy commit | commitdiff | tree
2014-06-13 Morgan DetersAllow parallel failures when building competition versi... commit | commitdiff | tree
2014-06-13 Morgan DetersAdjust incremental run script for QF_AX too. commit | commitdiff | tree
2014-06-12 Clark BarrettModified run script for QF_AX commit | commitdiff | tree
2014-06-12 Clark BarrettModified run script for QF_LRA commit | commitdiff | tree
2014-06-12 Morgan DetersMore make submission stuff commit | commitdiff | tree
2014-06-12 lianahMerge branch 'master' of https://github.com/CVC4/CVC4 commit | commitdiff | tree
2014-06-12 lianahfixing bv inequality solver explanation bug commit | commitdiff | tree
2014-06-12 Morgan DetersNew application track script, new heuristics and all... commit | commitdiff | tree
2014-06-12 lianahadded bvcomp case to bv to bool lifting commit | commitdiff | tree
2014-06-12 Morgan Detersmore fix-ups commit | commitdiff | tree
2014-06-12 lianahadded optionException for trying to use abc in an non... commit | commitdiff | tree
2014-06-12 Morgan Detersmore smtcomp-submission script work commit | commitdiff | tree
2014-06-11 Morgan DetersFlush output stream after result printed in portfolio. commit | commitdiff | tree
2014-06-11 Morgan DetersFix for competition mode + parallel. commit | commitdiff | tree
2014-06-11 Morgan DetersFix parallel run script. commit | commitdiff | tree
2014-06-11 lianahMerge branch 'master' of https://github.com/CVC4/CVC4 commit | commitdiff | tree
2014-06-11 lianahswitched bv equality order commit | commitdiff | tree
2014-06-11 ajreynolUpdate SMTCOMP script to handle all quantified logics. commit | commitdiff | tree
2014-06-11 Morgan DetersFix an omission in bv sources. commit | commitdiff | tree
2014-06-11 Morgan Deters--best now implies --with-glpk --with-abc commit | commitdiff | tree
2014-06-11 Morgan DetersSome clean-up, post bv-merge. commit | commitdiff | tree
2014-06-11 Kshitij BansalMerge pull request #31 from kbansal/sets commit | commitdiff | tree
2014-06-11 lianahfixed unit tests failures commit | commitdiff | tree
2014-06-11 Kshitij Bansaldisable another test, after recent merges taking too... commit | commitdiff | tree
2014-06-11 Kshitij Bansaldisable failing test commit | commitdiff | tree
2014-06-11 Kshitij Bansalsets: comment out an assertion too strong commit | commitdiff | tree
2014-06-11 Kshitij Bansaluser/sat context issue in sets commit | commitdiff | tree
2014-06-11 Kshitij Bansalfix in sets rewriter commit | commitdiff | tree
2014-06-11 lianahfixing bv ackermanization cache bug commit | commitdiff | tree
2014-06-10 Morgan DetersAdd new --pb-rewrites options to QF_LIA run script... commit | commitdiff | tree
2014-06-10 Morgan DetersSome news about API changes. commit | commitdiff | tree
2014-06-10 Tim KingMerging Tim's pseudoboolean work from his fmcad14 branch. commit | commitdiff | tree
2014-06-10 lianahreverting portfolio hack commit | commitdiff | tree
2014-06-10 lianahMerging CAV14 paper bit-vector work. commit | commitdiff | tree
2014-06-09 Morgan DetersDisallow copy/assignment of SmtEngine. commit | commitdiff | tree
2014-06-09 Morgan DetersTim's options for QF_LIA and QF_LRA---SOI+approx. commit | commitdiff | tree
2014-06-09 Kshitij BansalMerge pull request #29 from kbansal/alternatefix commit | commitdiff | tree
2014-06-09 Morgan DetersAdd missing set of braces, fixes --trace. commit | commitdiff | tree
2014-06-09 Kshitij BansalparseErrorHelper : factor out whole word matching commit | commitdiff | tree
2014-06-09 Kshitij Bansaltest for prvs commit (tokenize emptyset) commit | commitdiff | tree
2014-06-09 Morgan DetersPrevious "repeat" fix required extra lookahead (leading... commit | commitdiff | tree
2014-06-08 Kshitij Bansalsmt2 parser: tokenize emptyset only if theory enabled commit | commitdiff | tree
2014-06-08 Morgan DetersBetter error when there are \backslashes in |quoted... commit | commitdiff | tree
2014-06-08 Morgan DetersAllow 'repeat' as an SMT-LIB user symbol name (UFNIA... commit | commitdiff | tree
2014-06-08 Kshitij Bansalsets translate: a different translation using axioms commit | commitdiff | tree
2014-06-06 Kshitij Bansalsets translator: fix for dags commit | commitdiff | tree
2014-06-06 Kshitij BansalMerge pull request #28 from kbansal/sets commit | commitdiff | tree
2014-06-06 Morgan DetersFix submission script (again). commit | commitdiff | tree
2014-06-06 Kshitij Bansalrm warning from helloworld example commit | commitdiff | tree
2014-06-06 Tim KingPatch for the subtype theoryof mode to make the equalit... commit | commitdiff | tree
2014-06-06 Kshitij Bansalsets: fix equality propagation commit | commitdiff | tree
2014-06-06 Kshitij Bansal-{d,t} help => --show-{debug,trace}-tags commit | commitdiff | tree
2014-06-06 Kshitij Bansaloption to hide stats which are zero (off by default... commit | commitdiff | tree
2014-06-06 Kshitij BansalSets translate, and other short fixes commit | commitdiff | tree
2014-06-05 Morgan DetersSMT-COMP version gets built --with-abc. commit | commitdiff | tree
next