Age | Commit message (Expand) | Author |
2018-10-02 | Fix "catching polymorphic type by value" warnings (#2556) | Andres Noetzli |
2018-09-22 | cmake: Refactor cvc4_add_unit_test macro to support test names with '/'. | Aina Niemetz |
2018-09-22 | cmake: More documentation, clean up. | Aina Niemetz |
2018-09-22 | cmake: Add support for CxxTest. | Aina Niemetz |
2018-09-22 | cmake: Added initial build infrastructure. | Aina Niemetz |
2018-08-23 | Add missing overrides in unit tests (#2362) | Andres Noetzli |
2018-08-13 | Removing support for T* and const T* attributes. (#2297) | Tim King |
2018-06-25 | Updated copyright headers. | Aina Niemetz |
2017-10-16 | Adds unit test that show Node and TNode work with for each loops. (#1230) | Tim King |
2017-07-22 | Deprecating the unused convenience_node_builders.h (#203) | Tim King |
2017-07-19 | Removing the unused CDAttribute. This makes CDHashMap::obliterate unused. Rem... | Tim King |
2017-07-12 | Fix unit tests for subranges. Fix destructors for context objs in unit tests. | ajreynol |
2017-07-07 | Update copyright headers. | Mathias Preiner |
2017-03-02 | Eliminate Boolean term conversion. Generalizes removeITE pass to remove Boole... | ajreynol |
2016-11-13 | Switching a large allocation to be heap allocated. | Tim King |
2016-11-11 | Adding garbage collection for the CVC Parser for Commands when exceptions are... | Tim King |
2016-11-10 | Adding garbage collection of nodes with maxed out reference counts. | Tim King |
2016-11-04 | Fix memory leak in node_black unit test. | Clark Barrett |
2016-04-20 | update from the master | PaulMeng |
2016-02-15 | Eliminate most of the internal representation infrastructure for tuples and r... | ajreynol |
2016-01-28 | Adding listeners to Options. | Tim King |
2015-12-24 | Miscellaneous fixes | Tim King |
2015-12-14 | Refactoring Options Handler & Library Cycle Breaking | Tim King |
2014-10-14 | Context-dependent expr attributes are now attached to a specific SmtEngine, a... | Morgan Deters |
2014-07-01 | Update copyrights. | Morgan Deters |
2013-12-24 | Better automatic handling of output language setting. | Morgan Deters |
2013-12-05 | Update copyrights, add missing file-level documentation; fix perms. | Morgan Deters |
2013-11-20 | Changing the number of bits allocated per field in node values. | Tim King |
2013-11-10 | Flatten libcvc4 build structure; remove some #include interdependences | Morgan Deters |
2013-06-27 | Remove output.h from public space, to avoid clashes with symbols defined in u... | Morgan Deters |
2013-06-04 | Fix clang static initialization order issue; fixes bug 512. | Morgan Deters |
2013-04-02 | Regenerated copyrights: canonicalized names, no emails | Morgan Deters |
2013-04-01 | update copyrights | Morgan Deters |
2013-03-21 | Some model and printing fixes for defined functions in input. | Morgan Deters |
2013-02-04 | Fix NodeBuilder bug which could attempt to allocate beyond hard limit | Morgan Deters |
2012-11-08 | Review of trunk r4525 (TypeNode::getBaseType()): | Morgan Deters |
2012-10-11 | Standardizing copyright notice. Touches **ALL** sources, guys, sorry.. it's | Morgan Deters |
2012-09-28 | rename Assert.h/Assert.cpp to cvc4_assert.h/cvc4_assert.cpp -- we need to mak... | Morgan Deters |
2012-09-28 | Public interface review items: | Morgan Deters |
2012-09-24 | some api changes | Dejan Jovanović |
2012-09-19 | General subscriber infrastructure for NodeManager, as discussed in the | Morgan Deters |
2012-08-26 | Array constants finished and working. Unit tests for array constants. | Clark Barrett |
2012-08-25 | fix unit tests | Morgan Deters |
2012-08-22 | Cap finite cardinalities at 2^64, as discussed in the meeting last week. | Morgan Deters |
2012-08-07 | Some items from the CVC4 public interface review: | Morgan Deters |
2012-08-04 | isConst() rule for datatypes | Morgan Deters |
2012-07-16 | now passes "make distcheck", which does important checks for the release (e.g... | Morgan Deters |
2012-07-16 | fix compiler warning in unit test | Morgan Deters |
2012-06-09 | Cleanup and comments for the dag-ifier. Also some unit testing for it. | Morgan Deters |
2012-06-09 | Dagification of output expressions. | Morgan Deters |