cvc5.git
2014-06-19 Morgan DetersFix for pre-C++11 is_sorted().
2014-06-19 Morgan DetersMore minor code cleanup.
2014-06-19 Morgan DetersNo more dependence on libstdc++ or PBDS stuff: remove...
2014-06-19 Morgan DetersNew translator features: expand define-funs and combine...
2014-06-19 Morgan DetersCode cleanup.
2014-06-19 Morgan DetersDocumentation clean-ups.
2014-06-19 Morgan DetersAnother fix for the CASC stuff.
2014-06-19 Morgan DetersFinal preparations for arithmetic for building with...
2014-06-19 Morgan DetersFix for new CASC features, fixes Java builds.
2014-06-19 Morgan DetersSome reversions of recent commits re: portfolio failure.
2014-06-19 Tim KingThis commit adds a priority queue implementation. ...
2014-06-19 Morgan DetersTest portfolio with --no-wait-to-join.
2014-06-19 ajreynolFor casc : print models of functions rewritten by sort...
2014-06-19 Morgan DetersFix rewriter typo.
2014-06-19 Morgan DetersClean up glpk detection a little, fix a detection bug.
2014-06-19 Morgan Detersfix typo
2014-06-19 Morgan DetersMore application-track fixes for use with trace executor.
2014-06-19 Morgan DetersVersioning preparation.
2014-06-19 Morgan DetersSome fixes for tear-down-incremental and "success"...
2014-06-19 Morgan DetersDisallow context-dependent copy/assignment.
2014-06-19 Morgan DetersFix compile errors with some versions of GCC.
2014-06-19 Morgan DetersClean up some compiler warnings on 32-bit.
2014-06-19 Morgan DetersMinor fixes to get-abc script and configure stuff.
2014-06-19 Morgan Detersget-glpk-cut-log script, and configure code.
2014-06-19 Morgan Detersdos2unix-convert some sources.
2014-06-19 Morgan DetersMinor fixes, spelling etc.
2014-06-19 ajreynolMore proof support for CASC : include skolemization
2014-06-19 Morgan Detersminor update to application track config in QF_BV
2014-06-16 lianahcore solver fix
2014-06-16 Morgan DetersCareful there aren't too many "success" messages with...
2014-06-16 lianahfixed bv bug due to applying equisatisfiable transforma...
2014-06-15 Morgan DetersApplication trace executor (if they end up using that...
2014-06-15 Morgan DetersOne last(?) fix for build script for smtcomp uploads.
2014-06-15 lianahfixed fuzzer assertion failures for bv
2014-06-15 Morgan Detersfix travis config
2014-06-15 Morgan Detersbetter bv args for smtcomp
2014-06-15 lianahadded rewriting to bv-pow2 pass
2014-06-15 lianahEvil bitvector preprocessing pass for simplifying power...
2014-06-15 lianahbv static learning and rewrites for power of 2 terms
2014-06-14 lianahmore bv rewrites
2014-06-14 lianahfix to inequality rewrite
2014-06-14 lianahfixed merge
2014-06-14 lianahadded bv inequality rewrite
2014-06-14 Liana Hadareanadded bv inequality lemmas
2014-06-14 Liana Hadareanadded bv inequality lemmas
2014-06-14 ajreynolFix for fmf with large finite cardinalities.
2014-06-13 lianahfixed BVMinisat bug due to not clearing seen properly
2014-06-13 Morgan DetersDoubly-ensure incremental is off in main track. Also...
2014-06-13 ajreynolFix handling of ALIA.
2014-06-13 Morgan Detersupdate application track script too
2014-06-13 Clark BarrettUpdate for QF_AUFLIA strategy
2014-06-13 Morgan DetersAllow parallel failures when building competition versi...
2014-06-13 Morgan DetersAdjust incremental run script for QF_AX too.
2014-06-12 Clark BarrettModified run script for QF_AX
2014-06-12 Clark BarrettModified run script for QF_LRA
2014-06-12 Morgan DetersMore make submission stuff
2014-06-12 lianahMerge branch 'master' of https://github.com/CVC4/CVC4
2014-06-12 lianahfixing bv inequality solver explanation bug
2014-06-12 Morgan DetersNew application track script, new heuristics and all...
2014-06-12 lianahadded bvcomp case to bv to bool lifting
2014-06-12 Morgan Detersmore fix-ups
2014-06-12 lianahadded optionException for trying to use abc in an non...
2014-06-12 Morgan Detersmore smtcomp-submission script work
2014-06-11 Morgan DetersFlush output stream after result printed in portfolio.
2014-06-11 Morgan DetersFix for competition mode + parallel.
2014-06-11 Morgan DetersFix parallel run script.
2014-06-11 lianahMerge branch 'master' of https://github.com/CVC4/CVC4
2014-06-11 lianahswitched bv equality order
2014-06-11 ajreynolUpdate SMTCOMP script to handle all quantified logics.
2014-06-11 Morgan DetersFix an omission in bv sources.
2014-06-11 Morgan Deters--best now implies --with-glpk --with-abc
2014-06-11 Morgan DetersSome clean-up, post bv-merge.
2014-06-11 Kshitij BansalMerge pull request #31 from kbansal/sets
2014-06-11 lianahfixed unit tests failures
2014-06-11 Kshitij Bansaldisable another test, after recent merges taking too...
2014-06-11 Kshitij Bansaldisable failing test
2014-06-11 Kshitij Bansalsets: comment out an assertion too strong
2014-06-11 Kshitij Bansaluser/sat context issue in sets
2014-06-11 Kshitij Bansalfix in sets rewriter
2014-06-11 lianahfixing bv ackermanization cache bug
2014-06-10 Morgan DetersAdd new --pb-rewrites options to QF_LIA run script...
2014-06-10 Morgan DetersSome news about API changes.
2014-06-10 Tim KingMerging Tim's pseudoboolean work from his fmcad14 branch.
2014-06-10 lianahreverting portfolio hack
2014-06-10 lianahMerging CAV14 paper bit-vector work.
2014-06-09 Morgan DetersDisallow copy/assignment of SmtEngine.
2014-06-09 Morgan DetersTim's options for QF_LIA and QF_LRA---SOI+approx.
2014-06-09 Kshitij BansalMerge pull request #29 from kbansal/alternatefix
2014-06-09 Morgan DetersAdd missing set of braces, fixes --trace.
2014-06-09 Kshitij BansalparseErrorHelper : factor out whole word matching
2014-06-09 Kshitij Bansaltest for prvs commit (tokenize emptyset)
2014-06-09 Morgan DetersPrevious "repeat" fix required extra lookahead (leading...
2014-06-08 Kshitij Bansalsmt2 parser: tokenize emptyset only if theory enabled
2014-06-08 Morgan DetersBetter error when there are \backslashes in |quoted...
2014-06-08 Morgan DetersAllow 'repeat' as an SMT-LIB user symbol name (UFNIA...
2014-06-08 Kshitij Bansalsets translate: a different translation using axioms
2014-06-06 Kshitij Bansalsets translator: fix for dags
2014-06-06 Kshitij BansalMerge pull request #28 from kbansal/sets
2014-06-06 Morgan DetersFix submission script (again).
2014-06-06 Kshitij Bansalrm warning from helloworld example
next