| 2014-06-21 |
Morgan Deters | Bit-vector kinds documentation |
commit | commitdiff | tree |
| 2014-06-19 |
lianah | fixed merge conflict |
commit | commitdiff | tree |
| 2014-06-19 |
lianah | added model generation to eager bit-blasting and turned... |
commit | commitdiff | tree |
| 2014-06-19 |
lianah | update to abc install instructions |
commit | commitdiff | tree |
| 2014-06-19 |
Morgan Deters | Better --segv-spin messages. |
commit | commitdiff | tree |
| 2014-06-19 |
Morgan Deters | Fix make install-examples. |
commit | commitdiff | tree |
| 2014-06-19 |
Morgan Deters | Proper escaping in option documentation. |
commit | commitdiff | tree |
| 2014-06-19 |
Morgan Deters | Version of the run script that works with trace executo... |
commit | commitdiff | tree |
| 2014-06-19 |
Kshitij Bansal | forgot to add the test with fix |
commit | commitdiff | tree |
| 2014-06-19 |
Kshitij Bansal | basic fixes for sets translator, separate binaries |
commit | commitdiff | tree |
| 2014-06-19 |
Morgan Deters | Options script fix. |
commit | commitdiff | tree |
| 2014-06-19 |
Morgan Deters | Fix for mac readline. |
commit | commitdiff | tree |
| 2014-06-19 |
Morgan Deters | Better error for invalid concrete syntax of sorts with... |
commit | commitdiff | tree |
| 2014-06-19 |
Morgan Deters | Fix GLPK builds: correct access specifier on cut classes. |
commit | commitdiff | tree |
| 2014-06-19 |
Morgan Deters | Java bindings fixes. |
commit | commitdiff | tree |
| 2014-06-19 |
Morgan Deters | Minor Doxygen fixes. |
commit | commitdiff | tree |
| 2014-06-19 |
Kshitij Bansal | disable unate lemmas when using incremental mode |
commit | commitdiff | tree |
| 2014-06-19 |
Morgan Deters | Fix for pre-C++11 is_sorted(). |
commit | commitdiff | tree |
| 2014-06-19 |
Morgan Deters | More minor code cleanup. |
commit | commitdiff | tree |
| 2014-06-19 |
Morgan Deters | No more dependence on libstdc++ or PBDS stuff: remove... |
commit | commitdiff | tree |
| 2014-06-19 |
Morgan Deters | New translator features: expand define-funs and combine... |
commit | commitdiff | tree |
| 2014-06-19 |
Morgan Deters | Code cleanup. |
commit | commitdiff | tree |
| 2014-06-19 |
Morgan Deters | Documentation clean-ups. |
commit | commitdiff | tree |
| 2014-06-19 |
Morgan Deters | Another fix for the CASC stuff. |
commit | commitdiff | tree |
| 2014-06-19 |
Morgan Deters | Final preparations for arithmetic for building with... |
commit | commitdiff | tree |
| 2014-06-19 |
Morgan Deters | Fix for new CASC features, fixes Java builds. |
commit | commitdiff | tree |
| 2014-06-19 |
Morgan Deters | Some reversions of recent commits re: portfolio failure. |
commit | commitdiff | tree |
| 2014-06-19 |
Tim King | This commit adds a priority queue implementation. ... |
commit | commitdiff | tree |
| 2014-06-19 |
Morgan Deters | Test portfolio with --no-wait-to-join. |
commit | commitdiff | tree |
| 2014-06-19 |
ajreynol | For casc : print models of functions rewritten by sort... |
commit | commitdiff | tree |
| 2014-06-19 |
Morgan Deters | Fix rewriter typo. |
commit | commitdiff | tree |
| 2014-06-19 |
Morgan Deters | Clean up glpk detection a little, fix a detection bug. |
commit | commitdiff | tree |
| 2014-06-19 |
Morgan Deters | fix typo |
commit | commitdiff | tree |
| 2014-06-19 |
Morgan Deters | More application-track fixes for use with trace executor. |
commit | commitdiff | tree |
| 2014-06-19 |
Morgan Deters | Versioning preparation. |
commit | commitdiff | tree |
| 2014-06-19 |
Morgan Deters | Some fixes for tear-down-incremental and "success"... |
commit | commitdiff | tree |
| 2014-06-19 |
Morgan Deters | Disallow context-dependent copy/assignment. |
commit | commitdiff | tree |
| 2014-06-19 |
Morgan Deters | Fix compile errors with some versions of GCC. |
commit | commitdiff | tree |
| 2014-06-19 |
Morgan Deters | Clean up some compiler warnings on 32-bit. |
commit | commitdiff | tree |
| 2014-06-19 |
Morgan Deters | Minor fixes to get-abc script and configure stuff. |
commit | commitdiff | tree |
| 2014-06-19 |
Morgan Deters | get-glpk-cut-log script, and configure code. |
commit | commitdiff | tree |
| 2014-06-19 |
Morgan Deters | dos2unix-convert some sources. |
commit | commitdiff | tree |
| 2014-06-19 |
Morgan Deters | Minor fixes, spelling etc. |
commit | commitdiff | tree |
| 2014-06-19 |
ajreynol | More proof support for CASC : include skolemization |
commit | commitdiff | tree |
| 2014-06-19 |
Morgan Deters | minor update to application track config in QF_BV |
commit | commitdiff | tree |
| 2014-06-19 |
Morgan Deters | More doc fixes; fixes some lintian warnings. |
commit | commitdiff | tree |
| 2014-06-19 |
Morgan Deters | Better --segv-spin messages. |
commit | commitdiff | tree |
| 2014-06-19 |
Morgan Deters | Fix make install-examples. |
commit | commitdiff | tree |
| 2014-06-19 |
Morgan Deters | Proper escaping in option documentation. |
commit | commitdiff | tree |
| 2014-06-19 |
Morgan Deters | Version of the run script that works with trace executo... |
commit | commitdiff | tree |
| 2014-06-18 |
Kshitij Bansal | Merge remote-tracking branch 'upstream/master' into... |
commit | commitdiff | tree |
| 2014-06-18 |
Kshitij Bansal | forgot to add the test with fix |
commit | commitdiff | tree |
| 2014-06-18 |
Kshitij Bansal | basic fixes for sets translator, separate binaries |
commit | commitdiff | tree |
| 2014-06-18 |
Morgan Deters | Options script fix. |
commit | commitdiff | tree |
| 2014-06-18 |
Morgan Deters | Fix for mac readline. |
commit | commitdiff | tree |
| 2014-06-18 |
Morgan Deters | Better error for invalid concrete syntax of sorts with... |
commit | commitdiff | tree |
| 2014-06-18 |
Morgan Deters | Fix GLPK builds: correct access specifier on cut classes. |
commit | commitdiff | tree |
| 2014-06-18 |
Morgan Deters | Java bindings fixes. |
commit | commitdiff | tree |
| 2014-06-18 |
Morgan Deters | Minor Doxygen fixes. |
commit | commitdiff | tree |
| 2014-06-18 |
Kshitij Bansal | disable unate lemmas when using incremental mode |
commit | commitdiff | tree |
| 2014-06-18 |
Morgan Deters | Fix for pre-C++11 is_sorted(). |
commit | commitdiff | tree |
| 2014-06-17 |
Morgan Deters | More minor code cleanup. |
commit | commitdiff | tree |
| 2014-06-17 |
Morgan Deters | No more dependence on libstdc++ or PBDS stuff: remove... |
commit | commitdiff | tree |
| 2014-06-17 |
Morgan Deters | New translator features: expand define-funs and combine... |
commit | commitdiff | tree |
| 2014-06-17 |
Tim King | Merge pull request #33 from mdeters/arith-proposal |
commit | commitdiff | tree |
| 2014-06-17 |
Morgan Deters | Code cleanup. |
commit | commitdiff | tree |
| 2014-06-17 |
Morgan Deters | Documentation clean-ups. |
commit | commitdiff | tree |
| 2014-06-17 |
Morgan Deters | Another fix for the CASC stuff. |
commit | commitdiff | tree |
| 2014-06-17 |
Morgan Deters | Final preparations for arithmetic for building with... |
commit | commitdiff | tree |
| 2014-06-17 |
Morgan Deters | Fix for new CASC features, fixes Java builds. |
commit | commitdiff | tree |
| 2014-06-17 |
Morgan Deters | Some reversions of recent commits re: portfolio failure. |
commit | commitdiff | tree |
| 2014-06-17 |
Tim King | This commit adds a priority queue implementation. ... |
commit | commitdiff | tree |
| 2014-06-17 |
Morgan Deters | Test portfolio with --no-wait-to-join. |
commit | commitdiff | tree |
| 2014-06-17 |
ajreynol | For casc : print models of functions rewritten by sort... |
commit | commitdiff | tree |
| 2014-06-17 |
Morgan Deters | Fix rewriter typo. |
commit | commitdiff | tree |
| 2014-06-17 |
Morgan Deters | Clean up glpk detection a little, fix a detection bug. |
commit | commitdiff | tree |
| 2014-06-17 |
Morgan Deters | fix typo |
commit | commitdiff | tree |
| 2014-06-17 |
Morgan Deters | More application-track fixes for use with trace executor. |
commit | commitdiff | tree |
| 2014-06-17 |
Morgan Deters | Versioning preparation. |
commit | commitdiff | tree |
| 2014-06-17 |
Morgan Deters | Some fixes for tear-down-incremental and "success"... |
commit | commitdiff | tree |
| 2014-06-17 |
Morgan Deters | Disallow context-dependent copy/assignment. |
commit | commitdiff | tree |
| 2014-06-17 |
Morgan Deters | Fix compile errors with some versions of GCC. |
commit | commitdiff | tree |
| 2014-06-16 |
Morgan Deters | Clean up some compiler warnings on 32-bit. |
commit | commitdiff | tree |
| 2014-06-16 |
Morgan Deters | Minor fixes to get-abc script and configure stuff. |
commit | commitdiff | tree |
| 2014-06-16 |
Morgan Deters | get-glpk-cut-log script, and configure code. |
commit | commitdiff | tree |
| 2014-06-16 |
Morgan Deters | dos2unix-convert some sources. |
commit | commitdiff | tree |
| 2014-06-16 |
Morgan Deters | Minor fixes, spelling etc. |
commit | commitdiff | tree |
| 2014-06-16 |
ajreynol | More proof support for CASC : include skolemization |
commit | commitdiff | tree |
| 2014-06-16 |
Morgan Deters | minor update to application track config in QF_BV |
commit | commitdiff | tree |
| 2014-06-16 |
lianah | core solver fix |
commit | commitdiff | tree |
| 2014-06-16 |
Morgan Deters | Careful there aren't too many "success" messages with... |
commit | commitdiff | tree |
| 2014-06-16 |
lianah | fixed bv bug due to applying equisatisfiable transforma... |
commit | commitdiff | tree |
| 2014-06-15 |
Morgan Deters | Application trace executor (if they end up using that... |
commit | commitdiff | tree |
| 2014-06-15 |
Morgan Deters | One last(?) fix for build script for smtcomp uploads. |
commit | commitdiff | tree |
| 2014-06-15 |
lianah | fixed fuzzer assertion failures for bv |
commit | commitdiff | tree |
| 2014-06-15 |
Morgan Deters | fix travis config |
commit | commitdiff | tree |
| 2014-06-15 |
Morgan Deters | better bv args for smtcomp |
commit | commitdiff | tree |
| 2014-06-15 |
lianah | added rewriting to bv-pow2 pass |
commit | commitdiff | tree |
| 2014-06-15 |
lianah | Evil bitvector preprocessing pass for simplifying power... |
commit | commitdiff | tree |
| 2014-06-15 |
lianah | bv static learning and rewrites for power of 2 terms |
commit | commitdiff | tree |
| next |
projects / cvc5.git / shortlog