Age | Commit message (Expand) | Author |
2013-06-03 | Updated CASC scripts, as provided to Geoff Sutcliffecasc24 | Morgan Deters |
2013-05-20 | Possible final version of run scripts for casc. | Andrew Reynolds |
2013-05-17 | Add model-producing run script for casc. | Andrew Reynolds |
2013-05-14 | Update casc24-fnt run script. Add casc24-fof run script. | Andrew Reynolds |
2013-05-11 | Preliminary version of finite model finding over bounded integer quantificati... | Andrew Reynolds |
2013-05-10 | Update casc run script. Work on compliance for SZS output. | Andrew Reynolds |
2013-05-09 | Add simplification option --fo-prop-quant. Add model support for new model-c... | Andrew Reynolds |
2013-05-08 | final updates for smt-eval script | Morgan Deters |
2013-05-07 | fix for smt-eval run script | Morgan Deters |
2013-05-07 | BV strategy for SMT-EVAL | Morgan Deters |
2013-05-06 | Change SMT-EVAL run-script to use Tim's best QF_LRA command-line parameters | Morgan Deters |
2013-04-23 | Theory "alternates" support | Morgan Deters |
2013-04-03 | Pre-release versioning | Morgan Deters |
2013-04-03 | Some final minor changes before cutting 1.1. | Morgan Deters |
2013-04-02 | Fix get-authors script to not extract email addresses, canonicalize names, ad... | Morgan Deters |
2013-04-01 | Adjust release Makefile rules, new run script | Morgan Deters |
2013-04-01 | Merging some cleanup work: | Morgan Deters |
2013-03-19 | Remove PropositionalQuery class and all CUDD-related build stuff (and referen... | Morgan Deters |
2013-02-16 | Some cleanup and copyright updating | Morgan Deters |
2013-02-04 | fixed files with DOS newlines; fixed contrib/ scripts to use git | Morgan Deters |
2013-01-25 | Fix errors and reduce warnings on clang (merge from mdeters/clang) | Morgan Deters |
2013-01-24 | Add win32 support (merge from mdeters/win32, with some cleanup). | Morgan Deters |
2013-01-22 | update ANTLR URLs (antlr.org -> antlr3.org) | Morgan Deters |
2012-12-01 | Cutting release 1.0.1.0 | Morgan Deters |
2012-12-01 | fix cut-release sanity checks | Morgan Deters |
2012-11-30 | minor fix to release script | Morgan Deters |
2012-10-24 | Includes many fixes to build system for Solaris (thanks Tim!), and also | Morgan Deters |
2012-10-23 | The contrib/get-antlr-3.4 script: | Tim King |
2012-10-22 | add bug 425 models regression; fix mac-build execute permission | Morgan Deters |
2012-10-11 | Standardizing copyright notice. Touches **ALL** sources, guys, sorry.. it's | Morgan Deters |
2012-10-08 | * Models' SubstitutionMaps are now attached to the user context | Morgan Deters |
2012-10-06 | * Clean up some options documentation | Morgan Deters |
2012-10-03 | updates to contrib scripts to match docs | Morgan Deters |
2012-10-03 | better documentation, allow examples to be installed, etc | Morgan Deters |
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 |