| 2011-09-30 |
Morgan Deters | interfaces fixes and cleanups...and examples of each... |
tree | commitdiff |
| 2011-09-16 |
Morgan Deters | fix serious issue with copyright-updating script |
tree | commitdiff |
| 2011-09-02 |
Morgan Deters | Merge from my post-smtcomp branch. Includes: |
tree | commitdiff |
| 2011-05-05 |
Morgan Deters | luby sequence generator; can use to plot MiniSat's... |
tree | commitdiff |
| 2011-04-23 |
Morgan Deters | * reviewed BooleanSimplification, added documentation... |
tree | commitdiff |
| 2011-03-30 |
Morgan Deters | Add Valuation::getSatValue() so that theories can acces... |
tree | commitdiff |
| 2011-03-15 |
Morgan Deters | Merge from cudd branch. This mostly just adds support... |
tree | commitdiff |
| 2011-02-26 |
Morgan Deters | Commit to fix bug 241 (improper "using namespace std... |
tree | commitdiff |
| 2010-11-11 |
Morgan Deters | make addsourcedir executable |
tree | commitdiff |
| 2010-11-04 |
Tim King | Moving the post_mortem.py script out of contrib and... |
tree | commitdiff |
| 2010-11-04 |
Tim King | Updates post_mortem.py script to be able to handle... |
tree | commitdiff |
| 2010-10-27 |
Morgan Deters | "make dist" fixes; a distribution tarball can now build... |
tree | commitdiff |
| 2010-10-27 |
Morgan Deters | support focus on a particular subpackage (e.g. "expr") |
tree | commitdiff |
| 2010-10-27 |
Morgan Deters | inter-package dependence graph generation (in dot format) |
tree | commitdiff |
| 2010-09-27 |
ACSYS | add workaround for systems (i.e., Mac OS X) that don... |
tree | commitdiff |
| 2010-08-17 |
Morgan Deters | Merge from "cc" branch: |
tree | commitdiff |
| 2010-07-08 |
Christopher L. Conway | Moving cluster-qf_lra-full to scripts project |
tree | commitdiff |
| 2010-07-08 |
Christopher L. Conway | Moving cluster-qf_lra-benchmark to scripts project |
tree | commitdiff |
| 2010-07-08 |
Tim King | I am adding my smt-crunch scripts to source control... |
tree | commitdiff |
| 2010-07-08 |
Tim King | Updates to the post_mortem.py script. |
tree | commitdiff |
| 2010-07-07 |
Morgan Deters | things for competition upload: new "make submission... |
tree | commitdiff |
| 2010-07-03 |
Morgan Deters | With this commit come a number of changes to build... |
tree | commitdiff |
| 2010-07-02 |
Morgan Deters | * Added white-box TheoryEngine test that tests the... |
tree | commitdiff |
| 2010-06-24 |
Tim King | Added post_mortem.py a statistics collector for user... |
tree | commitdiff |
| 2010-06-04 |
Morgan Deters | ** Don't fear the files-changed list, almost all change... |
tree | commitdiff |
| 2010-05-26 |
Christopher L. Conway | Adding documentation to my-configure |
tree | commitdiff |
| 2010-05-26 |
Christopher L. Conway | Fixing my-configure |
tree | commitdiff |
| 2010-05-26 |
Christopher L. Conway | Adding contrib/my-configure |
tree | commitdiff |
| 2010-04-05 |
Christopher L. Conway | Updating copyright exclusion |
tree | commitdiff |
| 2010-04-05 |
Christopher L. Conway | Moving code imported from libantlr3c to separate file... |
tree | commitdiff |
| 2010-04-01 |
Morgan Deters | reran update-copyright.pl to get new contributors and... |
tree | commitdiff |
| 2010-04-01 |
Morgan Deters | PARSER STUFF: |
tree | commitdiff |
| 2010-03-30 |
Christopher L. Conway | Removing unnecessary .gitignores |
tree | commitdiff |
| 2010-03-30 |
Christopher L. Conway | Merging from branches/antlr3 (r246:354) |
tree | commitdiff |
| 2010-03-05 |
Morgan Deters | * public/private code untangled (smt/smt_engine.h no... |
tree | commitdiff |
| 2010-02-25 |
Morgan Deters | * src/expr/node.h: add a copy constructor. Apparently... |
tree | commitdiff |
| 2010-02-22 |
Morgan Deters | * configure.ac: Remove doc/ from search path for Makefi... |
tree | commitdiff |
| 2010-02-05 |
Morgan Deters | final fixes to addsourcedir source-directory-Makefile... |
tree | commitdiff |
| 2010-02-05 |
Morgan Deters | automatic generator script for sourcedir Makefiles... |
tree | commitdiff |
| 2010-02-04 |
Morgan Deters | remove -*- c++ -*- emacs tag from source files (it... |
tree | commitdiff |
| 2010-02-04 |
Morgan Deters | minor fix for update-copyright.pl; ran update-copyright... |
tree | commitdiff |
| 2010-02-04 |
Morgan Deters | Added theory output channel interfaces and "Interrupted... |
tree | commitdiff |
| 2010-01-28 |
Christopher L. Conway | Removing Makefile.in's |
tree | commitdiff |
| 2010-01-26 |
Morgan Deters | fixes to build structure, util classes, lots of fixes... |
tree | commitdiff |
| 2009-12-17 |
Morgan Deters | update-copyright.pl now retrieves and incorporates... |
tree | commitdiff |
| 2009-12-17 |
Morgan Deters | support nonstandard, unconfigured builds (e.g., ".... |
tree | commitdiff |
| 2009-12-16 |
Morgan Deters | Fixes to the build system: |
tree | commitdiff |
| 2009-12-11 |
Morgan Deters | build fixes, configuration simplifications |
tree | commitdiff |
| 2009-12-08 |
Morgan Deters | check in automake/libtool/autoconf-generated files... |
tree | commitdiff |
| 2009-12-08 |
Morgan Deters | work on propositional layer, expression builder support... |
tree | commitdiff |
| 2009-12-03 |
Morgan Deters | first attempt at new build system |
tree | commitdiff |
| 2009-11-24 |
Morgan Deters | various fixes and updates to use and support parser |
tree | commitdiff |
| 2009-11-24 |
Morgan Deters | configure option adjustments as per 11/24 meeting;... |
tree | commitdiff |
| 2009-11-18 |
Morgan Deters | work on exprs, driver, util |
tree | commitdiff |
| 2009-11-17 |
Morgan Deters | another pass |
tree | commitdiff |
| 2009-11-17 |
Morgan Deters | fixes and additions |
tree | commitdiff |
| 2009-11-09 |
Morgan Deters | minor fixes, added contrib directory |
tree | commitdiff |
|
projects / cvc5.git / history