| 2014-03-31 |
Tianyi Liang | Merge branch 'master' of github.com:tiliang/CVC4 |
commit | commitdiff | tree |
| 2014-03-31 |
Tianyi Liang | add str to u16/u32, and u16/u32 to str |
commit | commitdiff | tree |
| 2014-03-31 |
Tianyi Liang | minor typo/bug fix |
commit | commitdiff | tree |
| 2014-03-31 |
Tianyi Liang | add str to u16/u32, and u16/u32 to str |
commit | commitdiff | tree |
| 2014-03-30 |
Kshitij Bansal | Merge pull request #23 from kbansal/sets-model |
commit | commitdiff | tree |
| 2014-03-28 |
Kshitij Bansal | rm old unused code |
commit | commitdiff | tree |
| 2014-03-28 |
Kshitij Bansal | get-antlr error on missing config.guess |
commit | commitdiff | tree |
| 2014-03-28 |
Kshitij Bansal | add construles, type_rules rm redundant, kinds cleanup |
commit | commitdiff | tree |
| 2014-03-28 |
Tianyi Liang | minor printer fix; intersection fix |
commit | commitdiff | tree |
| 2014-03-27 |
Tianyi Liang | Merge branch 'master' of github.com:tiliang/CVC4 |
commit | commitdiff | tree |
| 2014-03-27 |
Tianyi Liang | adds new feature: re.loop |
commit | commitdiff | tree |
| 2014-03-27 |
Tianyi Liang | adds intersection |
commit | commitdiff | tree |
| 2014-03-27 |
Tianyi Liang | deriv symbolic regexp |
commit | commitdiff | tree |
| 2014-03-27 |
Tianyi Liang | adds intersection |
commit | commitdiff | tree |
| 2014-03-27 |
Tianyi Liang | adds new feature: re.loop |
commit | commitdiff | tree |
| 2014-03-26 |
Morgan Deters | Merge branch '1.3.x' |
commit | commitdiff | tree |
| 2014-03-26 |
Morgan Deters | Win32 build script fixes (to allow portfolio builds). |
commit | commitdiff | tree |
| 2014-03-26 |
Morgan Deters | Fix an off-the-end string pointer bug (showed up only... |
commit | commitdiff | tree |
| 2014-03-26 |
Tianyi Liang | Merge branch 'master' of github.com:tiliang/CVC4 |
commit | commitdiff | tree |
| 2014-03-26 |
Tianyi Liang | deriv symbolic regexp |
commit | commitdiff | tree |
| 2014-03-26 |
Tianyi Liang | adds intersection |
commit | commitdiff | tree |
| 2014-03-26 |
Tianyi Liang | deriv symbolic regexp |
commit | commitdiff | tree |
| 2014-03-26 |
Tim King | Merging in a fix from 1.3.x. |
commit | commitdiff | tree |
| 2014-03-26 |
Tim King | Fixes an idempotency issue for non-linear multiplicatio... |
commit | commitdiff | tree |
| 2014-03-25 |
Tianyi Liang | adds intersection |
commit | commitdiff | tree |
| 2014-03-21 |
Kshitij Bansal | Merge pull request #22 from kbansal/sets-model |
commit | commitdiff | tree |
| 2014-03-20 |
Kshitij Bansal | cleanup |
commit | commitdiff | tree |
| 2014-03-20 |
Kshitij Bansal | fix for sets/mar2014/..317minimized.. |
commit | commitdiff | tree |
| 2014-03-20 |
Kshitij Bansal | Fix for registration issues of term appearing in a... |
commit | commitdiff | tree |
| 2014-03-20 |
Kshitij Bansal | rewriter fix, weaken an assertion |
commit | commitdiff | tree |
| 2014-03-20 |
Kshitij Bansal | constant normal form and rewrite |
commit | commitdiff | tree |
| 2014-03-20 |
Kshitij Bansal | fix a sharing issues with sets |
commit | commitdiff | tree |
| 2014-03-20 |
Kshitij Bansal | push subtyping for sets to the element type |
commit | commitdiff | tree |
| 2014-03-20 |
Kshitij Bansal | enable check-models for sets/ regressions |
commit | commitdiff | tree |
| 2014-03-20 |
Kshitij Bansal | work on set model |
commit | commitdiff | tree |
| 2014-03-20 |
Kshitij Bansal | testlemma regressions |
commit | commitdiff | tree |
| 2014-03-20 |
Andrew Reynolds | Minor fix for CBQI, ignore inst constant nodes. |
commit | commitdiff | tree |
| 2014-03-19 |
Morgan Deters | Fix documentation for Theory::preRegisterTerm(). |
commit | commitdiff | tree |
| 2014-03-19 |
Martin Brain | Refactor the theory specific parts of definition expans... |
commit | commitdiff | tree |
| 2014-03-19 |
Morgan Deters | Set dumping options from (set-option..) and API more... |
commit | commitdiff | tree |
| 2014-03-19 |
Morgan Deters | Fix for bug 555; SMT-LIBv2 symbols now output with... |
commit | commitdiff | tree |
| 2014-03-19 |
Morgan Deters | Move the translator binary from src/main to examples... |
commit | commitdiff | tree |
| 2014-03-19 |
Morgan Deters | Appease compilers from latest XCode release (v5.1). |
commit | commitdiff | tree |
| 2014-03-19 |
Morgan Deters | Minor usability fixes related to SMT-LIB compliance. |
commit | commitdiff | tree |
| 2014-03-19 |
Morgan Deters | Fix proof signatures makefile |
commit | commitdiff | tree |
| 2014-03-19 |
Morgan Deters | Minor documentation fixups. |
commit | commitdiff | tree |
| 2014-03-19 |
Andrew Reynolds | Fix a memory leak in LFSC proof checker. Largest QF_UF... |
commit | commitdiff | tree |
| 2014-03-17 |
Tianyi Liang | Merge branch 'master' of github.com:tiliang/CVC4 |
commit | commitdiff | tree |
| 2014-03-17 |
Tianyi Liang | hot fix for pre-reg term caching in strings |
commit | commitdiff | tree |
| 2014-03-17 |
Tianyi Liang | hot fix for pre-reg term caching in strings |
commit | commitdiff | tree |
| 2014-03-14 |
Morgan Deters | SMT-LIB compliance: allow bin/hex set-info, e.g. (set... |
commit | commitdiff | tree |
| 2014-03-14 |
Morgan Deters | dos2unix on the proof signatures, and fix the makefile. |
commit | commitdiff | tree |
| 2014-03-14 |
Andrew Reynolds | Add ability to provide theory-specific proof rules... |
commit | commitdiff | tree |
| 2014-03-13 |
Andrew Reynolds | Add working example of LFSC proof with quantifiers... |
commit | commitdiff | tree |
| 2014-03-12 |
Andrew Reynolds | Work on array pf signature, add working example. Add... |
commit | commitdiff | tree |
| 2014-03-12 |
Andrew Reynolds | Minor fixes post-merge of RR. |
commit | commitdiff | tree |
| 2014-03-12 |
Morgan Deters | Fix LogicInfo unit test. |
commit | commitdiff | tree |
| 2014-03-12 |
Morgan Deters | Some standardization of regression Makefiles that got... |
commit | commitdiff | tree |
| 2014-03-12 |
Morgan Deters | Draft contrib/get-abc script for bitvectors libabc... |
commit | commitdiff | tree |
| 2014-03-11 |
Morgan Deters | Merge branch '1.3.x' |
commit | commitdiff | tree |
| 2014-03-11 |
Morgan Deters | Fix for rewriterules build breakage. |
commit | commitdiff | tree |
| 2014-03-11 |
Morgan Deters | Fix for random-seed option. |
commit | commitdiff | tree |
| 2014-03-11 |
Morgan Deters | Fix for portfolio. |
commit | commitdiff | tree |
| 2014-03-11 |
Morgan Deters | Minor cleanup. |
commit | commitdiff | tree |
| 2014-03-11 |
Morgan Deters | Fix for (get-assignment), resolves bug 553. |
commit | commitdiff | tree |
| 2014-03-11 |
Morgan Deters | Merge branch '1.3.x' |
commit | commitdiff | tree |
| 2014-03-11 |
Morgan Deters | Fix some Win32 and SMT-LIB compliance bugs discovered... |
commit | commitdiff | tree |
| 2014-03-11 |
Andrew Reynolds | Initial refactor of rewrite rules, make theory_rewriter... |
commit | commitdiff | tree |
| 2014-03-10 |
Tianyi Liang | adds intro vars length cache |
commit | commitdiff | tree |
| 2014-03-10 |
Tianyi Liang | Merge branch 'master' of github.com:tiliang/CVC4 |
commit | commitdiff | tree |
| 2014-03-10 |
Tianyi Liang | minor change for strings-fmf |
commit | commitdiff | tree |
| 2014-03-10 |
Tianyi Liang | minor change for strings-fmf |
commit | commitdiff | tree |
| 2014-03-08 |
Morgan Deters | Re-fix bug 551 by adding a check to the arith ITE simpl... |
commit | commitdiff | tree |
| 2014-03-08 |
Tim King | Merge pull request #18 from timothy-king/master |
commit | commitdiff | tree |
| 2014-03-08 |
Tim King | Fixing name changes that cam in from the merge. |
commit | commitdiff | tree |
| 2014-03-08 |
Tim King | Merge remote-tracking branch 'CVC4root/master' |
commit | commitdiff | tree |
| 2014-03-08 |
Morgan Deters | Remove --ite-remove-quant; support pulling ground ITEs... |
commit | commitdiff | tree |
| 2014-03-08 |
Morgan Deters | Fix run_regression on Mac. |
commit | commitdiff | tree |
| 2014-03-08 |
Morgan Deters | Fix bug 554 (nominally). |
commit | commitdiff | tree |
| 2014-03-08 |
Tim King | Fixing a SWIG problem for RationalFromDoubleException. |
commit | commitdiff | tree |
| 2014-03-07 |
Tim King | Merging a squash of the branch timothy-king/CVC4/glpkne... |
commit | commitdiff | tree |
| 2014-03-07 |
Tianyi Liang | Merge branch 'master' of github.com:tiliang/CVC4 |
commit | commitdiff | tree |
| 2014-03-07 |
Tianyi Liang | remove unrolling depth |
commit | commitdiff | tree |
| 2014-03-07 |
Tianyi Liang | bring back D-Norm |
commit | commitdiff | tree |
| 2014-03-07 |
Morgan Deters | Fix strings-exp setting. |
commit | commitdiff | tree |
| 2014-03-07 |
Tianyi Liang | remove unrolling depth |
commit | commitdiff | tree |
| 2014-03-07 |
Tianyi Liang | bring back D-Norm |
commit | commitdiff | tree |
| 2014-03-07 |
Morgan Deters | Fix strings-exp setting. |
commit | commitdiff | tree |
| 2014-03-07 |
Thomas Hunger | Add swig renames for new Z3STR language. |
commit | commitdiff | tree |
| 2014-03-07 |
Tianyi Liang | Merge branch 'master' of github.com:tiliang/CVC4 |
commit | commitdiff | tree |
| 2014-03-07 |
Tianyi Liang | adds incremental for strings; clean-up codes |
commit | commitdiff | tree |
| 2014-03-07 |
Tianyi Liang | adds incremental for strings; clean-up codes |
commit | commitdiff | tree |
| 2014-03-05 |
Kshitij Bansal | Merge pull request #14 from kbansal/sets-parserchanges |
commit | commitdiff | tree |
| 2014-03-05 |
Kshitij Bansal | Array smtlib compliance tests |
commit | commitdiff | tree |
| 2014-03-05 |
Kshitij Bansal | Revert "fix naming conflicts in benchmarks" |
commit | commitdiff | tree |
| 2014-03-05 |
Kshitij Bansal | Don't tokenize SET_THEORY operators in smt2 parser |
commit | commitdiff | tree |
| 2014-03-05 |
Tim King | Improving support for POW in arithmetic. Resolves bug... |
commit | commitdiff | tree |
| 2014-03-04 |
Thomas Hunger | Guard java-specific swig code with SWIGJAVA. |
commit | commitdiff | tree |
| 2014-03-04 |
Morgan Deters | Don't theory-preprocess under quantifiers; but DO theor... |
commit | commitdiff | tree |
| 2014-03-04 |
Morgan Deters | More useful error message when someone tries mkExpr... |
commit | commitdiff | tree |
| next |
projects / cvc5.git / shortlog