2014-04-01 |
Tim King | Merge branch '1.3.x' |
tree | commitdiff |
2014-03-26 |
Morgan Deters | Merge branch '1.3.x' |
tree | commitdiff |
2014-03-11 |
Morgan Deters | Merge branch '1.3.x' |
tree | commitdiff |
2014-03-11 |
Morgan Deters | Merge branch '1.3.x' |
tree | commitdiff |
2014-02-21 |
Morgan Deters | Merge branch '1.3.x' |
tree | commitdiff |
2014-02-21 |
Morgan Deters | Merge branch '1.3.x' |
tree | commitdiff |
2014-02-19 |
Tim King | Merge branch '1.3.x' |
tree | commitdiff |
2014-01-27 |
Morgan Deters | Merge branch '1.3.x' |
tree | commitdiff |
2014-01-22 |
Tianyi Liang | Merge branch 'master' of github.com:tiliang/CVC4 |
tree | commitdiff |
2014-01-22 |
Morgan Deters | Delay QuantifiersEngine and UF strong solver initializa... |
tree | commitdiff |
2013-12-05 |
Morgan Deters | Update copyrights, add missing file-level documentation... |
tree | commitdiff |
2013-12-03 |
Tianyi Liang | Merge branch 'master' of github.com:tiliang/CVC4 |
tree | commitdiff |
2013-11-27 |
Morgan Deters | General pre-release cleanup commit |
tree | commitdiff |
2013-11-26 |
Tianyi Liang | Merge branch 'master' of github.com:tiliang/CVC4 |
tree | commitdiff |
2013-11-25 |
Tim King | Merge remote-tracking branch 'CVC4root/master' |
tree | commitdiff |
2013-11-25 |
Tim King | Substantial Changes: |
tree | commitdiff |
2013-11-11 |
Morgan Deters | Flatten libcvc4 build structure; remove some #include... |
tree | commitdiff |
2013-11-07 |
Morgan Deters | Flatten libcvc4 build structure; remove some #include... |
tree | commitdiff |
2013-09-30 |
Liana Hadarean | merged golden |
tree | commitdiff |
2013-09-27 |
Tianyi Liang | Merge branch 'master' of github.com:tiliang/CVC4 |
tree | commitdiff |
2013-09-24 |
Clark Barrett | Reduce compiler dependencies on substitutions.h, |
tree | commitdiff |
2013-09-23 |
Morgan Deters | Revert Clark's last commit, at his request; there are... |
tree | commitdiff |
2013-09-23 |
Clark Barrett | Cleaner version of bug-fix for 528, also moved substitu... |
tree | commitdiff |
2013-04-18 |
lianah | Merge branch 'master' of https://github.com/CVC4/CVC4 |
tree | commitdiff |
2013-04-17 |
Kshitij Bansal | bool flatten: node num_children workaround |
tree | commitdiff |
2013-04-17 |
Kshitij Bansal | boolean flatten: bug fix in dfs search |
tree | commitdiff |
2013-04-17 |
Kshitij Bansal | boolean flatten rewrite: dont re-rewrite |
tree | commitdiff |
2013-04-17 |
Kshitij Bansal | generalize to handle and |
tree | commitdiff |
2013-04-16 |
Kshitij Bansal | flatten or nodes |
tree | commitdiff |
2013-04-02 |
Morgan Deters | Regenerated copyrights: canonicalized names, no emails |
tree | commitdiff |
2013-04-02 |
Morgan Deters | update copyrights |
tree | commitdiff |
2013-04-01 |
Tim King | Fix for iff terms over equalities between the same... |
tree | commitdiff |
2013-04-01 |
lianah | fixed TheoryBool rewriter bug |
tree | commitdiff |
2013-03-27 |
lianah | added model generation for bv subtheories and bv-inequa... |
tree | commitdiff |
2013-03-23 |
Dejan Jovanović | Merge remote-tracking branch 'dddejan/c++11' |
tree | commitdiff |
2013-03-22 |
Morgan Deters | Support for Boolean term conversion in datatypes. |
tree | commitdiff |
2013-03-20 |
Liana Hadarean | merged master with dejan's constant evaluating equality... |
tree | commitdiff |
2013-03-15 |
Morgan Deters | Merge branch '1.0.x' |
tree | commitdiff |
2013-03-14 |
Morgan Deters | Merge branch '1.0.x' |
tree | commitdiff |
2013-03-14 |
Morgan Deters | fix to build system: #include the proper file when... |
tree | commitdiff |
2013-03-14 |
Clark Barrett | Added a rewrite for iff: |
tree | commitdiff |
2013-03-13 |
lianah | post failed attempts at getting the incremental solver... |
tree | commitdiff |
2013-03-05 |
Morgan Deters | Merge branch '1.0.x' |
tree | commitdiff |
2013-03-01 |
Morgan Deters | Merge branch '1.0.x' |
tree | commitdiff |
2013-02-26 |
lianah | Merge branch '1.0.x' |
tree | commitdiff |
2013-02-17 |
Kshitij Bansal | Merge branch '1.0.x' |
tree | commitdiff |
2013-02-16 |
Morgan Deters | Merge branch '1.0.x' |
tree | commitdiff |
2013-02-15 |
Kshitij Bansal | Merge branch '1.0.x' |
tree | commitdiff |
2013-02-15 |
Kshitij Bansal | Merge branch '1.0.x' |
tree | commitdiff |
2013-02-15 |
Morgan Deters | Merge branch '1.0.x' |
tree | commitdiff |
2013-02-15 |
Tim King | Merge branch '1.0.x' |
tree | commitdiff |
2013-02-08 |
Morgan Deters | Merge branch '1.0.x' |
tree | commitdiff |
2013-02-05 |
Morgan Deters | Merge branch '1.0.x' |
tree | commitdiff |
2013-02-05 |
Kshitij Bansal | Merge remote-tracking branch 'origin/1.0.x' |
tree | commitdiff |
2013-02-05 |
Morgan Deters | Merge branch '1.0.x' |
tree | commitdiff |
2013-02-04 |
Morgan Deters | Merge branch '1.0.x' |
tree | commitdiff |
2013-02-04 |
Morgan Deters | Merge branch '1.0.x' |
tree | commitdiff |
2013-02-03 |
Morgan Deters | Merge from mdeters/miplib branch (commit 'ce7c485182902... |
tree | commitdiff |
2013-02-03 |
Morgan Deters | new miplib pass, works for 1 or 2 vars |
tree | commitdiff |
2013-02-01 |
Morgan Deters | Merge branch '1.0.x' |
tree | commitdiff |
2013-01-31 |
Morgan Deters | Merge branch '1.0.x' |
tree | commitdiff |
2013-01-28 |
Morgan Deters | Merge branch '1.0.x' |
tree | commitdiff |
2013-01-27 |
Morgan Deters | Merge branch '1.0.x' |
tree | commitdiff |
2013-01-23 |
Morgan Deters | Merge branch '1.0.x' |
tree | commitdiff |
2013-01-22 |
Morgan Deters | Merge branch '1.0.x' |
tree | commitdiff |
2013-01-22 |
Morgan Deters | Merge branch '1.0.x' |
tree | commitdiff |
2013-01-19 |
Morgan Deters | Merge branch '1.0.x' |
tree | commitdiff |
2012-12-22 |
Dejan Jovanović | Merge branch '1.0.x' |
tree | commitdiff |
2012-12-18 |
Morgan Deters | Merge branch '1.0.x' |
tree | commitdiff |
2012-12-15 |
Tim King | Merging in patch from branch '1.0.x'. |
tree | commitdiff |
2012-12-12 |
Dejan Jovanović | Merge pull request #2 from CVC4/1.0.x |
tree | commitdiff |
2012-12-11 |
Morgan Deters | Merge branch '1.0.x', getting fix for bug 480 |
tree | commitdiff |
2012-12-11 |
Morgan Deters | Merge branch '1.0.x' (getting fix for bug 479) |
tree | commitdiff |
2012-12-11 |
Morgan Deters | Merge branch '1.0.x' |
tree | commitdiff |
2012-12-08 |
Morgan Deters | Merge from 1.0.x (bugfix for 476). |
tree | commitdiff |
2012-12-07 |
François Bobot | Merge release branch '1.0.x' |
tree | commitdiff |
2012-12-06 |
François Bobot | Merge branch 'release-1.0.x' |
tree | commitdiff |
2012-12-05 |
Tim King | This commit merges in CDTrailHashMap and CDInsertHashMa... |
tree | commitdiff |
2012-11-15 |
Clark Barrett | More fixes to model generation, with previously failing... |
tree | commitdiff |
2012-10-11 |
Morgan Deters | Standardizing copyright notice. Touches **ALL** source... |
tree | commitdiff |
2012-08-31 |
Andrew Reynolds | merge from fmf-devel branch. more updates to models... |
tree | commitdiff |
2012-08-07 |
Morgan Deters | Some items from the CVC4 public interface review: |
tree | commitdiff |
2012-08-03 |
Morgan Deters | fix uses of getMetaKind() from outside the expr package... |
tree | commitdiff |
2012-08-01 |
Morgan Deters | add isFinished() to type enumerators (so we don't rely... |
tree | commitdiff |
2012-08-01 |
Morgan Deters | some fixes for Mac OS |
tree | commitdiff |
2012-07-31 |
Morgan Deters | Options merge. This commit: |
tree | commitdiff |
2012-07-14 |
Morgan Deters | Type enumerator infrastructure and uninterpreted consta... |
tree | commitdiff |
2012-07-12 |
Andrew Reynolds | merged fmf-devel branch, includes support for SMT2... |
tree | commitdiff |
2012-07-08 |
Morgan Deters | Bugs resolved by this commit: #314, #322, #359, #364... |
tree | commitdiff |
2012-07-07 |
Morgan Deters | Various fixes to documentation---typos, some incomplete... |
tree | commitdiff |
2012-06-15 |
Clark Barrett | Fix for incompleteness bug with decision engine: repeat... |
tree | commitdiff |
2012-06-14 |
Dejan Jovanović | * removing rewriteEquality from the rewriter |
tree | commitdiff |
2012-06-11 |
Morgan Deters | Merge from quantifiers2-trunkmerge branch. |
tree | commitdiff |
2012-06-04 |
Clark Barrett | Added preprocessing pass that propagates unconstrained... |
tree | commitdiff |
2012-05-18 |
Tim King | This commit adds TypeNode::leastCommonTypeNode(). ... |
tree | commitdiff |
2012-05-11 |
Clark Barrett | Added some ITE rewrites, |
tree | commitdiff |
2012-05-09 |
Dejan Jovanović | * simplifying equality engine interface |
tree | commitdiff |
2012-05-03 |
Dejan Jovanović | Some cleanup starting off from trying to understand... |
tree | commitdiff |
2012-03-02 |
Dejan Jovanović | CDMap -> CDHashMap |
tree | commitdiff |
2012-03-02 |
Morgan Deters | committing the TNode/Node fix that was in the kind... |
tree | commitdiff |
next |