summaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2014-06-19Documentation clean-ups.Morgan Deters
2014-06-19Another fix for the CASC stuff.Morgan Deters
2014-06-19Final preparations for arithmetic for building with libc++.Morgan Deters
2014-06-19Fix for new CASC features, fixes Java builds.Morgan Deters
2014-06-19Some reversions of recent commits re: portfolio failure.Morgan Deters
2014-06-19This commit adds a priority queue implementation. This is to avoid compilati...Tim King
2014-06-19Test portfolio with --no-wait-to-join.Morgan Deters
2014-06-19For casc : print models of functions rewritten by sort inference.ajreynol
2014-06-19Fix rewriter typo.Morgan Deters
2014-06-19Clean up glpk detection a little, fix a detection bug.Morgan Deters
2014-06-19fix typoMorgan Deters
2014-06-19More application-track fixes for use with trace executor.Morgan Deters
2014-06-19Versioning preparation.Morgan Deters
2014-06-19Some fixes for tear-down-incremental and "success" output.Morgan Deters
2014-06-19Disallow context-dependent copy/assignment.Morgan Deters
2014-06-19Fix compile errors with some versions of GCC.Morgan Deters
2014-06-19Clean up some compiler warnings on 32-bit.Morgan Deters
2014-06-19Minor fixes to get-abc script and configure stuff.Morgan Deters
2014-06-19get-glpk-cut-log script, and configure code.Morgan Deters
2014-06-19dos2unix-convert some sources.Morgan Deters
2014-06-19Minor fixes, spelling etc.Morgan Deters
2014-06-19More proof support for CASC : include skolemizationajreynol
2014-06-19minor update to application track config in QF_BVMorgan 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
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback