summaryrefslogtreecommitdiff
path: root/contrib
AgeCommit message (Expand)Author
2013-04-23Theory "alternates" supportMorgan Deters
2013-04-03Pre-release versioningMorgan Deters
2013-04-03Some final minor changes before cutting 1.1.Morgan Deters
2013-04-02Fix get-authors script to not extract email addresses, canonicalize names, ad...Morgan Deters
2013-04-01Adjust release Makefile rules, new run scriptMorgan Deters
2013-04-01Merging some cleanup work:Morgan Deters
2013-03-19Remove PropositionalQuery class and all CUDD-related build stuff (and referen...Morgan Deters
2013-02-16Some cleanup and copyright updatingMorgan Deters
2013-02-04fixed files with DOS newlines; fixed contrib/ scripts to use gitMorgan Deters
2013-01-25Fix errors and reduce warnings on clang (merge from mdeters/clang)Morgan Deters
2013-01-24Add win32 support (merge from mdeters/win32, with some cleanup).Morgan Deters
2013-01-22update ANTLR URLs (antlr.org -> antlr3.org)Morgan Deters
2012-12-01Cutting release 1.0.1.0Morgan Deters
2012-12-01fix cut-release sanity checksMorgan Deters
2012-11-30minor fix to release scriptMorgan Deters
2012-10-24Includes many fixes to build system for Solaris (thanks Tim!), and alsoMorgan Deters
2012-10-23The contrib/get-antlr-3.4 script:Tim King
2012-10-22add bug 425 models regression; fix mac-build execute permissionMorgan Deters
2012-10-11Standardizing copyright notice. Touches **ALL** sources, guys, sorry.. it'sMorgan Deters
2012-10-08* Models' SubstitutionMaps are now attached to the user contextMorgan Deters
2012-10-06* Clean up some options documentationMorgan Deters
2012-10-03updates to contrib scripts to match docsMorgan Deters
2012-10-03better documentation, allow examples to be installed, etcMorgan Deters
2012-09-26Fix a handful of things for Mac, and Java bindings.Morgan Deters
2012-09-26bug #398 test (bug was resolved last night), and a script to download all bug...Morgan Deters
2012-07-31Options merge. This commit:Morgan Deters
2012-07-07Various fixes to documentation---typos, some incomplete documentation fixed, ...Morgan Deters
2012-06-18qf_lra strategysmtcomp2012Morgan Deters
2012-06-18another qf_lra strategy updateMorgan Deters
2012-06-18unnecessary ^ in regular expression; warning produced on smt-execMorgan Deters
2012-06-18QF_LRA strategy in run script, now final (?) for smt-comp 2012Morgan Deters
2012-06-18final sources (?) for competitionMorgan Deters
2012-06-16updated build script for smt-comp submissionMorgan Deters
2012-06-13Don't use the "inlined" feature of ANTLR 3.2, which causes a buffer overflow ...Morgan Deters
2012-03-24a cute script to make a video of development from the svn logsDejan Jovanović
2012-02-27fixes to new-theory script; resolves bug #307Morgan Deters
2012-02-13precision in theoryskelFrançois Bobot
2012-02-12copyright year updated to 2012Morgan Deters
2012-02-12separate new-theory components into a "theoryskel" directory so that new file...Morgan Deters
2012-02-11ensure using bash for new-theory scriptMorgan Deters
2012-02-10script to ease creating a new theory from scratch (will go along with new ref...Morgan Deters
2011-11-01Improvements to header installation on user machines. Internally, we canMorgan Deters
2011-09-30interfaces fixes and cleanups...and examples of each interface!Morgan Deters
2011-09-16fix serious issue with copyright-updating scriptMorgan Deters
2011-09-02Merge from my post-smtcomp branch. Includes:Morgan Deters
2011-05-05luby sequence generator; can use to plot MiniSat's restart sequenceMorgan Deters
2011-04-23* reviewed BooleanSimplification, added documentation & unit testMorgan Deters
2011-03-30Add Valuation::getSatValue() so that theories can access the currentMorgan Deters
2011-03-15Merge from cudd branch. This mostly just adds support for linkingMorgan Deters
2011-02-26Commit to fix bug 241 (improper "using namespace std" in a header). This cau...Morgan Deters
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback