Age | Commit message (Collapse) | Author | |
---|---|---|---|
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. | |||
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 | |
just the header comments at the top, though. Don't update to this rev if you don't have time for a complete rebuild, and exclude this rev if you want to see what's new across a range of commits. (this commit was certified error- and warning-free by the test-and-commit script.) | |||
2012-10-08 | * Models' SubstitutionMaps are now attached to the user context | Morgan Deters | |
(rather than SAT context) * Enable part of CVC3 system test (resolves bug 375) * Fix infinite recursion in beta reduction code (resolves bug 417) * Some model-building assertions have been added * Other minor changes (this commit was certified error- and warning-free by the test-and-commit script.) | |||
2012-10-06 | * Clean up some options documentation | Morgan Deters | |
* Remove defunct --no-theory-registration option * Point people to Wiki tutorial * Modernize the cut-release script * Misc cleanup, documentation (this commit was certified error- and warning-free by the test-and-commit script.) | |||
2012-10-03 | updates to contrib scripts to match docs | Morgan Deters | |