2014-08-18 |
ajreynol | Add support for quantifier-specific instantiation level... |
blob | commitdiff | raw |
2014-07-10 |
Kshitij Bansal | Merge remote-tracking branch 'origin/master' into segfa... |
blob | commitdiff | raw | diff to current |
2014-07-01 |
Morgan Deters | Update copyrights. |
blob | commitdiff | raw | diff to current |
2014-05-01 |
Kshitij Bansal | Merge remote-tracking branch 'upstream/master' into... |
blob | commitdiff | raw | diff to current |
2014-04-30 |
Tim King | T-entailment work, and QCF (quant conflict find) work... |
blob | commitdiff | raw | diff to current |
2014-04-10 |
Tianyi Liang | Merge branch 'master' of github.com:tiliang/CVC4 |
blob | commitdiff | raw | diff to current |
2014-04-09 |
Kshitij Bansal | Merge pull request #24 from kbansal/sets-model |
blob | commitdiff | raw | diff to current |
2014-04-09 |
Kshitij Bansal | more |
blob | commitdiff | raw | diff to current |
2014-04-06 |
Tim King | Merge pull request #21 from pcc/ite-fix |
blob | commitdiff | raw | diff to current |
2014-04-01 |
Tim King | Merge branch '1.3.x' |
blob | commitdiff | raw | diff to current |
2014-03-26 |
Morgan Deters | Merge branch '1.3.x' |
blob | commitdiff | raw | diff to current |
2014-03-21 |
Kshitij Bansal | Merge pull request #22 from kbansal/sets-model |
blob | commitdiff | raw | diff to current |
2014-03-19 |
Morgan Deters | Fix documentation for Theory::preRegisterTerm(). |
blob | commitdiff | raw | diff to current |
2014-03-19 |
Martin Brain | Refactor the theory specific parts of definition expans... |
blob | commitdiff | raw | diff to current |
2014-03-11 |
Morgan Deters | Merge branch '1.3.x' |
blob | commitdiff | raw | diff to current |
2014-03-11 |
Morgan Deters | Merge branch '1.3.x' |
blob | commitdiff | raw | diff to current |
2014-02-21 |
Morgan Deters | Merge branch '1.3.x' |
blob | commitdiff | raw | diff to current |
2014-02-21 |
Morgan Deters | Merge branch '1.3.x' |
blob | commitdiff | raw | diff to current |
2014-02-21 |
Kshitij Bansal | Merge pull request #10 from kbansal/sets-for-merge |
blob | commitdiff | raw | diff to current |
2014-02-21 |
Kshitij Bansal | add new theory (sets) |
blob | commitdiff | raw | diff to current |
2014-02-19 |
Tim King | Merge branch '1.3.x' |
blob | commitdiff | raw | diff to current |
2014-01-27 |
Morgan Deters | Merge branch '1.3.x' |
blob | commitdiff | raw | diff to current |
2014-01-22 |
Tianyi Liang | Merge branch 'master' of github.com:tiliang/CVC4 |
blob | commitdiff | raw | diff to current |
2014-01-22 |
Morgan Deters | Delay QuantifiersEngine and UF strong solver initializa... |
blob | commitdiff | raw | diff to current |
2014-01-18 |
Morgan Deters | Merge branch '1.3.x' |
blob | commitdiff | raw | diff to current |
2014-01-17 |
Kshitij Bansal | Merge branch '1.3.x' |
blob | commitdiff | raw | diff to current |
2014-01-09 |
Morgan Deters | Merge branch '1.3.x' |
blob | commitdiff | raw | diff to current |
2014-01-08 |
Morgan Deters | Merge branch '1.3.x' |
blob | commitdiff | raw | diff to current |
2014-01-03 |
Andrew Reynolds | Added support for proof production in Equality Engine... |
blob | commitdiff | raw | diff to current |
2013-11-11 |
Morgan Deters | Flatten libcvc4 build structure; remove some #include... |
blob | commitdiff | raw | diff to current |
2013-11-07 |
Morgan Deters | Flatten libcvc4 build structure; remove some #include... |
blob | commitdiff | raw | diff to current |
2013-09-30 |
Liana Hadarean | merged golden |
blob | commitdiff | raw | diff to current |
2013-09-27 |
Tianyi Liang | Merge branch 'master' of github.com:tiliang/CVC4 |
blob | commitdiff | raw | diff to current |
2013-09-24 |
Clark Barrett | Reduce compiler dependencies on substitutions.h, |
blob | commitdiff | raw | diff to current |
2013-09-23 |
Morgan Deters | Revert Clark's last commit, at his request; there are... |
blob | commitdiff | raw | diff to current |
2013-09-23 |
Clark Barrett | Cleaner version of bug-fix for 528, also moved substitu... |
blob | commitdiff | raw | diff to current |
2013-09-18 |
Morgan Deters | Fixes to theoryof-mode; no longer static in Theory... |
blob | commitdiff | raw | diff to current |
2013-09-13 |
Morgan Deters | Documentation fixes, some code typo fixes, file perms... |
blob | commitdiff | raw | diff to current |
2013-04-02 |
Morgan Deters | Regenerated copyrights: canonicalized names, no emails |
blob | commitdiff | raw | diff to current |
2013-04-02 |
Morgan Deters | update copyrights |
blob | commitdiff | raw | diff to current |
2013-03-27 |
lianah | added model generation for bv subtheories and bv-inequa... |
blob | commitdiff | raw | diff to current |
2013-03-26 |
Dejan Jovanović | adding |
blob | commitdiff | raw | diff to current |
2013-03-15 |
Morgan Deters | Merge branch '1.0.x' |
blob | commitdiff | raw | diff to current |
2013-03-14 |
Morgan Deters | Merge branch '1.0.x' |
blob | commitdiff | raw | diff to current |
2013-03-05 |
Morgan Deters | Merge branch '1.0.x' |
blob | commitdiff | raw | diff to current |
2013-03-01 |
Morgan Deters | Merge branch '1.0.x' |
blob | commitdiff | raw | diff to current |
2013-02-26 |
lianah | Merge branch '1.0.x' |
blob | commitdiff | raw | diff to current |
2013-02-17 |
Kshitij Bansal | Merge branch '1.0.x' |
blob | commitdiff | raw | diff to current |
2013-02-16 |
Morgan Deters | Merge branch '1.0.x' |
blob | commitdiff | raw | diff to current |
2013-02-15 |
Kshitij Bansal | Merge branch '1.0.x' |
blob | commitdiff | raw | diff to current |
2013-02-15 |
Kshitij Bansal | Merge branch '1.0.x' |
blob | commitdiff | raw | diff to current |
2013-02-15 |
Morgan Deters | Merge branch '1.0.x' |
blob | commitdiff | raw | diff to current |
2013-02-15 |
Tim King | Merge branch '1.0.x' |
blob | commitdiff | raw | diff to current |
2013-02-08 |
Morgan Deters | Merge branch '1.0.x' |
blob | commitdiff | raw | diff to current |
2013-02-05 |
Morgan Deters | Merge branch '1.0.x' |
blob | commitdiff | raw | diff to current |
2013-02-05 |
Kshitij Bansal | Merge remote-tracking branch 'origin/1.0.x' |
blob | commitdiff | raw | diff to current |
2013-02-05 |
Morgan Deters | Merge branch '1.0.x' |
blob | commitdiff | raw | diff to current |
2013-02-04 |
Morgan Deters | Merge branch '1.0.x' |
blob | commitdiff | raw | diff to current |
2013-02-04 |
Morgan Deters | Merge branch '1.0.x' |
blob | commitdiff | raw | diff to current |
2013-02-02 |
lianah | merged master into branch |
blob | commitdiff | raw | diff to current |
2013-02-01 |
Morgan Deters | Merge branch '1.0.x' |
blob | commitdiff | raw | diff to current |
2013-01-31 |
Morgan Deters | Merge branch '1.0.x' |
blob | commitdiff | raw | diff to current |
2013-01-28 |
Morgan Deters | Merge branch '1.0.x' |
blob | commitdiff | raw | diff to current |
2013-01-27 |
Morgan Deters | Merge branch '1.0.x' |
blob | commitdiff | raw | diff to current |
2013-01-25 |
Morgan Deters | Fix errors and reduce warnings on clang (merge from... |
blob | commitdiff | raw | diff to current |
2013-01-24 |
Morgan Deters | Add win32 support (merge from mdeters/win32, with some... |
blob | commitdiff | raw | diff to current |
2012-12-01 |
Morgan Deters | remove instantiator framework |
blob | commitdiff | raw | diff to current |
2012-12-01 |
Andrew Reynolds | drastic simplification of quantifiers code regarding... |
blob | commitdiff | raw | diff to current |
2012-11-26 |
Dejan Jovanović | Adding support for a master equality engine. Each theor... |
blob | commitdiff | raw | diff to current |
2012-11-17 |
Morgan Deters | * Fix for bug 445 agreed to in meeting 11/13/2012:... |
blob | commitdiff | raw | diff to current |
2012-11-15 |
Clark Barrett | Fixed another AUFBV model bug. BV equality subtheory... |
blob | commitdiff | raw | diff to current |
2012-11-08 |
Morgan Deters | Review of trunk r4525 (TypeNode::getBaseType()): |
blob | commitdiff | raw | diff to current |
2012-10-31 |
Andrew Reynolds | cleaning up some of the equality query stuff, implement... |
blob | commitdiff | raw | diff to current |
2012-10-19 |
Tim King | Fix for model building with shared terms for arithmetic. |
blob | commitdiff | raw | diff to current |
2012-10-16 |
Andrew Reynolds | more cleanup of quantifiers code |
blob | commitdiff | raw | diff to current |
2012-10-11 |
Morgan Deters | Standardizing copyright notice. Touches **ALL** source... |
blob | commitdiff | raw | diff to current |
2012-09-22 |
Morgan Deters | Separate public-facing and internal-facing interfaces... |
blob | commitdiff | raw | diff to current |
2012-08-31 |
Andrew Reynolds | merge from fmf-devel branch. more updates to models... |
blob | commitdiff | raw | diff to current |
2012-08-16 |
Morgan Deters | Replace propagateAsDecision() with Theory::getNextDecis... |
blob | commitdiff | raw | diff to current |
2012-08-03 |
Morgan Deters | fix uses of getMetaKind() from outside the expr package... |
blob | commitdiff | raw | diff to current |
2012-07-31 |
Morgan Deters | Options merge. This commit: |
blob | commitdiff | raw | diff to current |
2012-07-27 |
Andrew Reynolds | merging fmf-devel branch, includes refactored datatype... |
blob | commitdiff | raw | diff to current |
2012-07-27 |
François Bobot | Merge quantifiers2-trunk: |
blob | commitdiff | raw | diff to current |
2012-07-12 |
Andrew Reynolds | merged fmf-devel branch, includes support for SMT2... |
blob | commitdiff | raw | diff to current |
2012-06-16 |
Dejan Jovanović | changing theoryOf in shared mode with arrays to move... |
blob | commitdiff | raw | diff to current |
2012-06-11 |
Morgan Deters | Merge from quantifiers2-trunkmerge branch. |
blob | commitdiff | raw | diff to current |
2012-06-07 |
Dejan Jovanović | fixing some bugs in propagation of disequalities |
blob | commitdiff | raw | diff to current |
2012-05-21 |
Dejan Jovanović | Updating equality manager to handle tagged trigger... |
blob | commitdiff | raw | diff to current |
2012-05-14 |
Dejan Jovanović | fixes for shared term registration. previously the... |
blob | commitdiff | raw | diff to current |
2012-05-03 |
Dejan Jovanović | Some cleanup starting off from trying to understand... |
blob | commitdiff | raw | diff to current |
2012-04-28 |
Morgan Deters | New LogicInfo functionality. |
blob | commitdiff | raw | diff to current |
2012-04-17 |
Tim King | Merges branches/arithmetic/atom-database r2979 through... |
blob | commitdiff | raw | diff to current |
2012-04-11 |
Morgan Deters | merge from arrays-clark branch |
blob | commitdiff | raw | diff to current |
2012-03-22 |
Dejan Jovanović | some improvements to the sharing mechanism/interface |
blob | commitdiff | raw | diff to current |
2012-03-09 |
Morgan Deters | Some work on the dump infrastructure to support portfol... |
blob | commitdiff | raw | diff to current |
2012-03-08 |
Dejan Jovanović | Removing QUICK_CHECK, and other unused ones, from the... |
blob | commitdiff | raw | diff to current |
2012-03-01 |
Morgan Deters | Partial merge from kind-backend branch, including Minis... |
blob | commitdiff | raw | diff to current |
2012-02-25 |
Dejan Jovanović | ppAsert -> ppAssert |
blob | commitdiff | raw | diff to current |
2012-02-24 |
Dejan Jovanović | Theory interface changes: |
blob | commitdiff | raw | diff to current |
2012-02-23 |
Morgan Deters | Added ability to set a "cvc4-specific logic" in standar... |
blob | commitdiff | raw | diff to current |
next |