| 2014-04-17 |
Kshitij Bansal | simplify mkSkolem naming system: don't use $$ |
commit | commitdiff | tree |
| 2014-04-17 |
Kshitij Bansal | use internal skolem numbering |
commit | commitdiff | tree |
| 2014-04-10 |
Kshitij Bansal | refactor .travis.yml |
commit | commitdiff | tree |
| 2014-04-09 |
Kshitij Bansal | Merge pull request #24 from kbansal/sets-model |
commit | commitdiff | tree |
| 2014-04-09 |
Morgan Deters | Minor change to better support parameterized partial... |
commit | commitdiff | tree |
| 2014-04-09 |
Andrew Reynolds | Revert E-matching datatypes fix. |
commit | commitdiff | tree |
| 2014-04-09 |
Andrew Reynolds | Handle fmf.card as input from user, add support in... |
commit | commitdiff | tree |
| 2014-04-09 |
Kshitij Bansal | fix get-info error-behavior |
commit | commitdiff | tree |
| 2014-04-09 |
Kshitij Bansal | add tests |
commit | commitdiff | tree |
| 2014-04-09 |
Kshitij Bansal | fix |
commit | commitdiff | tree |
| 2014-04-09 |
Kshitij Bansal | prep for fix |
commit | commitdiff | tree |
| 2014-04-09 |
Kshitij Bansal | try foreach on CD datastructure |
commit | commitdiff | tree |
| 2014-04-09 |
Kshitij Bansal | inputs to trigger bug |
commit | commitdiff | tree |
| 2014-04-09 |
Kshitij Bansal | more |
commit | commitdiff | tree |
| 2014-04-09 |
Kshitij Bansal | some debugging changes |
commit | commitdiff | tree |
| 2014-04-06 |
Kshitij Bansal | Merge branch 'master' of https://github.com/CVC4/CVC4 |
commit | commitdiff | tree |
| 2014-04-06 |
Tim King | Reduced example from pcc's bug report. |
commit | commitdiff | tree |
| 2014-04-06 |
Tim King | Merge pull request #21 from pcc/ite-fix |
commit | commitdiff | tree |
| 2014-04-06 |
Kshitij Bansal | fix for hiding prompt/header in shell, error-behavior... |
commit | commitdiff | tree |
| 2014-04-04 |
Morgan Deters | For security, add --no-filesystem-access option, which... |
commit | commitdiff | tree |
| 2014-04-04 |
Morgan Deters | Allow turning off the interactive prompt while in inter... |
commit | commitdiff | tree |
| 2014-04-03 |
Morgan Deters | Properly quote symbols in SMT-LIB printer. |
commit | commitdiff | tree |
| 2014-04-03 |
Morgan Deters | Some incremental bugs for Boolean terms, fixed. Thanks... |
commit | commitdiff | tree |
| 2014-04-01 |
Tim King | Merge branch '1.3.x' |
commit | commitdiff | tree |
| 2014-04-01 |
Tim King | Fixing bug 552. There was a bug when integers are... |
commit | commitdiff | tree |
| 2014-04-01 |
Tianyi Liang | Merge branch 'master' of github.com:tiliang/CVC4 |
commit | commitdiff | tree |
| 2014-04-01 |
Tianyi Liang | windows build fix for UINT32_MAX |
commit | commitdiff | tree |
| 2014-04-01 |
Tianyi Liang | windows build fix for UINT32_MAX |
commit | commitdiff | tree |
| 2014-03-31 |
Morgan Deters | Travis-CI test for new-theory script, also related... |
commit | commitdiff | tree |
| 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-17 |
Peter Collingbourne | Fix for ite of >=64bit wide bitvectors with unconstrain... |
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 |
| next |
projects / cvc5.git / shortlog