2014-11-07 |
Morgan Deters | Update competition build rules. |
commit | commitdiff | tree |
2014-11-07 |
Morgan Deters | Merge branch '1.4.x' |
commit | commitdiff | tree |
2014-11-07 |
Morgan Deters | Fix missing case in model postprocessor (resolves bug... |
commit | commitdiff | tree |
2014-11-07 |
ajreynol | Properly distinguish which EQC to assign values in... |
commit | commitdiff | tree |
2014-11-06 |
ajreynol | Minor fix for getInstCons |
commit | commitdiff | tree |
2014-11-06 |
ajreynol | Reenable regression. Add (for now, disabled) changes... |
commit | commitdiff | tree |
2014-11-05 |
ajreynol | Fix model bug in --mbqi=fmc. Minor cleanup in datatypes. |
commit | commitdiff | tree |
2014-11-05 |
Morgan Deters | Merge branch '1.4.x' |
commit | commitdiff | tree |
2014-11-05 |
Morgan Deters | Fix get-bug-attachments script. |
commit | commitdiff | tree |
2014-11-05 |
ajreynol | More work on datatypes theory combination: fix bug... |
commit | commitdiff | tree |
2014-11-02 |
Clark Barrett | Added cache to getModelValue |
commit | commitdiff | tree |
2014-11-01 |
ajreynol | Fix cegqi for synthesis without syntax. |
commit | commitdiff | tree |
2014-11-01 |
ajreynol | Simplify which lemmas to communicate in dt. |
commit | commitdiff | tree |
2014-11-01 |
ajreynol | Fix bug 592: introduce skolem for dt instantiate lemma... |
commit | commitdiff | tree |
2014-11-01 |
ajreynol | Fix some mistakes in datatypes theory combination,... |
commit | commitdiff | tree |
2014-10-31 |
ajreynol | Do not allow duplication of function definitions. ... |
commit | commitdiff | tree |
2014-10-30 |
Clark Barrett | Be more lazy about generating array lemmas |
commit | commitdiff | tree |
2014-10-30 |
Clark Barrett | Added new, much faster, care graph computation for... |
commit | commitdiff | tree |
2014-10-28 |
ajreynol | Preprocessing step for finding finite runs of well... |
commit | commitdiff | tree |
2014-10-28 |
ajreynol | Initial infrastructure for function definition quantifi... |
commit | commitdiff | tree |
2014-10-28 |
ajreynol | Improve stats in conjecture generator, minor cleanup. |
commit | commitdiff | tree |
2014-10-25 |
ajreynol | Minor fix for --user-pat=resort |
commit | commitdiff | tree |
2014-10-24 |
Morgan Deters | Fix typo. |
commit | commitdiff | tree |
2014-10-24 |
Morgan Deters | Minor parser performance fix. |
commit | commitdiff | tree |
2014-10-24 |
ajreynol | Add --user-pat=resort. Minor cleanup of options. |
commit | commitdiff | tree |
2014-10-23 |
Morgan Deters | Parsing and infrastructure support for SMT-LIBv2.5... |
commit | commitdiff | tree |
2014-10-23 |
lianah | Fixed inefficiency in bit-vector rewrite rule. |
commit | commitdiff | tree |
2014-10-22 |
Morgan Deters | Fix bug590 regression distcheck failure from last night. |
commit | commitdiff | tree |
2014-10-22 |
Tianyi Liang | Fixed bug 589 |
commit | commitdiff | tree |
2014-10-21 |
Clark Barrett | Fixed bug 590, added regression test |
commit | commitdiff | tree |
2014-10-20 |
ajreynol | Minor cleanup in datatypes. |
commit | commitdiff | tree |
2014-10-20 |
Kshitij Bansal | Merge pull request #59 from kbansal/sets3 |
commit | commitdiff | tree |
2014-10-20 |
Kshitij Bansal | Finish sets type enumerator implementation. |
commit | commitdiff | tree |
2014-10-20 |
Kshitij Bansal | fix statistic in decision engine |
commit | commitdiff | tree |
2014-10-18 |
ajreynol | Fix assertion. |
commit | commitdiff | tree |
2014-10-18 |
ajreynol | Add dt lemma: zero size implies nullary constructor. |
commit | commitdiff | tree |
2014-10-18 |
ajreynol | Fix for bounded integers when incremental, fixes bug... |
commit | commitdiff | tree |
2014-10-17 |
Morgan Deters | Merge branch '1.4.x' |
commit | commitdiff | tree |
2014-10-17 |
Morgan Deters | Remove a bad (unstable, timing-dependent) test. |
commit | commitdiff | tree |
2014-10-17 |
Tianyi Liang | Minor change for performance according to Andy's sugges... |
commit | commitdiff | tree |
2014-10-16 |
Morgan Deters | Fix clang warnings |
commit | commitdiff | tree |
2014-10-16 |
ajreynol | Make --user-pat=trust default. Fix a few warnings... |
commit | commitdiff | tree |
2014-10-16 |
Morgan Deters | Merge branch '1.4.x' |
commit | commitdiff | tree |
2014-10-16 |
Morgan Deters | Add Thomas Hunger to THANKS file (for having submitted... |
commit | commitdiff | tree |
2014-10-16 |
ajreynol | Use n-ary splits instead of binary splits in theory... |
commit | commitdiff | tree |
2014-10-16 |
ajreynol | Add dt.size to datatypes theory. Add option for fairne... |
commit | commitdiff | tree |
2014-10-14 |
lianah | fix for memory leak in BVQuickCheck |
commit | commitdiff | tree |
2014-10-14 |
Morgan Deters | Merge pull request #58 from mdeters/smt-attributes |
commit | commitdiff | tree |
2014-10-14 |
Morgan Deters | Context-dependent expr attributes are now attached... |
commit | commitdiff | tree |
2014-10-14 |
Kshitij Bansal | amend prvs commit |
commit | commitdiff | tree |
2014-10-14 |
Kshitij Bansal | trace decision-node |
commit | commitdiff | tree |
2014-10-13 |
ajreynol | CEGQI uses model. Enforce fairness in CEGQI natively. |
commit | commitdiff | tree |
2014-10-13 |
ajreynol | Model building into quantifiers engine. Simplify axiom... |
commit | commitdiff | tree |
2014-10-13 |
ajreynol | Refactor model builder from model engine to quant engin... |
commit | commitdiff | tree |
2014-10-11 |
Morgan Deters | Merge branch '1.4.x' |
commit | commitdiff | tree |
2014-10-11 |
Morgan Deters | Some defensive programming at destruction time, and... |
commit | commitdiff | tree |
2014-10-10 |
Kshitij Bansal | Merge remote-tracking branch 'origin/1.4.x' |
commit | commitdiff | tree |
2014-10-10 |
ajreynol | Initial draft of CEGQI. |
commit | commitdiff | tree |
2014-10-10 |
Kshitij Bansal | Fix issue with shared but non-preregistered term setup... |
commit | commitdiff | tree |
2014-10-10 |
Morgan Deters | Cleanup |
commit | commitdiff | tree |
2014-10-10 |
ajreynol | Add owner map to better manage QuantifiersModules.... |
commit | commitdiff | tree |
2014-10-09 |
ajreynol | Refactor quantifier prenex option. By default, do... |
commit | commitdiff | tree |
2014-10-09 |
Morgan Deters | Merge branch '1.4.x' |
commit | commitdiff | tree |
2014-10-09 |
Morgan Deters | Add unsat cores support to CVC native language. |
commit | commitdiff | tree |
2014-10-08 |
Morgan Deters | Some minor cleanup. |
commit | commitdiff | tree |
2014-10-08 |
Morgan Deters | Remove private header from public driver. |
commit | commitdiff | tree |
2014-10-08 |
Kshitij Bansal | Fix portoflio issues (debugging code was being called... |
commit | commitdiff | tree |
2014-10-07 |
Kshitij Bansal | Merge remote-tracking branch 'upstream/master' into... |
commit | commitdiff | tree |
2014-10-07 |
Kshitij Bansal | update default Sets options |
commit | commitdiff | tree |
2014-10-07 |
Kshitij Bansal | whitespace fixes |
commit | commitdiff | tree |
2014-10-07 |
ajreynol | Cache for getInstance, thanks to Johannes Kanig for... |
commit | commitdiff | tree |
2014-10-07 |
Kshitij Bansal | add couple of stats |
commit | commitdiff | tree |
2014-10-07 |
Kshitij Bansal | sets stronger equality propagator |
commit | commitdiff | tree |
2014-10-07 |
ajreynol | Refactor quantifiers attributes. |
commit | commitdiff | tree |
2014-10-07 |
Morgan Deters | define-const is an extended command, not permitted... |
commit | commitdiff | tree |
2014-10-07 |
Morgan Deters | Fix unit test that was broken with last commit. |
commit | commitdiff | tree |
2014-10-07 |
Morgan Deters | Fix a resource limiting issue where interruption didn... |
commit | commitdiff | tree |
2014-10-07 |
Morgan Deters | Merge branch '1.4.x' |
commit | commitdiff | tree |
2014-10-07 |
Morgan Deters | Fix a bug in tuple-record handling. Thanks to Saumya... |
commit | commitdiff | tree |
2014-10-07 |
Morgan Deters | Some minor cleanup. |
commit | commitdiff | tree |
2014-10-06 |
Morgan Deters | Merge branch '1.4.x' |
commit | commitdiff | tree |
2014-10-06 |
Morgan Deters | Copyright-updating script now retains non-NYU/UIowa... |
commit | commitdiff | tree |
2014-10-06 |
Kshitij Bansal | fix for bug586 |
commit | commitdiff | tree |
2014-10-06 |
Morgan Deters | Print array constants in SMT-LIB models with new syntax. |
commit | commitdiff | tree |
2014-10-06 |
Morgan Deters | Clear out decls/defs with RESET command. |
commit | commitdiff | tree |
2014-10-06 |
Morgan Deters | Extended parsing testcase, with constant arrays and... |
commit | commitdiff | tree |
2014-10-06 |
Morgan Deters | Merge branch '1.4.x' |
commit | commitdiff | tree |
2014-10-06 |
Morgan Deters | Fix native language parsing of chained-store expression... |
commit | commitdiff | tree |
2014-10-06 |
Morgan Deters | Support for RESET command in CVC native language (and... |
commit | commitdiff | tree |
2014-10-04 |
Morgan Deters | Enable some old bug testcases that (maybe?) never got... |
commit | commitdiff | tree |
2014-10-03 |
Morgan Deters | Support exporting array-store-all expressions to other... |
commit | commitdiff | tree |
2014-10-03 |
Morgan Deters | Merge branch '1.4.x' |
commit | commitdiff | tree |
2014-10-03 |
Morgan Deters | Fix output of integer-valued real constants in SMT... |
commit | commitdiff | tree |
2014-10-03 |
Morgan Deters | Add some (so far trivial) regressions for constant... |
commit | commitdiff | tree |
2014-10-03 |
Morgan Deters | Improve error in CVC parser in presence of unrecognized... |
commit | commitdiff | tree |
2014-10-03 |
Morgan Deters | More array constants and parsing: better error messages... |
commit | commitdiff | tree |
2014-10-03 |
Morgan Deters | Minor fixes to CVC printer. |
commit | commitdiff | tree |
2014-10-03 |
Morgan Deters | SMT-LIB parser support for array constants (Z3 syntax). |
commit | commitdiff | tree |
2014-10-03 |
Morgan Deters | Merge branch '1.4.x' |
commit | commitdiff | tree |
2014-10-03 |
Morgan Deters | Note array const support in NEWS |
commit | commitdiff | tree |
next |