Age | Commit message (Expand) | Author |
2014-06-18 | forgot to add the test with fix | Kshitij Bansal |
2014-06-17 | disable unate lemmas when using incremental mode | Kshitij Bansal |
2014-06-13 | fixed BVMinisat bug due to not clearing seen properly | lianah |
2014-06-11 | Merge pull request #31 from kbansal/sets | Kshitij Bansal |
2014-06-11 | fixed unit tests failures | lianah |
2014-06-11 | disable another test, after recent merges taking too long | Kshitij Bansal |
2014-06-11 | disable failing test | Kshitij Bansal |
2014-06-11 | sets: comment out an assertion too strong | Kshitij Bansal |
2014-06-11 | user/sat context issue in sets | Kshitij Bansal |
2014-06-11 | fix in sets rewriter | Kshitij Bansal |
2014-06-10 | Merging CAV14 paper bit-vector work. | lianah |
2014-06-08 | test for prvs commit (tokenize emptyset) | Kshitij Bansal |
2014-06-06 | Merge pull request #28 from kbansal/sets | Kshitij Bansal |
2014-06-06 | Patch for the subtype theoryof mode to make the equalities over disequal type... | Tim King |
2014-06-06 | sets: fix equality propagation | Kshitij Bansal |
2014-05-30 | Update submission make rules. | Morgan Deters |
2014-05-27 | update stats_black | Kshitij Bansal |
2014-05-25 | Improve quantifier instantiation: always use original terms when matching (wa... | Andrew Reynolds |
2014-05-23 | Fix bug in E-matching Real/Int terms. | Andrew Reynolds |
2014-05-16 | sets: fix a bug in model building, another in handling set of sets | Kshitij Bansal |
2014-05-13 | Add lazy strategy for bounded integers to avoid non-terminating unsat cases. ... | ajreynol |
2014-05-12 | Add a benchmark that detects a bug in parsing. Thank Vijay for his bug report. | Tianyi Liang |
2014-05-10 | Bug fixes to CBQI. Add first draft of CASC j7 TFF script. Add regression, m... | Andrew Reynolds |
2014-04-30 | T-entailment work, and QCF (quant conflict find) work that uses it. | Tim King |
2014-04-29 | fix was compiler warning in antlr_input, crashing test case with the old fix | Kshitij Bansal |
2014-04-29 | add leading zeros support for str.to.int | Tianyi Liang |
2014-04-28 | Merge remote-tracking branch 'upstream/master' into sets | Kshitij Bansal |
2014-04-28 | travis, please! | Kshitij Bansal |
2014-04-27 | attempt to improve CVC4's "parse error" message | Kshitij Bansal |
2014-04-14 | Fix bug in mbqi=fmc handling theory symbols. Fix mbqi=fmc models (Bug 557). ... | Andrew Reynolds |
2014-04-10 | Expand definitions in theory datatypes, now has the expected semantics for in... | Andrew Reynolds |
2014-04-10 | Add support for cardinality constraints logic UFC. Add regressions in fmf/. ... | Andrew Reynolds |
2014-04-09 | add tests | Kshitij Bansal |
2014-04-09 | inputs to trigger bug | Kshitij Bansal |
2014-04-06 | Reduced example from pcc's bug report. | Tim King |
2014-04-06 | Merge pull request #21 from pcc/ite-fix | Tim King |
2014-04-03 | Some incremental bugs for Boolean terms, fixed. Thanks to Pantazis Deligiann... | Morgan Deters |
2014-04-01 | Merge branch '1.3.x' | Tim King |
2014-04-01 | Fixing bug 552. There was a bug when integers are made using a string with a...1.3.x | Tim King |
2014-03-31 | add str to u16/u32, and u16/u32 to str | Tianyi Liang |
2014-03-28 | add construles, type_rules rm redundant, kinds cleanup | Kshitij Bansal |
2014-03-27 | adds new feature: re.loop | Tianyi Liang |
2014-03-20 | Merge pull request #22 from kbansal/sets-model | Kshitij Bansal |
2014-03-20 | cleanup | Kshitij Bansal |
2014-03-20 | fix for sets/mar2014/..317minimized.. | Kshitij Bansal |
2014-03-20 | Fix for registration issues of term appearing in a shared lemma | Kshitij Bansal |
2014-03-20 | fix a sharing issues with sets | Kshitij Bansal |
2014-03-20 | enable check-models for sets/ regressions | Kshitij Bansal |
2014-03-20 | testlemma regressions | Kshitij Bansal |
2014-03-19 | Minor usability fixes related to SMT-LIB compliance. | Morgan Deters |