projects / cvc5.git / shortlog
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
cvc5.git
2014-06-18 Morgan DetersFix for pre-C++11 is_sorted(). commit | commitdiff | tree
2014-06-17 Morgan DetersMore minor code cleanup. commit | commitdiff | tree
2014-06-17 Morgan DetersNo more dependence on libstdc++ or PBDS stuff: remove... commit | commitdiff | tree
2014-06-17 Morgan DetersNew translator features: expand define-funs and combine... commit | commitdiff | tree
2014-06-17 Tim KingMerge pull request #33 from mdeters/arith-proposal commit | commitdiff | tree
2014-06-17 Morgan DetersCode cleanup. commit | commitdiff | tree
2014-06-17 Morgan DetersDocumentation clean-ups. commit | commitdiff | tree
2014-06-17 Morgan DetersAnother fix for the CASC stuff. commit | commitdiff | tree
2014-06-17 Morgan DetersFinal preparations for arithmetic for building with... commit | commitdiff | tree
2014-06-17 Morgan DetersFix for new CASC features, fixes Java builds. commit | commitdiff | tree
2014-06-17 Morgan DetersSome reversions of recent commits re: portfolio failure. commit | commitdiff | tree
2014-06-17 Tim KingThis commit adds a priority queue implementation. ... commit | commitdiff | tree
2014-06-17 Morgan DetersTest portfolio with --no-wait-to-join. commit | commitdiff | tree
2014-06-17 ajreynolFor casc : print models of functions rewritten by sort... 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 DetersVersioning preparation. commit | commitdiff | tree
2014-06-17 Morgan DetersSome fixes for tear-down-incremental and "success"... commit | commitdiff | tree
2014-06-17 Morgan DetersDisallow context-dependent copy/assignment. commit | commitdiff | tree
2014-06-17 Morgan DetersFix compile errors with some versions of GCC. commit | commitdiff | tree
2014-06-16 Morgan DetersClean up some compiler warnings on 32-bit. commit | commitdiff | tree
2014-06-16 Morgan DetersMinor fixes to get-abc script and configure stuff. commit | commitdiff | tree
2014-06-16 Morgan Detersget-glpk-cut-log script, and configure code. commit | commitdiff | tree
2014-06-16 Morgan Detersdos2unix-convert some sources. commit | commitdiff | tree
2014-06-16 Morgan DetersMinor fixes, spelling etc. commit | commitdiff | tree
2014-06-16 ajreynolMore proof support for CASC : include skolemization 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
next