Age | Commit message (Expand) | Author |
2014-03-31 | add str to u16/u32, and u16/u32 to str | Tianyi Liang |
2014-03-28 | rm old unused code | Kshitij Bansal |
2014-03-28 | add construles, type_rules rm redundant, kinds cleanup | Kshitij Bansal |
2014-03-28 | minor printer fix; intersection fix | Tianyi Liang |
2014-03-27 | Merge branch 'master' of github.com:tiliang/CVC4 | Tianyi Liang |
2014-03-27 | adds new feature: re.loop | Tianyi Liang |
2014-03-27 | adds intersection | Tianyi Liang |
2014-03-27 | deriv symbolic regexp | Tianyi Liang |
2014-03-27 | adds intersection | Tianyi Liang |
2014-03-27 | adds new feature: re.loop | Tianyi Liang |
2014-03-26 | Merge branch '1.3.x' | Morgan Deters |
2014-03-26 | Win32 build script fixes (to allow portfolio builds). | Morgan Deters |
2014-03-26 | Fix an off-the-end string pointer bug (showed up only in some Win32 builds). | Morgan Deters |
2014-03-26 | deriv symbolic regexp | Tianyi Liang |
2014-03-26 | adds intersection | Tianyi Liang |
2014-03-26 | Merging in a fix from 1.3.x. | Tim King |
2014-03-26 | Fixes an idempotency issue for non-linear multiplication with integer and rea... | Tim King |
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 | rewriter fix, weaken an assertion | Kshitij Bansal |
2014-03-20 | constant normal form and rewrite | Kshitij Bansal |
2014-03-20 | fix a sharing issues with sets | Kshitij Bansal |
2014-03-20 | push subtyping for sets to the element type | Kshitij Bansal |
2014-03-20 | work on set model | Kshitij Bansal |
2014-03-20 | Minor fix for CBQI, ignore inst constant nodes. | Andrew Reynolds |
2014-03-19 | Fix documentation for Theory::preRegisterTerm(). | Morgan Deters |
2014-03-19 | Refactor the theory specific parts of definition expansion into the theory so... | Martin Brain |
2014-03-19 | Set dumping options from (set-option..) and API more directly. | Morgan Deters |
2014-03-19 | Fix for bug 555; SMT-LIBv2 symbols now output with proper quoting. | Morgan Deters |
2014-03-19 | Move the translator binary from src/main to examples, no longer built by defa... | Morgan Deters |
2014-03-19 | Appease compilers from latest XCode release (v5.1). | Morgan Deters |
2014-03-19 | Minor usability fixes related to SMT-LIB compliance. | Morgan Deters |
2014-03-17 | hot fix for pre-reg term caching in strings | Tianyi Liang |
2014-03-14 | SMT-LIB compliance: allow bin/hex set-info, e.g. (set-info :key #xffff). Tha... | Morgan Deters |
2014-03-14 | Add ability to provide theory-specific proof rules to EqualityEngine, extends... | Andrew Reynolds |
2014-03-12 | Work on array pf signature, add working example. Add quantifiers proof signa... | Andrew Reynolds |
2014-03-12 | Minor fixes post-merge of RR. | Andrew Reynolds |
2014-03-11 | Merge branch '1.3.x' | Morgan Deters |
2014-03-11 | Fix for rewriterules build breakage. | Morgan Deters |
2014-03-11 | Fix for random-seed option. | Morgan Deters |
2014-03-11 | Fix for portfolio. | Morgan Deters |
2014-03-11 | Minor cleanup. | Morgan Deters |
2014-03-11 | Fix for (get-assignment), resolves bug 553. | Morgan Deters |
2014-03-11 | Merge branch '1.3.x' | Morgan Deters |
2014-03-11 | Fix some Win32 and SMT-LIB compliance bugs discovered by David Cok. | Morgan Deters |
2014-03-11 | Initial refactor of rewrite rules, make theory_rewriterules empty theory. Pu... | Andrew Reynolds |
2014-03-10 | adds intro vars length cache | Tianyi Liang |
2014-03-10 | minor change for strings-fmf | Tianyi Liang |