2013-02-05 |
Kshitij Bansal | Merge remote-tracking branch 'origin/1.0.x' |
tree | commitdiff |
2013-02-05 |
Morgan Deters | Merge branch '1.0.x' |
tree | commitdiff |
2013-02-04 |
Morgan Deters | Merge branch '1.0.x' |
tree | commitdiff |
2013-02-04 |
Morgan Deters | fixed files with DOS newlines; fixed contrib/ scripts... |
tree | commitdiff |
2013-02-04 |
Morgan Deters | Merge branch '1.0.x' |
tree | commitdiff |
2013-02-01 |
Morgan Deters | Merge branch '1.0.x' |
tree | commitdiff |
2013-01-31 |
Morgan Deters | Merge branch '1.0.x' |
tree | commitdiff |
2013-01-28 |
Morgan Deters | Merge branch '1.0.x' |
tree | commitdiff |
2013-01-27 |
Morgan Deters | Merge branch '1.0.x' |
tree | commitdiff |
2013-01-25 |
Morgan Deters | Fix errors and reduce warnings on clang (merge from... |
tree | commitdiff |
2013-01-24 |
Morgan Deters | Add win32 support (merge from mdeters/win32, with some... |
tree | commitdiff |
2013-01-22 |
Morgan Deters | Merge branch '1.0.x' |
tree | commitdiff |
2013-01-22 |
Morgan Deters | update ANTLR URLs (antlr.org -> antlr3.org) |
tree | commitdiff |
2012-12-01 |
Morgan Deters | Cutting release 1.0. |
tree | commitdiff |
2012-12-01 |
Morgan Deters | fix cut-release sanity checks |
tree | commitdiff |
2012-11-30 |
Morgan Deters | minor fix to release script |
tree | commitdiff |
2012-10-24 |
Morgan Deters | Includes many fixes to build system for Solaris (thanks... |
tree | commitdiff |
2012-10-23 |
Tim King | The contrib/get-antlr-3.4 script: |
tree | commitdiff |
2012-10-22 |
Morgan Deters | add bug 425 models regression; fix mac-build execute... |
tree | commitdiff |
2012-10-11 |
Morgan Deters | Standardizing copyright notice. Touches **ALL** source... |
tree | commitdiff |
2012-10-08 |
Morgan Deters | * Models' SubstitutionMaps are now attached to the... |
tree | commitdiff |
2012-10-06 |
Morgan Deters | * Clean up some options documentation |
tree | commitdiff |
2012-10-03 |
Morgan Deters | updates to contrib scripts to match docs |
tree | commitdiff |
2012-10-03 |
Morgan Deters | better documentation, allow examples to be installed... |
tree | commitdiff |
2012-09-26 |
Morgan Deters | Fix a handful of things for Mac, and Java bindings. |
tree | commitdiff |
2012-09-26 |
Morgan Deters | bug #398 test (bug was resolved last night), and a... |
tree | commitdiff |
2012-07-31 |
Morgan Deters | Options merge. This commit: |
tree | commitdiff |
2012-07-07 |
Morgan Deters | Various fixes to documentation---typos, some incomplete... |
tree | commitdiff |
2012-06-18 |
Morgan Deters | qf_lra strategy |
tree | commitdiff |
2012-06-18 |
Morgan Deters | another qf_lra strategy update |
tree | commitdiff |
2012-06-18 |
Morgan Deters | unnecessary ^ in regular expression; warning produced... |
tree | commitdiff |
2012-06-18 |
Morgan Deters | QF_LRA strategy in run script, now final (?) for smt... |
tree | commitdiff |
2012-06-18 |
Morgan Deters | final sources (?) for competition |
tree | commitdiff |
2012-06-16 |
Morgan Deters | updated build script for smt-comp submission |
tree | commitdiff |
2012-06-13 |
Morgan Deters | Don't use the "inlined" feature of ANTLR 3.2, which... |
tree | commitdiff |
2012-03-24 |
Dejan Jovanović | a cute script to make a video of development from the... |
tree | commitdiff |
2012-02-27 |
Morgan Deters | fixes to new-theory script; resolves bug #307 |
tree | commitdiff |
2012-02-13 |
François Bobot | precision in theoryskel |
tree | commitdiff |
2012-02-12 |
Morgan Deters | copyright year updated to 2012 |
tree | commitdiff |
2012-02-12 |
Morgan Deters | separate new-theory components into a "theoryskel"... |
tree | commitdiff |
2012-02-11 |
Morgan Deters | ensure using bash for new-theory script |
tree | commitdiff |
2012-02-10 |
Morgan Deters | script to ease creating a new theory from scratch ... |
tree | commitdiff |
2011-11-01 |
Morgan Deters | Improvements to header installation on user machines... |
tree | commitdiff |
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 |
|