| 2014-06-29 |
Kshitij Bansal | sets: "insert" operator |
commit | commitdiff | tree |
| 2014-06-25 |
Kshitij Bansal | sets api example |
commit | commitdiff | tree |
| 2014-06-25 |
Kshitij Bansal | fix sets eager lemmas |
commit | commitdiff | tree |
| 2014-06-25 |
Kshitij Bansal | cosmetic |
commit | commitdiff | tree |
| 2014-06-25 |
Kshitij Bansal | mv default care graph function inside the theory implem... |
commit | commitdiff | tree |
| 2014-06-25 |
Kshitij Bansal | make emptyset construction with no arguments private |
commit | commitdiff | tree |
| 2014-06-25 |
Kshitij Bansal | rename subseteq to subset in smtlib, all kinds and... |
commit | commitdiff | tree |
| 2014-06-22 |
Kshitij Bansal | Renaming of SMT2 operator names, kinds for set theory |
commit | commitdiff | tree |
| 2014-06-21 |
Morgan Deters | Sets kinds documentation |
commit | commitdiff | tree |
| 2014-06-21 |
lianah | fixed build failure |
commit | commitdiff | tree |
| 2014-06-21 |
Morgan Deters | Implement RecordProperties::mkGroundTerm(). Resolves... |
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 |
| next |
projects / cvc5.git / shortlog