2014-06-06 |
Kshitij Bansal | Merge pull request #28 from kbansal/sets |
tree | commitdiff |
2014-06-06 |
Tim King | Patch for the subtype theoryof mode to make the equalit... |
tree | commitdiff |
2014-06-06 |
Kshitij Bansal | sets: fix equality propagation |
tree | commitdiff |
2014-05-30 |
Morgan Deters | Update submission make rules. |
tree | commitdiff |
2014-05-27 |
Kshitij Bansal | Merge pull request #27 from kbansal/statistics |
tree | commitdiff |
2014-05-27 |
Kshitij Bansal | update stats_black |
tree | commitdiff |
2014-05-25 |
Andrew Reynolds | Improve quantifier instantiation: always use original... |
tree | commitdiff |
2014-05-23 |
Andrew Reynolds | Fix bug in E-matching Real/Int terms. |
tree | commitdiff |
2014-05-17 |
Kshitij Bansal | Merge pull request #26 from kbansal/sets |
tree | commitdiff |
2014-05-16 |
Kshitij Bansal | sets: fix a bug in model building, another in handling... |
tree | commitdiff |
2014-05-13 |
ajreynol | Add lazy strategy for bounded integers to avoid non... |
tree | commitdiff |
2014-05-12 |
Tim King | Merge remote-tracking branch 'timothy-king/master' |
tree | commitdiff |
2014-05-12 |
Tianyi Liang | Add a benchmark that detects a bug in parsing. Thank... |
tree | commitdiff |
2014-05-12 |
Tianyi Liang | Merge branch 'master' of github.com:tiliang/CVC4 |
tree | commitdiff |
2014-05-10 |
Andrew Reynolds | Bug fixes to CBQI. Add first draft of CASC j7 TFF... |
tree | commitdiff |
2014-05-01 |
Kshitij Bansal | Merge remote-tracking branch 'upstream/master' into... |
tree | commitdiff |
2014-04-30 |
Tim King | T-entailment work, and QCF (quant conflict find) work... |
tree | commitdiff |
2014-04-29 |
Kshitij Bansal | fix was compiler warning in antlr_input, crashing test... |
tree | commitdiff |
2014-04-29 |
Tianyi Liang | add leading zeros support for str.to.int |
tree | commitdiff |
2014-04-28 |
Tianyi Liang | Merge branch 'master' of github.com:tiliang/CVC4 |
tree | commitdiff |
2014-04-28 |
Kshitij Bansal | Merge pull request #25 from kbansal/sets |
tree | commitdiff |
2014-04-28 |
Kshitij Bansal | Merge remote-tracking branch 'upstream/master' into... |
tree | commitdiff |
2014-04-28 |
Kshitij Bansal | travis, please! |
tree | commitdiff |
2014-04-27 |
Kshitij Bansal | attempt to improve CVC4's "parse error" message |
tree | commitdiff |
2014-04-14 |
Andrew Reynolds | Fix bug in mbqi=fmc handling theory symbols. Fix mbqi... |
tree | commitdiff |
2014-04-10 |
Andrew Reynolds | Expand definitions in theory datatypes, now has the... |
tree | commitdiff |
2014-04-10 |
Tianyi Liang | Merge branch 'master' of github.com:tiliang/CVC4 |
tree | commitdiff |
2014-04-10 |
Andrew Reynolds | Add support for cardinality constraints logic UFC.... |
tree | commitdiff |
2014-04-09 |
Kshitij Bansal | Merge pull request #24 from kbansal/sets-model |
tree | commitdiff |
2014-04-09 |
Kshitij Bansal | add tests |
tree | commitdiff |
2014-04-09 |
Kshitij Bansal | inputs to trigger bug |
tree | commitdiff |
2014-04-06 |
Kshitij Bansal | Merge branch 'master' of https://github.com/CVC4/CVC4 |
tree | commitdiff |
2014-04-06 |
Tim King | Reduced example from pcc's bug report. |
tree | commitdiff |
2014-04-06 |
Tim King | Merge pull request #21 from pcc/ite-fix |
tree | commitdiff |
2014-04-03 |
Morgan Deters | Some incremental bugs for Boolean terms, fixed. Thanks... |
tree | commitdiff |
2014-04-01 |
Tim King | Merge branch '1.3.x' |
tree | commitdiff |
2014-04-01 |
Tim King | Fixing bug 552. There was a bug when integers are... |
tree | commitdiff |
2014-03-31 |
Tianyi Liang | add str to u16/u32, and u16/u32 to str |
tree | commitdiff |
2014-03-31 |
Tianyi Liang | add str to u16/u32, and u16/u32 to str |
tree | commitdiff |
2014-03-30 |
Kshitij Bansal | Merge pull request #23 from kbansal/sets-model |
tree | commitdiff |
2014-03-28 |
Kshitij Bansal | add construles, type_rules rm redundant, kinds cleanup |
tree | commitdiff |
2014-03-27 |
Tianyi Liang | adds new feature: re.loop |
tree | commitdiff |
2014-03-27 |
Tianyi Liang | adds new feature: re.loop |
tree | commitdiff |
2014-03-26 |
Morgan Deters | Merge branch '1.3.x' |
tree | commitdiff |
2014-03-21 |
Kshitij Bansal | Merge pull request #22 from kbansal/sets-model |
tree | commitdiff |
2014-03-20 |
Kshitij Bansal | cleanup |
tree | commitdiff |
2014-03-20 |
Kshitij Bansal | fix for sets/mar2014/..317minimized.. |
tree | commitdiff |
2014-03-20 |
Kshitij Bansal | Fix for registration issues of term appearing in a... |
tree | commitdiff |
2014-03-20 |
Kshitij Bansal | fix a sharing issues with sets |
tree | commitdiff |
2014-03-20 |
Kshitij Bansal | enable check-models for sets/ regressions |
tree | commitdiff |
2014-03-20 |
Kshitij Bansal | testlemma regressions |
tree | commitdiff |
2014-03-19 |
Morgan Deters | Minor usability fixes related to SMT-LIB compliance. |
tree | commitdiff |
2014-03-17 |
Peter Collingbourne | Fix for ite of >=64bit wide bitvectors with unconstrain... |
tree | commitdiff |
2014-03-12 |
Andrew Reynolds | Work on array pf signature, add working example. Add... |
tree | commitdiff |
2014-03-12 |
Morgan Deters | Fix LogicInfo unit test. |
tree | commitdiff |
2014-03-12 |
Morgan Deters | Some standardization of regression Makefiles that got... |
tree | commitdiff |
2014-03-11 |
Morgan Deters | Merge branch '1.3.x' |
tree | commitdiff |
2014-03-11 |
Morgan Deters | Minor cleanup. |
tree | commitdiff |
2014-03-11 |
Morgan Deters | Fix for (get-assignment), resolves bug 553. |
tree | commitdiff |
2014-03-11 |
Morgan Deters | Merge branch '1.3.x' |
tree | commitdiff |
2014-03-11 |
Andrew Reynolds | Initial refactor of rewrite rules, make theory_rewriter... |
tree | commitdiff |
2014-03-10 |
Tianyi Liang | Merge branch 'master' of github.com:tiliang/CVC4 |
tree | commitdiff |
2014-03-08 |
Tim King | Merge pull request #18 from timothy-king/master |
tree | commitdiff |
2014-03-08 |
Tim King | Merge remote-tracking branch 'CVC4root/master' |
tree | commitdiff |
2014-03-08 |
Morgan Deters | Remove --ite-remove-quant; support pulling ground ITEs... |
tree | commitdiff |
2014-03-08 |
Morgan Deters | Fix run_regression on Mac. |
tree | commitdiff |
2014-03-07 |
Tim King | Merging a squash of the branch timothy-king/CVC4/glpkne... |
tree | commitdiff |
2014-03-07 |
Tianyi Liang | Merge branch 'master' of github.com:tiliang/CVC4 |
tree | commitdiff |
2014-03-05 |
Kshitij Bansal | Merge pull request #14 from kbansal/sets-parserchanges |
tree | commitdiff |
2014-03-05 |
Kshitij Bansal | Array smtlib compliance tests |
tree | commitdiff |
2014-03-05 |
Kshitij Bansal | Revert "fix naming conflicts in benchmarks" |
tree | commitdiff |
2014-03-05 |
Kshitij Bansal | Don't tokenize SET_THEORY operators in smt2 parser |
tree | commitdiff |
2014-03-05 |
Tim King | Improving support for POW in arithmetic. Resolves bug... |
tree | commitdiff |
2014-03-04 |
Morgan Deters | Don't theory-preprocess under quantifiers; but DO theor... |
tree | commitdiff |
2014-03-01 |
Tianyi Liang | a new regular expression engine for solving both positi... |
tree | commitdiff |
2014-02-28 |
Tianyi Liang | a new regular expression engine for solving both positi... |
tree | commitdiff |
2014-02-26 |
Tianyi Liang | sorry for the missing file |
tree | commitdiff |
2014-02-26 |
Tianyi Liang | bug fix (caused by merge), move cardinality option... |
tree | commitdiff |
2014-02-21 |
Morgan Deters | Merge branch '1.3.x' |
tree | commitdiff |
2014-02-21 |
Tianyi Liang | Merge branch 'master' of github.com:tiliang/CVC4 |
tree | commitdiff |
2014-02-21 |
Morgan Deters | Merge branch '1.3.x' |
tree | commitdiff |
2014-02-21 |
Morgan Deters | Fix makefile dependence for system tests. |
tree | commitdiff |
2014-02-21 |
Kshitij Bansal | disable test cvc3_main, attempt to fix dist_check |
tree | commitdiff |
2014-02-21 |
Kshitij Bansal | Merge pull request #10 from kbansal/sets-for-merge |
tree | commitdiff |
2014-02-21 |
Kshitij Bansal | add new theory (sets) |
tree | commitdiff |
2014-02-21 |
Tianyi Liang | fix makefile |
tree | commitdiff |
2014-02-21 |
Tianyi Liang | add more tests, and define int.to.str(NEGATIVE)="" |
tree | commitdiff |
2014-02-20 |
Tianyi Liang | add two cases to the regression test |
tree | commitdiff |
2014-02-20 |
Tianyi Liang | Merge branch 'master' of github.com:tiliang/CVC4 |
tree | commitdiff |
2014-02-19 |
Tim King | Merge branch 'master' of github.com:CVC4/CVC4 |
tree | commitdiff |
2014-02-19 |
Tim King | Merge branch '1.3.x' |
tree | commitdiff |
2014-02-19 |
Tim King | Stopping non-linear terms from entering the dio solver... |
tree | commitdiff |
2014-02-11 |
Tianyi Liang | Merge branch 'master' of github.com:tiliang/CVC4 |
tree | commitdiff |
2014-02-11 |
Morgan Deters | Fix build (some nonexistent files listed in Makefile) |
tree | commitdiff |
2014-02-09 |
Andrew Reynolds | More complete guess instantiation strategy, cvc4 now... |
tree | commitdiff |
2014-01-28 |
Tianyi Liang | merge internal and user of charat & substr into one |
tree | commitdiff |
2014-01-27 |
Morgan Deters | Merge branch '1.3.x' |
tree | commitdiff |
2014-01-26 |
Andrew Reynolds | More optimization of QCF. Fixed InstMatchTrie for... |
tree | commitdiff |
2014-01-22 |
Tianyi Liang | Merge branch 'master' of github.com:tiliang/CVC4 |
tree | commitdiff |
2014-01-22 |
Morgan Deters | Delay QuantifiersEngine and UF strong solver initializa... |
tree | commitdiff |
next |