Age | Commit message (Expand) | Author |
2013-11-27 | General pre-release cleanup commit | Morgan Deters |
2013-11-10 | Flatten libcvc4 build structure; remove some #include interdependences | Morgan Deters |
2013-09-27 | fix the infinite issue | Tianyi Liang |
2013-09-27 | for morgan to see the regression problems | Tianyi Liang |
2013-09-27 | adds model generation for strings, and a hacked way in arith engine for models | Tianyi Liang |
2013-09-24 | Reduce compiler dependencies on substitutions.h, | Clark Barrett |
2013-09-13 | Documentation fixes, some code typo fixes, file perms, other minor things. | Morgan Deters |
2013-07-29 | Fix numerous compiler warnings on various platforms | Morgan Deters |
2013-06-27 | Small fix for IS_INTEGER. | Morgan Deters |
2013-06-24 | Support for abs, to_int, is_int, divisible in SMT-LIB; also --rewrite-divk al... | Morgan Deters |
2013-05-22 | Add regressions for finite model finding | Andrew Reynolds |
2013-05-16 | configure fix for building with glpk on redhat, perhaps others | Morgan Deters |
2013-05-11 | Preliminary version of finite model finding over bounded integer quantificati... | Andrew Reynolds |
2013-05-09 | Changing the integer normal form to increase matching. | Tim King |
2013-05-08 | Removing arithmetic compile warning for release | Morgan Deters |
2013-05-07 | Fixes a bug with arithmetic's new attempt solution infrastructure. This caus... | Tim King |
2013-05-07 | Improving arithmetic debugging output. | Tim King |
2013-05-07 | Disabling an incorrect prototyping line from the simplex merges. Fixes bug 510. | Tim King |
2013-05-06 | Removing excess verbosity from ApproxSimplex (after discussing with Tim) | Morgan Deters |
2013-05-06 | Adding a heuristic for guessing an optimization function when using glpk. | Tim King |
2013-05-05 | Adding cut offs for likely integer infeasible paths. | Tim King |
2013-05-03 | Adding a smarter technique for pivoting in solutions for glpk. | Tim King |
2013-05-03 | More misc. arithmetic cleanup. Removing unused files and functions. Also remo... | Tim King |
2013-05-03 | Code cleanup. Reducing misc. warnings in arithmetic. | Tim King |
2013-05-03 | Removing arithmetic legacy code and unifying functions. | Tim King |
2013-05-03 | Fixing a debug typo. | Tim King |
2013-05-03 | Merging branch 'soiquickexplain'. | Tim King |
2013-05-03 | Merge branch 'fcexplanations' | Tim King |
2013-05-02 | Adding quick explain for soi simplex. | Tim King |
2013-05-01 | Working on the new explanation system. | Tim King |
2013-04-30 | Making propagation more conversative. | Tim King |
2013-04-30 | Draft of the new propagation code. | Tim King |
2013-04-30 | Adding has bound counts and tracking for rows. | Tim King |
2013-04-29 | Some fixes for GCC 4.2, and for Java on Mac | Morgan Deters |
2013-04-29 | Fixes to FCSimplex for some versions of compilers | Morgan Deters |
2013-04-28 | Fixing the failure for make distcheck. | Tim King |
2013-04-26 | FCSimplex branch merge | Tim King |
2013-04-02 | Making arithmetic model reversion on unsat checks an option. | Tim King |
2013-04-02 | Regenerated copyrights: canonicalized names, no emails | Morgan Deters |
2013-04-01 | update copyrights | Morgan Deters |
2013-04-01 | Cleaning up the demand restart code. | Tim King |
2013-04-01 | Adding a restart test strategy to integers. | Tim King |
2013-03-21 | Better error in case of nonlinear assertions while in linear logic | Morgan Deters |
2013-03-14 | Merge branch '1.0.x' | Morgan Deters |
2013-03-14 | fix to build system: #include the proper file when they are in both builds an... | Morgan Deters |
2013-02-16 | Some cleanup and copyright updating | Morgan Deters |
2013-02-04 | Some fixes for the miplib preprocessing pass. | Morgan Deters |
2013-02-03 | Some cleanup of miplib regressions and options | Morgan Deters |
2013-02-03 | new option for doing top-level miplib substitutions (or not) | Morgan Deters |
2013-02-03 | new miplib pass, works for 1 or 2 vars | Morgan Deters |