| 2011-11-01 |
Morgan Deters | Improvements to header installation on user machines... |
blob | commitdiff | raw |
| 2011-10-28 |
Morgan Deters | * ability to output NodeBuilders without first converti... |
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-06-30 |
Morgan Deters | only use theory registration if (1) a theory requests... |
blob | commitdiff | raw | diff to current |
| 2011-06-30 |
Morgan Deters | some things I had laying around in a directory but... |
blob | commitdiff | raw | diff to current |
| 2011-06-06 |
Morgan Deters | Fix for Mac OS breakage (x86 didn't crash, but probably... |
blob | commitdiff | raw | diff to current |
| 2011-05-05 |
Morgan Deters | Merge from nonclausal-simplification-v2 branch: |
blob | commitdiff | raw | diff to current |
| 2011-04-01 |
Morgan Deters | This commit is a merge from the "betterstats" branch... |
blob | commitdiff | raw | diff to current |
| 2010-12-16 |
Morgan Deters | minor fixes for correct doxygen output |
blob | commitdiff | raw | diff to current |
| 2010-11-15 |
Morgan Deters | Pretty-printer infrastructure created (in src/printer... |
blob | commitdiff | raw | diff to current |
| 2010-10-28 |
Christopher L. Conway | Changing NodeBuilder::debugCheckType() to maybeCheckType() |
blob | commitdiff | raw | diff to current |
| 2010-10-21 |
Christopher L. Conway | * Option --no-type-checking now disables type checks... |
blob | commitdiff | raw | diff to current |
| 2010-10-08 |
Morgan Deters | * (define-fun...) now has proper type checking in non... |
blob | commitdiff | raw | diff to current |
| 2010-09-21 |
Christopher L. Conway | Rm'ing automatic type check in NodeBuilder for vars... |
blob | commitdiff | raw | diff to current |
| 2010-09-21 |
Christopher L. Conway | Moving automatic type check to NodeBuilder (Fixes:... |
blob | commitdiff | raw | diff to current |
| 2010-09-20 |
Dejan Jovanović | bitvector rewriting for the core theory and testcases |
blob | commitdiff | raw | diff to current |
| 2010-09-02 |
Morgan Deters | "Leftist NodeBuilders" are now supported. |
blob | commitdiff | raw | diff to current |
| 2010-08-17 |
Morgan Deters | Merge from "cc" branch: |
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-04 |
Morgan Deters | ** Don't fear the files-changed list, almost all change... |
blob | commitdiff | raw | diff to current |
| 2010-06-03 |
Morgan Deters | * Added NodeBuilder<>::getChild() to make interface... |
blob | commitdiff | raw | diff to current |
| 2010-06-01 |
Tim King | Fixed a bug in partial_model.cpp where the data was... |
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-15 |
Christopher L. Conway | Implementing missing NodeBuilder::constructNode |
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-04 |
Morgan Deters | * Addressed issues brought up in Chris's review of... |
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-03-30 |
Morgan Deters | Highlights of this commit are: |
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-08 |
Dejan Jovanović | Fixing Debug("prop") => Debug("node") typo |
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-27 |
Morgan Deters | A bag of unrelated fixes to bring trunk more in-line... |
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_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-25 |
Tim King | Created basic node builder and kind tests. Also fixed... |
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-19 |
Morgan Deters | * Attribute infrastructure -- static design. Documenta... |
blob | commitdiff | raw | diff to current |
| 2010-02-16 |
Dejan Jovanović | removing assertion and warning that shouldn't be there... |
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-06 |
Morgan Deters | force sorting of AC_CONFIG_FILES, otherwise different... |
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-01-30 |
Morgan Deters | cnf conversion (variable-introducing), cleanups, fixes... |
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 | 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 |
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 |
|
projects / cvc5.git / history