| 2014-04-28 |
Andrew Reynolds | Preparation for models for co-inductive datatypes.... |
blob | commitdiff | raw |
| 2014-04-28 |
ajreynol | Optimizations for datatypes: check for clashes modulo... |
blob | commitdiff | raw | diff to current |
| 2014-04-24 |
ajreynol | Avoid assigning constructor terms to 1-constructor... |
blob | commitdiff | raw | diff to current |
| 2014-04-24 |
Andrew Reynolds | Compute care graph for datatypes. Preliminary results... |
blob | commitdiff | raw | diff to current |
| 2014-04-22 |
Andrew Reynolds | Minor fix to avoid rewriting datatype equalities into... |
blob | commitdiff | raw | diff to current |
| 2014-04-17 |
Andrew Reynolds | Minor refactoring and optimizing. |
blob | commitdiff | raw | diff to current |
| 2014-04-14 |
Andrew Reynolds | Fix bug in mbqi=fmc handling theory symbols. Fix mbqi... |
blob | commitdiff | raw | diff to current |
| 2014-04-14 |
Andrew Reynolds | Add initial support for co-datatypes. |
blob | commitdiff | raw | diff to current |
| 2014-04-10 |
Andrew Reynolds | Expand definitions in theory datatypes, now has the... |
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-10 |
Andrew Reynolds | Add support for cardinality constraints logic UFC.... |
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-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-19 |
Tim King | Merge branch '1.3.x' |
blob | commitdiff | raw | diff to current |
| 2014-02-04 |
Andrew Reynolds | Do not use transitive closure module for cycle detectio... |
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 |
| 2013-12-03 |
Tianyi Liang | Merge branch 'master' of github.com:tiliang/CVC4 |
blob | commitdiff | raw | diff to current |
| 2013-11-27 |
Morgan Deters | General pre-release cleanup commit |
blob | commitdiff | raw | diff to current |
| 2013-11-04 |
lianah | Merge branch 'master' of https://github.com/CVC4/CVC4 |
blob | commitdiff | raw | diff to current |
| 2013-10-11 |
Tianyi Liang | Merge branch 'master' of github.com:tiliang/CVC4 |
blob | commitdiff | raw | diff to current |
| 2013-10-10 |
Andrew Reynolds | Minor bug fix to datatypes. |
blob | commitdiff | raw | diff to current |
| 2013-10-10 |
Tianyi Liang | Merge branch 'master' of github.com:tiliang/CVC4 |
blob | commitdiff | raw | diff to current |
| 2013-10-09 |
Andrew Reynolds | More improvements to datatypes, eager selector collapsi... |
blob | commitdiff | raw | diff to current |
| 2013-10-08 |
Andrew Reynolds | Optimizations for datatypes theory. There seems to... |
blob | commitdiff | raw | diff to current |
| 2013-10-07 |
Liana Hadarean | merged golden |
blob | commitdiff | raw | diff to current |
| 2013-10-07 |
Andrew Reynolds | Multiple fixes for datatypes theory solver: add support... |
blob | commitdiff | raw | diff to current |
| 2013-09-30 |
Liana Hadarean | merged golden |
blob | commitdiff | raw | diff to current |
| 2013-09-13 |
Kshitij Bansal | Merge branch 'master' of https://github.com/CVC4/CVC4 |
blob | commitdiff | raw | diff to current |
| 2013-09-09 |
Andrew Reynolds | Another minor fix for datatypes to repair my previous... |
blob | commitdiff | raw | diff to current |
| 2013-09-09 |
Morgan Deters | Ensure no cost for datatypes debugging when not tracing it. |
blob | commitdiff | raw | diff to current |
| 2013-09-07 |
Andrew Reynolds | Fix datatypes for bug 503 |
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-23 |
Dejan Jovanović | Merge remote-tracking branch 'dddejan/c++11' |
blob | commitdiff | raw | diff to current |
| 2013-03-22 |
Morgan Deters | Support for Boolean term conversion in datatypes. |
blob | commitdiff | raw | diff to current |
| 2013-02-02 |
lianah | merged master into branch |
blob | commitdiff | raw | diff to current |
| 2013-01-27 |
Andrew Reynolds | some fixes for Intel benchmarks regarding quantifiers... |
blob | commitdiff | raw | diff to current |
| 2013-01-27 |
Andrew Reynolds | some fixes for Intel benchmarks regarding quantifiers... |
blob | commitdiff | raw | diff to current |
| 2012-12-15 |
Tim King | Merge remote-tracking branch 'main-repo/1.0.x' into... |
blob | commitdiff | raw | diff to current |
| 2012-12-11 |
Andrew Reynolds | adding cache for preprocessing datatypes terms to fix... |
blob | commitdiff | raw | diff to current |
| 2012-12-11 |
Andrew Reynolds | adding cache for preprocessing datatypes terms to fix... |
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-30 |
Andrew Reynolds | parametric datatypes fix related to non-ascribed type... |
blob | commitdiff | raw | diff to current |
| 2012-11-27 |
Morgan Deters | Tuples and records merge. Resolves bug 270. |
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-10-26 |
Andrew Reynolds | bug fix for parametric datatypes, previously datatypes... |
blob | commitdiff | raw | diff to current |
| 2012-10-26 |
Andrew Reynolds | fixed bug in datatypes decision procedure enforcing... |
blob | commitdiff | raw | diff to current |
| 2012-10-23 |
Andrew Reynolds | fixed problem with datatypes giving incorrect explanati... |
blob | commitdiff | raw | diff to current |
| 2012-10-11 |
Morgan Deters | Standardizing copyright notice. Touches **ALL** source... |
blob | commitdiff | raw | diff to current |
| 2012-10-09 |
Andrew Reynolds | made datatypes rewrite incorrect selectors to ground... |
blob | commitdiff | raw | diff to current |
| 2012-09-28 |
Morgan Deters | rename Assert.h/Assert.cpp to cvc4_assert.h/cvc4_assert... |
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-07-27 |
Andrew Reynolds | merging fmf-devel branch, includes refactored datatype... |
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-07-08 |
Morgan Deters | Bugs resolved by this commit: #314, #322, #359, #364... |
blob | commitdiff | raw | diff to current |
| 2012-06-11 |
Morgan Deters | Merge from quantifiers2-trunkmerge branch. |
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-03-08 |
Dejan Jovanović | Removing QUICK_CHECK, and other unused ones, from the... |
blob | commitdiff | raw | diff to current |
| 2012-01-17 |
Andrew Reynolds | updates to smt2 parser to support datatypes, minor... |
blob | commitdiff | raw | diff to current |
| 2011-11-16 |
Morgan Deters | Addressed many of the concerns raised in the public... |
blob | commitdiff | raw | diff to current |
| 2011-11-16 |
Morgan Deters | * Applying Andy's fix for datatypes bug #286; thanks... |
blob | commitdiff | raw | diff to current |
| 2011-09-29 |
Morgan Deters | Some base infrastructure for user push/pop; a few bugfi... |
blob | commitdiff | raw | diff to current |
| 2011-09-15 |
Dejan Jovanović | additional stuff for sharing, |
blob | commitdiff | raw | diff to current |
| 2011-09-02 |
Morgan Deters | Merge from my post-smtcomp branch. Includes: |
blob | commitdiff | raw | diff to current |
| 2011-06-03 |
Andrew Reynolds | fixed various bugs related to ambiguous parametric... |
blob | commitdiff | raw | diff to current |
| 2011-06-02 |
Andrew Reynolds | added (temporary) support for ensuring that all ambiguo... |
blob | commitdiff | raw | diff to current |
| 2011-05-13 |
Andrew Reynolds | added support for parametric datatypes, updated cvc... |
blob | commitdiff | raw | diff to current |
| 2011-05-06 |
Andrew Reynolds | significant revisions/improvements to code for theory... |
blob | commitdiff | raw | diff to current |
| 2011-05-04 |
Morgan Deters | Stronger support for zero-performance-penalty output... |
blob | commitdiff | raw | diff to current |
| 2011-05-02 |
Andrew Reynolds | minor updates to exp manager, fixed 32bit vs 64bit... |
blob | commitdiff | raw | diff to current |
| 2011-04-29 |
Andrew Reynolds | refactoring to datatypes theory, added working prototyp... |
blob | commitdiff | raw | diff to current |
| 2011-04-28 |
Andrew Reynolds | more fixes/improvements to datatypes theory and transit... |
blob | commitdiff | raw | diff to current |
| 2011-04-27 |
Andrew Reynolds | cleaned up some of the hacks in the datatypes theory... |
blob | commitdiff | raw | diff to current |
| 2011-04-25 |
Morgan Deters | Monday tasks: |
blob | commitdiff | raw | diff to current |
| 2011-04-25 |
Morgan Deters | Weekend work. The main points: |
blob | commitdiff | raw | diff to current |
| 2011-04-22 |
Andrew Reynolds | added fixes for datatype theory solver to account for... |
blob | commitdiff | raw | diff to current |
| 2011-04-18 |
Morgan Deters | Partial merge from datatypes-merge branch: |
blob | commitdiff | raw | diff to current |
|
projects / cvc5.git / history