Age | Commit message (Expand) | Author |
2012-09-26 | Fix a handful of things for Mac, and Java bindings. | Morgan Deters |
2012-09-26 | bug #398 test (bug was resolved last night), and a script to download all bug... | Morgan Deters |
2012-07-31 | Options merge. This commit: | Morgan Deters |
2012-07-07 | Various fixes to documentation---typos, some incomplete documentation fixed, ... | Morgan Deters |
2012-06-18 | qf_lra strategysmtcomp2012 | Morgan Deters |
2012-06-18 | another qf_lra strategy update | Morgan Deters |
2012-06-18 | unnecessary ^ in regular expression; warning produced on smt-exec | Morgan Deters |
2012-06-18 | QF_LRA strategy in run script, now final (?) for smt-comp 2012 | Morgan Deters |
2012-06-18 | final sources (?) for competition | Morgan Deters |
2012-06-16 | updated build script for smt-comp submission | Morgan Deters |
2012-06-13 | Don't use the "inlined" feature of ANTLR 3.2, which causes a buffer overflow ... | Morgan Deters |
2012-03-24 | a cute script to make a video of development from the svn logs | Dejan Jovanović |
2012-02-27 | fixes to new-theory script; resolves bug #307 | Morgan Deters |
2012-02-13 | precision in theoryskel | François Bobot |
2012-02-12 | copyright year updated to 2012 | Morgan Deters |
2012-02-12 | separate new-theory components into a "theoryskel" directory so that new file... | Morgan Deters |
2012-02-11 | ensure using bash for new-theory script | Morgan Deters |
2012-02-10 | script to ease creating a new theory from scratch (will go along with new ref... | Morgan Deters |
2011-11-01 | Improvements to header installation on user machines. Internally, we can | Morgan Deters |
2011-09-30 | interfaces fixes and cleanups...and examples of each interface! | Morgan Deters |
2011-09-16 | fix serious issue with copyright-updating script | Morgan Deters |
2011-09-02 | Merge from my post-smtcomp branch. Includes: | Morgan Deters |
2011-05-05 | luby sequence generator; can use to plot MiniSat's restart sequence | Morgan Deters |
2011-04-23 | * reviewed BooleanSimplification, added documentation & unit test | Morgan Deters |
2011-03-30 | Add Valuation::getSatValue() so that theories can access the current | Morgan Deters |
2011-03-15 | Merge from cudd branch. This mostly just adds support for linking | Morgan Deters |
2011-02-26 | Commit to fix bug 241 (improper "using namespace std" in a header). This cau... | Morgan Deters |
2010-11-11 | make addsourcedir executable | Morgan Deters |
2010-11-04 | Moving the post_mortem.py script out of contrib and into the cvc4 scripts dir... | Tim King |
2010-11-04 | Updates post_mortem.py script to be able to handle certain kinds of crashes a... | Tim King |
2010-10-27 | "make dist" fixes; a distribution tarball can now build and pass tests. "make... | Morgan Deters |
2010-10-27 | support focus on a particular subpackage (e.g. "expr") | Morgan Deters |
2010-10-27 | inter-package dependence graph generation (in dot format) | Morgan Deters |
2010-09-27 | add workaround for systems (i.e., Mac OS X) that don't support __thread; also... | ACSYS |
2010-08-17 | Merge from "cc" branch: | Morgan Deters |
2010-07-08 | Moving cluster-qf_lra-full to scripts project | Christopher L. Conway |
2010-07-08 | Moving cluster-qf_lra-benchmark to scripts project | Christopher L. Conway |
2010-07-08 | I am adding my smt-crunch scripts to source control. Others may find them us... | Tim King |
2010-07-08 | Updates to the post_mortem.py script. | Tim King |
2010-07-07 | things for competition upload: new "make submission" target | Morgan Deters |
2010-07-03 | With this commit come a number of changes to build system to support | Morgan Deters |
2010-07-02 | * Added white-box TheoryEngine test that tests the rewriter | Morgan Deters |
2010-06-24 | Added post_mortem.py a statistics collector for user with the smt_curnch clus... | Tim King |
2010-06-04 | ** Don't fear the files-changed list, almost all changes are in the ** | Morgan Deters |
2010-05-26 | Adding documentation to my-configure | Christopher L. Conway |
2010-05-26 | Fixing my-configure | Christopher L. Conway |
2010-05-26 | Adding contrib/my-configure | Christopher L. Conway |
2010-04-05 | Updating copyright exclusion | Christopher L. Conway |
2010-04-05 | Moving code imported from libantlr3c to separate file and adding copyright ex... | Christopher L. Conway |
2010-04-01 | reran update-copyright.pl to get new contributors and add new header comments... | Morgan Deters |