Age | Commit message (Collapse) | Author | |
---|---|---|---|
2014-05-25 | Improve quantifier instantiation: always use original terms when matching ↵ | Andrew Reynolds | |
(was missing for simple triggers). Minor updates to scripts. | |||
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 | |
assertions). Bug fix for ambqi : simplify correctly for multi-sorted case. Bug fix for fmc : only do exh-simplification for uninterpreted sorts, ensure reps are enumerated for quantification over Real. | |||
2014-05-10 | Bug fixes to CBQI. Add first draft of CASC j7 TFF script. Add regression, ↵ | Andrew Reynolds | |
minor changes. | |||
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 | |
Conflicts: src/theory/arith/normal_form.cpp | |||
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 ↵ | Morgan Deters | |
copyright-updating commits. | |||
2013-11-27 | General pre-release cleanup commit | Morgan Deters | |
* Rename {model,util_model}.{h,cpp} files to match class names * Fix alreadyVisited() issue in TheoryEngine * Remove spurious Message that causes compliance issues * Update copyrights, fix public/private markings in headers * minor comment fixes * remove EXTRACT_OP as a special-case in typechecker * note about rewriters in theoryskel readme * Clean up some compiler warnings * Code typos and spacing | |||
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 ↵ | Andrew Reynolds | |
quantification. Minor update to casc script. | |||
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 ↵ | Andrew Reynolds | |
model-checking procedure. Add run script for casc24-fnt. | |||
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 | |
* This is a feature that Dejan and I want for the upcoming tutorial. It allows rapid prototyping of new decision procedure implementations (which we may choose to demonstrate), and a new --use-theory command-line option to select from different available implementations. It has no affect on the current set of theories, as no "alternates" are defined. * Also update the new-theory script, which was broken and incomplete. | |||
2013-04-03 | Pre-release versioning | Morgan Deters | |
2013-04-03 | Some final minor changes before cutting 1.1. | Morgan Deters | |
* update documentation * update the cut-release script * spelling/wording updates * add a (previously-failing) fuzzer regression | |||
2013-04-02 | Fix get-authors script to not extract email addresses, canonicalize names, ↵ | Morgan Deters | |
add .mailmap | |||
2013-04-01 | Adjust release Makefile rules, new run script | Morgan Deters | |
2013-04-01 | Merging some cleanup work: | Morgan Deters | |
* Comment cleanup * Spelling fixes * Fix warnings * Documentation updates * References in docs to cryptominisat removed * Unneeded scope resolutions removed * Old, unused regression removed | |||
2013-03-19 | Remove PropositionalQuery class and all CUDD-related build stuff (and ↵ | Morgan Deters | |
references) | |||
2013-02-16 | Some cleanup and copyright updating | Morgan Deters | |
* update some copyrights for 2013 * cleaned up some comments/ifdefs, indentation * some spelling corrections * add some missing makefiles | |||
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 | |
just in general, and some documentation adjustments. | |||
2012-10-23 | The contrib/get-antlr-3.4 script: | Tim King | |
- Has no outdated reference to /usr/share/java/stringtemplate.jar (as discussed on the mailing list). - Attempts to determine if the computer is 64 or 32 bit and configure antlr appropriately. - Warns the user about it's guess. - Tells the user how to correct an incorrect guess. |