summaryrefslogtreecommitdiff
path: root/contrib
AgeCommit message (Expand)Author
2014-05-30Change SMT COMP script to use external timeouts.ajreynol
2014-05-30Run script updates: no --stats, also application-track version.Morgan Deters
2014-05-30run script fixKshitij Bansal
2014-05-28Minor changes to script. Disable cbqi sat.ajreynol
2014-05-28Add option to avoid dumping partial models/proofs.Andrew Reynolds
2014-05-25Improve quantifier instantiation: always use original terms when matching (wa...Andrew Reynolds
2014-05-15Minor fixes. Add SMTCOMP 2014 script.Andrew Reynolds
2014-05-14Finish --dump-instantiations option. Update scripts.Andrew Reynolds
2014-05-12Minor updates/fix to --cbqi-recurseAndrew Reynolds
2014-05-11More preparation for CASC proofs. Minor fix for sort inference (rewrite new ...Andrew Reynolds
2014-05-10Bug fixes to CBQI. Add first draft of CASC j7 TFF script. Add regression, m...Andrew Reynolds
2014-05-09Initial draft of run scripts for CASC j7Andrew Reynolds
2014-03-31Travis-CI test for new-theory script, also related bugfixes.Morgan Deters
2014-03-28get-antlr error on missing config.guessKshitij Bansal
2014-03-26Merge branch '1.3.x'Morgan Deters
2014-03-26Win32 build script fixes (to allow portfolio builds).Morgan Deters
2014-03-12Draft contrib/get-abc script for bitvectors libabc support.Morgan Deters
2014-01-27URL updateMorgan Deters
2014-01-02Update copyright year.Morgan Deters
2013-12-05Script fixes; when determining authorship of source files, don't count copyri...Morgan Deters
2013-11-27General pre-release cleanup commitMorgan Deters
2013-11-13Another build fix; the dust should be settled now.Morgan Deters
2013-11-12Fix new-theory script for new, flattened build system.Morgan Deters
2013-09-13Documentation fixes, some code typo fixes, file perms, other minor things.Morgan Deters
2013-07-30Minor fixes to build system.Morgan Deters
2013-07-16Fix for get-antlr script and PIC/non-PIC objects, on some platformsMorgan Deters
2013-06-08Fix typos in alttheoryskelMorgan Deters
2013-06-03Updated CASC scripts, as provided to Geoff Sutcliffecasc24Morgan Deters
2013-05-20Possible final version of run scripts for casc.Andrew Reynolds
2013-05-17Add model-producing run script for casc.Andrew Reynolds
2013-05-14Update casc24-fnt run script. Add casc24-fof run script.Andrew Reynolds
2013-05-11Preliminary version of finite model finding over bounded integer quantificati...Andrew Reynolds
2013-05-10Update casc run script. Work on compliance for SZS output.Andrew Reynolds
2013-05-09Add simplification option --fo-prop-quant. Add model support for new model-c...Andrew Reynolds
2013-05-08final updates for smt-eval scriptMorgan Deters
2013-05-07fix for smt-eval run scriptMorgan Deters
2013-05-07BV strategy for SMT-EVALMorgan Deters
2013-05-06Change SMT-EVAL run-script to use Tim's best QF_LRA command-line parametersMorgan Deters
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
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback