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-26 |
Tianyi Liang | Merge branch 'master' of https://github.com/CVC4/CVC4 |
tree | commitdiff |
2013-12-24 |
Morgan Deters | Merge branch '1.3.x' |
tree | commitdiff |
2013-12-24 |
Morgan Deters | Better automatic handling of output language setting. |
tree | commitdiff |
2013-12-15 |
Tianyi Liang | Merge branch 'master' of github.com:tiliang/CVC4 |
tree | commitdiff |
2013-12-11 |
Morgan Deters | Fix timer statistics to report correct time even on... |
tree | commitdiff |
2013-12-11 |
Morgan Deters | Fix timer statistics to report correct time even on... |
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-12-03 |
Morgan Deters | Support for parametric datatype subtyping, so that... |
tree | commitdiff |
2013-11-21 |
Tianyi Liang | Merge branch 'master' of github.com:tiliang/CVC4 |
tree | commitdiff |
2013-11-20 |
Tim King | Changing the number of bits allocated per field in... |
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-13 |
Kshitij Bansal | Merge branch 'master' of https://github.com/CVC4/CVC4 |
tree | commitdiff |
2013-09-11 |
Tianyi Liang | Theory of strings. |
tree | commitdiff |
2013-09-09 |
Morgan Deters | Add support for check-sat with argument. |
tree | commitdiff |
2013-08-26 |
Kshitij Bansal | Merge branch '1.2.x' |
tree | commitdiff |
2013-06-27 |
Morgan Deters | Remove output.h from public space, to avoid clashes... |
tree | commitdiff |
2013-06-25 |
Morgan Deters | Merge branch '1.2.x' |
tree | commitdiff |
2013-06-19 |
Morgan Deters | Merge branch '1.2.x' |
tree | commitdiff |
2013-06-04 |
Morgan Deters | Merge branch '1.2.x' |
tree | commitdiff |
2013-06-04 |
Morgan Deters | Fix clang static initialization order issue; fixes... |
tree | commitdiff |
2013-06-03 |
Morgan Deters | Merge tag 'casc24' |
tree | commitdiff |
2013-05-29 |
Morgan Deters | Merge branch '1.2.x' |
tree | commitdiff |
2013-05-28 |
Morgan Deters | Standardize SMT-LIBv2 set of logics to use LogicInfo. |
tree | commitdiff |
2013-05-21 |
Morgan Deters | Merge branch '1.2.x' |
tree | commitdiff |
2013-05-21 |
Morgan Deters | Merge branch '1.2.x' |
tree | commitdiff |
2013-05-20 |
Morgan Deters | Merge branch '1.2.x' |
tree | commitdiff |
2013-05-09 |
Kshitij Bansal | Merge branch 'master' of ssh://github.com/CVC4/CVC4 |
tree | commitdiff |
2013-05-09 |
Tim King | Changing the integer normal form to increase matching. |
tree | commitdiff |
2013-05-03 |
Tim King | Fixing compilation of unit tests. These problems were... |
tree | commitdiff |
2013-04-18 |
lianah | Merge branch 'master' of https://github.com/CVC4/CVC4 |
tree | commitdiff |
2013-04-05 |
Morgan Deters | Fix unit test (compile error) for new SatSolver interface |
tree | commitdiff |
2013-04-03 |
Morgan Deters | Some final minor changes before cutting 1.1. |
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-03-21 |
lianah | Merge branch 'master' into bv-core |
tree | commitdiff |
2013-03-21 |
Dejan Jovanović | Merge branch 'master' of github.com:CVC4/CVC4 |
tree | commitdiff |
2013-03-21 |
Morgan Deters | Some model and printing fixes for defined functions... |
tree | commitdiff |
2013-03-21 |
lianah | Merge branch 'master' into bv-core |
tree | commitdiff |
2013-03-20 |
Morgan Deters | Interactive mode support for multiline input |
tree | commitdiff |
2013-03-20 |
Liana Hadarean | merged master with dejan's constant evaluating equality... |
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-13 |
lianah | post failed attempts at getting the incremental solver... |
tree | commitdiff |
2013-02-04 |
Morgan Deters | Merge branch '1.0.x' |
tree | commitdiff |
2013-02-04 |
Morgan Deters | Fix NodeBuilder bug which could attempt to allocate... |
tree | commitdiff |
2013-02-02 |
lianah | merged master into branch |
tree | commitdiff |
2012-12-15 |
Tim King | Merging in patch from branch '1.0.x'. |
tree | commitdiff |
2012-12-15 |
Tim King | Adding unit test for different versions of division. |
tree | commitdiff |
2012-12-15 |
Tim King | Merge remote-tracking branch 'main-repo/1.0.x' into... |
tree | commitdiff |
2012-12-08 |
Morgan Deters | Merge from 1.0.x (bugfix for 476). |
tree | commitdiff |
2012-12-08 |
Morgan Deters | Fix bug 476: when CxxTest is not found, make the error... |
tree | commitdiff |
2012-11-30 |
Tim King | Fixes for stricter compilers Andy brought to my attention. |
tree | commitdiff |
2012-11-30 |
Tim King | Committing tests to potentially discover an obscure... |
tree | commitdiff |
2012-11-26 |
Tim King | Improved implementation of Integer::length() with CLN... |
tree | commitdiff |
2012-11-17 |
Morgan Deters | * Fix for bug 445 agreed to in meeting 11/13/2012:... |
tree | commitdiff |
2012-11-10 |
Morgan Deters | Updates to Clark's commit r4540: |
tree | commitdiff |
2012-11-08 |
Morgan Deters | Review of trunk r4525 (TypeNode::getBaseType()): |
tree | commitdiff |
2012-10-26 |
Morgan Deters | Fix to subrange type enumerator, and its unit test... |
tree | commitdiff |
2012-10-11 |
Morgan Deters | Standardizing copyright notice. Touches **ALL** source... |
tree | commitdiff |
2012-10-06 |
Morgan Deters | * Fix some regressions' expected outputs. |
tree | commitdiff |
2012-10-05 |
Morgan Deters | Bug-related: |
tree | commitdiff |
2012-10-03 |
Dejan Jovanović | adding ::getBooleanVariables to the PropEngine |
tree | commitdiff |
2012-09-28 |
Morgan Deters | rename Assert.h/Assert.cpp to cvc4_assert.h/cvc4_assert... |
tree | commitdiff |
2012-09-28 |
Morgan Deters | Public interface review items: |
tree | commitdiff |
2012-09-27 |
Morgan Deters | * Rename SMT parts (printer, parser) to SMT1 |
tree | commitdiff |
2012-09-24 |
Dejan Jovanović | some api changes |
tree | commitdiff |
2012-09-22 |
Morgan Deters | Separate public-facing and internal-facing interfaces... |
tree | commitdiff |
2012-09-21 |
Morgan Deters | better verbosity support (so it's sensible when the... |
tree | commitdiff |
2012-09-19 |
Morgan Deters | General subscriber infrastructure for NodeManager,... |
tree | commitdiff |
2012-08-31 |
Andrew Reynolds | merge from fmf-devel branch. more updates to models... |
tree | commitdiff |
2012-08-29 |
Morgan Deters | To the build system: |
tree | commitdiff |
2012-08-26 |
Clark Barrett | Array constants finished and working. Unit tests for... |
tree | commitdiff |
2012-08-25 |
Morgan Deters | fix unit tests |
tree | commitdiff |
2012-08-22 |
Morgan Deters | Cap finite cardinalities at 2^64, as discussed in the... |
tree | commitdiff |
2012-08-16 |
Morgan Deters | The SmtEngine now ensures that setLogicInternal() is... |
tree | commitdiff |
2012-08-16 |
Morgan Deters | ArrayStoreAll should (for now) only allow constant... |
tree | commitdiff |
2012-08-14 |
Morgan Deters | Fixes to integer wrapper classes: |
tree | commitdiff |
2012-08-07 |
Morgan Deters | Some items from the CVC4 public interface review: |
tree | commitdiff |
2012-08-04 |
Morgan Deters | isConst() rule for datatypes |
tree | commitdiff |
2012-08-03 |
Morgan Deters | Comparisons for LogicInfos, and associated tests |
tree | commitdiff |
2012-08-03 |
Morgan Deters | ArrayStoreAll infrastructure |
tree | commitdiff |
2012-08-01 |
Morgan Deters | fixes to some *clean targets |
tree | commitdiff |
2012-07-31 |
Morgan Deters | Options merge. This commit: |
tree | commitdiff |
2012-07-27 |
Andrew Reynolds | removing unecessary files |
tree | commitdiff |
2012-07-26 |
Morgan Deters | Datatype enumerator work. This version is not a "fair... |
tree | commitdiff |
2012-07-16 |
Morgan Deters | now passes "make distcheck", which does important check... |
tree | commitdiff |
2012-07-16 |
Morgan Deters | fix compiler warning in unit test |
tree | commitdiff |
2012-07-16 |
Morgan Deters | Support for having two SmtEngines with the same ExprMan... |
tree | commitdiff |
2012-07-14 |
Morgan Deters | Type enumerator infrastructure and uninterpreted consta... |
tree | commitdiff |
2012-07-14 |
Morgan Deters | fix a warning in unit test compilation |
tree | commitdiff |
2012-07-07 |
Morgan Deters | Various fixes to documentation---typos, some incomplete... |
tree | commitdiff |
2012-06-11 |
Morgan Deters | Merge from quantifiers2-trunkmerge branch. |
tree | commitdiff |
2012-06-09 |
Morgan Deters | Cleanup and comments for the dag-ifier. Also some... |
tree | commitdiff |
2012-06-09 |
Morgan Deters | Dagification of output expressions. |
tree | commitdiff |
next |