| 2012-08-07 |
Morgan Deters | Some items from the CVC4 public interface review: |
blob | commitdiff | raw |
| 2012-07-31 |
Morgan Deters | Options merge. This commit: |
blob | commitdiff | raw | diff to current |
| 2012-02-20 |
Morgan Deters | portfolio merge |
blob | commitdiff | raw | diff to current |
| 2011-09-29 |
Morgan Deters | build system fixes |
blob | commitdiff | raw | diff to current |
| 2011-09-23 |
Morgan Deters | interface cleanup, java bindings work |
blob | commitdiff | raw | diff to current |
| 2011-09-20 |
Morgan Deters | Merge from "swig" branch: language binding for Java... |
blob | commitdiff | raw | diff to current |
| 2011-09-02 |
Morgan Deters | Merge from my post-smtcomp branch. Includes: |
blob | commitdiff | raw | diff to current |
| 2011-07-09 |
Morgan Deters | minor fixups |
blob | commitdiff | raw | diff to current |
| 2011-07-09 |
Dejan Jovanović | surprize surprize |
blob | commitdiff | raw | diff to current |
| 2011-04-25 |
Morgan Deters | Weekend work. The main points: |
blob | commitdiff | raw | diff to current |
| 2011-04-11 |
Morgan Deters | fix "make dist" issues in makefiles |
blob | commitdiff | raw | diff to current |
| 2011-01-05 |
Dejan Jovanović | Commit for the theory engine and rewriter changes.... |
blob | commitdiff | raw | diff to current |
| 2010-10-07 |
Morgan Deters | NodeSelfIterator implementation and unit test (resolves... |
blob | commitdiff | raw | diff to current |
| 2010-10-06 |
Morgan Deters | declare-sort, define-sort working but not thoroughly... |
blob | commitdiff | raw | diff to current |
| 2010-07-04 |
Morgan Deters | make dist && make distcheck functional, other fixes |
blob | commitdiff | raw | diff to current |
| 2010-07-03 |
Morgan Deters | With this commit come a number of changes to build... |
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-15 |
Morgan Deters | fix last commit gcc options (-wunknown-pragmas ==>... |
blob | commitdiff | raw | diff to current |
| 2010-06-15 |
Morgan Deters | remove warnings about unknown #pragma GCC diagnostic... |
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-04 |
Dejan Jovanović | Type-checking classes and hooks (not tested yet). |
blob | commitdiff | raw | diff to current |
| 2010-05-03 |
Morgan Deters | theory detection fixes; fixes build breakage when you... |
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-14 |
Morgan Deters | * Better dependency tracking for unit test building... |
blob | commitdiff | raw | diff to current |
| 2010-04-13 |
Christopher L. Conway | Merging from branches/decl-scopes (r401:411) |
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 | 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-15 |
Morgan Deters | This checkin resolves bug #57. |
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-02 |
Morgan Deters | * NodeBuilder work: specifically, convenience builders... |
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-22 |
Dejan Jovanović | finally works |
blob | commitdiff | raw | diff to current |
| 2010-02-19 |
Morgan Deters | specialized implementation for boolean node attributes... |
blob | commitdiff | raw | diff to current |
| 2010-02-19 |
Morgan Deters | * Attribute infrastructure -- static design. Documenta... |
blob | commitdiff | raw | diff to current |
| 2010-02-09 |
Morgan Deters | moving built-in kinds out of the kind.h prologue/middle... |
blob | commitdiff | raw | diff to current |
| 2010-02-06 |
Christopher L. Conway | Preliminary support for types in parser |
blob | commitdiff | raw | diff to current |
| 2010-02-04 |
Morgan Deters | src/expr/kind.h is now automatically generated. |
blob | commitdiff | raw | diff to current |
| 2009-12-16 |
Morgan Deters | Fixes to the build system: |
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 |
| 2009-12-10 |
Morgan Deters | cleanups, assert work, add a stubbed uf theory, fix... |
blob | commitdiff | raw | diff to current |
| 2009-11-23 |
Morgan Deters | fixups, file comments |
blob | commitdiff | raw | diff to current |
| 2009-11-20 |
Morgan Deters | fixes to build/test system |
blob | commitdiff | raw | diff to current |
| 2009-11-19 |
Morgan Deters | testing framework, configure fixes, incorporations... |
blob | commitdiff | raw | diff to current |
| 2009-11-17 |
Morgan Deters | ignored items |
blob | commitdiff | raw | diff to current |
| 2009-11-17 |
Morgan Deters | from meeting |
blob | commitdiff | raw | diff to current |
|
projects / cvc5.git / history