Age | Commit message (Expand) | Author |
2014-05-25 | Improve quantifier instantiation: always use original terms when matching (wa... | Andrew Reynolds |
2014-05-15 | Minor fixes. Add SMTCOMP 2014 script. | Andrew Reynolds |
2014-05-14 | Finish --dump-instantiations option. Update scripts. | Andrew Reynolds |
2014-05-12 | Minor updates/fix to --cbqi-recurse | Andrew Reynolds |
2014-05-11 | More preparation for CASC proofs. Minor fix for sort inference (rewrite new ... | Andrew Reynolds |
2014-05-10 | Bug fixes to CBQI. Add first draft of CASC j7 TFF script. Add regression, m... | Andrew Reynolds |
2014-05-09 | Initial draft of run scripts for CASC j7 | Andrew Reynolds |
2014-03-31 | Travis-CI test for new-theory script, also related bugfixes. | Morgan Deters |
2014-03-28 | get-antlr error on missing config.guess | Kshitij Bansal |
2014-03-26 | Merge branch '1.3.x' | Morgan Deters |
2014-03-26 | Win32 build script fixes (to allow portfolio builds). | Morgan Deters |
2014-03-12 | Draft contrib/get-abc script for bitvectors libabc support. | Morgan Deters |
2014-01-27 | URL update | Morgan Deters |
2014-01-02 | Update copyright year. | Morgan Deters |
2013-12-05 | Script fixes; when determining authorship of source files, don't count copyri... | Morgan Deters |
2013-11-27 | General pre-release cleanup commit | Morgan Deters |
2013-11-13 | Another build fix; the dust should be settled now. | Morgan Deters |
2013-11-12 | Fix new-theory script for new, flattened build system. | Morgan Deters |
2013-09-13 | Documentation fixes, some code typo fixes, file perms, other minor things. | Morgan Deters |
2013-07-30 | Minor fixes to build system. | Morgan Deters |
2013-07-16 | Fix for get-antlr script and PIC/non-PIC objects, on some platforms | Morgan Deters |
2013-06-08 | Fix typos in alttheoryskel | Morgan Deters |
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 |