projects / cvc5.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
** Don't fear the files-changed list, almost all changes are in the **
[cvc5.git] / src / theory / booleans / theory_bool.h
2010-06-04 Morgan Deters** Don't fear the files-changed list, almost all change... blob | commitdiff | raw
2010-05-27 Tim KingPreregistration has been turned on. Highly experimental... blob | commitdiff | raw | diff to current
2010-04-04 Morgan Deters* Node::isAtomic() now looks at an "atomic" attribute... blob | commitdiff | raw | diff to current
2010-02-26 Morgan Deters* test/unit/context/context_black.h: Test CDList<>... blob | commitdiff | raw | diff to current
2010-02-25 Morgan Deters* src/expr/node.h: add a copy constructor. Apparently... blob | commitdiff | raw | diff to current