| 2010-10-03 |
Morgan Deters | file header documentation regenerated with contributors... |
blob | commitdiff | raw |
| 2010-09-28 |
Morgan Deters | node iterator work |
blob | commitdiff | raw | diff to current |
| 2010-09-21 |
Morgan Deters | remove assertion in TNode destructor and ensure all... |
blob | commitdiff | raw | diff to current |
| 2010-09-21 |
Morgan Deters | some code cleanup, documentation, review of "kinded... |
blob | commitdiff | raw | diff to current |
| 2010-09-21 |
Dejan Jovanović | iterators for tim, begin<PLUS>() and end<PLUS>() should... |
blob | commitdiff | raw | diff to current |
| 2010-07-28 |
Christopher L. Conway | Forcing a type check on Node construction in debug... |
blob | commitdiff | raw | diff to current |
| 2010-07-27 |
Christopher L. Conway | Adding optional 'check' parameter to getType() methods |
blob | commitdiff | raw | diff to current |
| 2010-07-10 |
Morgan Deters | add >, <=, and >= comparisons for Exprs and Nodes |
blob | commitdiff | raw | diff to current |
| 2010-07-02 |
Morgan Deters | * Added white-box TheoryEngine test that tests the... |
blob | commitdiff | raw | diff to current |
| 2010-06-30 |
Morgan Deters | * theory "tree" rewriting implemented and works |
blob | commitdiff | raw | diff to current |
| 2010-06-29 |
Morgan Deters | add --default-expr-depth=N command line parameter,... |
blob | commitdiff | raw | diff to current |
| 2010-06-04 |
Morgan Deters | ** Don't fear the files-changed list, almost all change... |
blob | commitdiff | raw | diff to current |
| 2010-05-27 |
Morgan Deters | Remove isAtomic() as per 4/27/2010 meeting. Add commen... |
blob | commitdiff | raw | diff to current |
| 2010-05-27 |
Christopher L. Conway | Adding debug assertions on most TNode operations |
blob | commitdiff | raw | diff to current |
| 2010-05-19 |
Tim King | Significant revision to theory/arith. The new draft... |
blob | commitdiff | raw | diff to current |
| 2010-05-04 |
Dejan Jovanović | Type-checking classes and hooks (not tested yet). |
blob | commitdiff | raw | diff to current |
| 2010-04-26 |
Dejan Jovanović | Adding the intermediary TypeNode to represent (and... |
blob | commitdiff | raw | diff to current |
| 2010-04-14 |
Dejan Jovanović | Marging from types 404:415, changes: Massive |
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-04-01 |
Morgan Deters | reran update-copyright.pl to get new contributors and... |
blob | commitdiff | raw | diff to current |
| 2010-04-01 |
Morgan Deters | PARSER STUFF: |
blob | commitdiff | raw | diff to current |
| 2010-03-30 |
Morgan Deters | Highlights of this commit are: |
blob | commitdiff | raw | diff to current |
| 2010-03-25 |
Christopher L. Conway | Adding comments to NodeManager |
blob | commitdiff | raw | diff to current |
| 2010-03-23 |
Tim King | Fixed some memory cleanup and destruction issues with... |
blob | commitdiff | raw | diff to current |
| 2010-03-16 |
Morgan Deters | * test/unit/Makefile.am, test/unit/expr/attribute_white.h, |
blob | commitdiff | raw | diff to current |
| 2010-03-12 |
Morgan Deters | * src/context/cdmap.h: rename orderedIterator to iterat... |
blob | commitdiff | raw | diff to current |
| 2010-03-08 |
Morgan Deters | This fixes regressions at levels >= 1 which were failing |
blob | commitdiff | raw | diff to current |
| 2010-03-05 |
Morgan Deters | * public/private code untangled (smt/smt_engine.h no... |
blob | commitdiff | raw | diff to current |
| 2010-03-02 |
Morgan Deters | * NodeBuilder work: specifically, convenience builders... |
blob | commitdiff | raw | diff to current |
| 2010-02-28 |
Dejan Jovanović | * context.h - Changed cdlist::push_back to use a new... |
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-26 |
Tim King | TheoryUFWhite tests are added. There are also accompany... |
blob | commitdiff | raw | diff to current |
| 2010-02-25 |
Christopher L. Conway | Adding Node::getOperator() |
blob | commitdiff | raw | diff to current |
| 2010-02-25 |
Morgan Deters | * src/expr/node_builder.h: fixed some overly-aggressive... |
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 |
| 2010-02-24 |
Tim King | Committing small changes to attribute, and theory to... |
blob | commitdiff | raw | diff to current |
| 2010-02-23 |
Dejan Jovanović | cosmetic changes, comments, and renaming of Expr relate... |
blob | commitdiff | raw | diff to current |
| 2010-02-22 |
Dejan Jovanović | finally works |
blob | commitdiff | raw | diff to current |
| 2010-02-22 |
Dejan Jovanović | Merging from branch branches/Liana r241 |
blob | commitdiff | raw | diff to current |
| 2010-02-22 |
Christopher L. Conway | Switching to types-as-attributes in parser |
blob | commitdiff | raw | diff to current |
| 2010-02-22 |
Morgan Deters | * src/expr/attribute.h: fixed an issue with "const... |
blob | commitdiff | raw | diff to current |
| 2010-02-22 |
Morgan Deters | Re-committing revision 232 properly: |
blob | commitdiff | raw | diff to current |
| 2010-02-22 |
Morgan Deters | undoing improperly-committed revision 232; will re... |
blob | commitdiff | raw | diff to current |
| 2010-02-22 |
Cesare Tinelli | * Add virtual destructors to CnfStream, Theory, OutputC... |
blob | commitdiff | raw | diff to current |
| 2010-02-19 |
Morgan Deters | * Attribute infrastructure -- static design. Documenta... |
blob | commitdiff | raw | diff to current |
| 2010-02-12 |
Dejan Jovanović | Changes to hashing that solve the xinetd boolean benchm... |
blob | commitdiff | raw | diff to current |
| 2010-02-04 |
Dejan Jovanović | beautification of the prop engine |
blob | commitdiff | raw | diff to current |
| 2010-02-04 |
Morgan Deters | remove -*- c++ -*- emacs tag from source files (it... |
blob | commitdiff | raw | diff to current |
| 2010-02-04 |
Morgan Deters | minor fix for update-copyright.pl; ran update-copyright... |
blob | commitdiff | raw | diff to current |
| 2010-02-03 |
Tim King | By popular demand, I also added a printAst to Expr. |
blob | commitdiff | raw | diff to current |
| 2010-02-03 |
Tim King | Within node I added printAst(..) for general purpose... |
blob | commitdiff | raw | diff to current |
| 2010-01-29 |
Morgan Deters | fixed CNF conversion, and more modular; CNF conversion... |
blob | commitdiff | raw | diff to current |
| 2010-01-26 |
Morgan Deters | fixes to build structure, util classes, lots of fixes... |
blob | commitdiff | raw | diff to current |
| 2009-12-18 |
Morgan Deters | numerous fixes to nodes; more coming |
blob | commitdiff | raw | diff to current |
| 2009-12-17 |
Morgan Deters | update-copyright.pl now retrieves and incorporates... |
blob | commitdiff | raw | diff to current |
| 2009-12-16 |
Tim King | Small refactoring changes for the expr package. |
blob | commitdiff | raw | diff to current |
| 2009-12-16 |
Morgan Deters | Fixes to the build system: |
blob | commitdiff | raw | diff to current |
| 2009-12-15 |
Morgan Deters | minor: fixing typos |
blob | commitdiff | raw | diff to current |
| 2009-12-11 |
Dejan Jovanović | Extracted the public Expr and ExprManager interface... |
blob | commitdiff | raw | diff to current |
| 2009-12-10 |
Dejan Jovanović | killing expr into node... |
blob | commitdiff | raw | diff to current |
|
projects / cvc5.git / history