summaryrefslogtreecommitdiff
path: root/src/main
AgeCommit message (Collapse)Author
2013-12-22Fix to interactive mode determination.Morgan Deters
2013-12-22Fix option specification.Morgan Deters
2013-12-17some config changes: new --bsd option, readline gives warning, default build ↵Morgan Deters
is now production.
2013-12-05Update copyrights, add missing file-level documentation; fix perms.Morgan Deters
2013-11-29Fix portfolio compile error.Morgan Deters
2013-11-27Incremental is now on by default when using from API, off for command-line ↵Morgan Deters
driver except in interactive mode.
2013-11-12Minor portfolio fixes for some platforms.Morgan Deters
2013-11-11Change exit status to be more consistent with other command-line tools: 0 ↵Morgan Deters
success, nonzero error
2013-09-12fix bug 534: portfolio define-fun duplicate modelKshitij Bansal
2013-09-09Fix portfolio on bug411.smt2. (get-model command should only go to last winner)Morgan Deters
2013-08-13--segv-nospin is now default.Morgan Deters
2013-07-24some portfolio driver cleanupMorgan Deters
2013-07-13Fix language bindings and portfolio builds.Morgan Deters
2013-07-11Support for TPTP's TFF0 (with arithmetic)Morgan Deters
This commit reverses an "SZS ontology compliance hack" that was done for CASC-24 this year, and adds a TPTP pretty-printer which is capable of outputting results in the TPTP way (rather than the SMT way). This commit includes minor changes to the Expr package to add obvious missing functionality, and to fix the way expressions with builtin operators are made. These changes are truly a _fix_, the implementation had not been properly aligned with the design vision for some corner cases.
2013-06-28Fix portfolio builds after yesterday's commits.Morgan Deters
2013-06-27Remove output.h from public space, to avoid clashes with symbols defined in ↵Morgan Deters
users' space. Specifically, output.h was moved to CVC4's "private-library" rules, which means that it's not installed on users' machines, and public headers should not include it. Thanks to Alex Horn for raising the issue on the CVC-BUGS mailing list.
2013-05-17Add support for --dump-models option, in preparation for casc.Andrew Reynolds
2013-05-17Better error on illegal (pop N); also more compliant SMT-LIB error messages ↵Morgan Deters
in some places Thanks to David Cok for reporting these issues.
2013-04-26FCSimplex branch mergeTim King
2013-04-02Regenerated copyrights: canonicalized names, no emailsMorgan Deters
2013-04-01update copyrightsMorgan Deters
2013-04-01Merging 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-26Make --incremental the default when running interactivelyMorgan Deters
2013-03-25finish removal of separateOutputKshitij Bansal
2013-03-23Fix bug in portfolio executor output; fixes nightly portfolio-checking runs.Morgan Deters
2013-03-20Better reporting of detached git state in --version and --show-configMorgan Deters
2013-03-20Interactive mode support for multiline inputMorgan Deters
2013-03-14Merge branch '1.0.x'Morgan Deters
2013-03-14fix to build system: #include the proper file when they are in both builds ↵Morgan Deters
and src
2013-02-20Single -q quiets messages/warnings. Double -qq silences sat/unsat output too.Morgan Deters
2013-02-16Fix version identification for new git repository.Morgan Deters
2013-02-15Merge branch '1.0.x'Kshitij Bansal
2013-02-15prvs commit: lower warning to noticeKshitij Bansal
Signed-off-by: Kshitij Bansal <kshitij@cs.nyu.edu>
2013-02-15make incremental+portfolio experimentalKshitij Bansal
2013-02-15make incremental+portfolio experimentalKshitij Bansal
2013-02-04Merge branch '1.0.x'Morgan Deters
2013-02-04driver::totalTime statistic is now reported correctly on crashes, tooMorgan Deters
2013-02-04Printing commands as they're executed now requires verbosity 3+Morgan Deters
2013-01-31Merge branch '1.0.x'Morgan Deters
2013-01-30correct output language bug with --dump-toMorgan Deters
2013-01-28some fixes for win32, including ability to "make check" win32 builds via wineMorgan Deters
2013-01-24Add win32 support (merge from mdeters/win32, with some cleanup).Morgan Deters
2012-12-07Fix to portfolio buildsMorgan Deters
(cherry picked from commit f46ba71e78054af63b529eb3271952c55beba37e)
2012-12-06Fix to portfolio buildsMorgan Deters
2012-11-29reliable benchmark corresponding to bug468Kshitij Bansal
2012-11-28fix a potential race (have failed to reproduce)Kshitij Bansal
2012-11-28treat all get commands like getValue (send only to lastWinner)Kshitij Bansal
2012-11-27fix in CommandSequence invoke : maintain success/failure. Fixes bug 465.Kshitij Bansal
(this commit was certified error- and warning-free by the test-and-commit script.)
2012-11-27more mac fixesMorgan Deters
2012-11-27fix for some Mac buildsMorgan Deters
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback