summaryrefslogtreecommitdiff
path: root/src/main
AgeCommit message (Expand)Author
2014-06-19Some fixes for tear-down-incremental and "success" output.Morgan Deters
2014-06-17Some reversions of recent commits re: portfolio failure.Morgan Deters
2014-06-17More application-track fixes for use with trace executor.Morgan Deters
2014-06-17Some fixes for tear-down-incremental and "success" output.Morgan Deters
2014-06-15Careful there aren't too many "success" messages with --tear-down-incremental...Morgan Deters
2014-06-11Flush output stream after result printed in portfolio.Morgan Deters
2014-06-11Fix for competition mode + parallel.Morgan Deters
2014-06-11Some clean-up, post bv-merge.Morgan Deters
2014-06-10reverting portfolio hacklianah
2014-06-10Merging CAV14 paper bit-vector work.lianah
2014-06-06option to hide stats which are zero (off by default), also some aliasesKshitij Bansal
2014-06-04Fix usability issue with tear-down incremental mode.Morgan Deters
2014-06-01Fix for Windows builds (rlimit doesn't exist on Windows).Morgan Deters
2014-05-28Add option to avoid dumping partial models/proofs.Andrew Reynolds
2014-05-27New --tear-down-incremental mode, useful for debugging and performance profil...Morgan Deters
2014-05-27Revert "timespec printing bug"Kshitij Bansal
2014-05-27timespec printing bugKshitij Bansal
2014-05-11More preparation for CASC proofs. Minor fix for sort inference (rewrite new ...Andrew Reynolds
2014-05-09Add variable ordering to ambqi. Bug fix to macros. More preparation for CASC...Andrew Reynolds
2014-04-29Fix for --force-logic to extend its reach to the parser.Morgan Deters
2014-04-29fixed couple of more warningsKshitij Bansal
2014-04-27rm undocument/non-working* "feature"Kshitij Bansal
2014-04-06fix for hiding prompt/header in shell, error-behavior options as in SMTLIBKshitij Bansal
2014-04-04Allow turning off the interactive prompt while in interactive mode.Morgan Deters
2014-03-26Merge branch '1.3.x'Morgan Deters
2014-03-26Win32 build script fixes (to allow portfolio builds).Morgan Deters
2014-03-19Set dumping options from (set-option..) and API more directly.Morgan Deters
2014-03-19Move the translator binary from src/main to examples, no longer built by defa...Morgan Deters
2014-03-11Merge branch '1.3.x'Morgan Deters
2014-03-11Fix for portfolio.Morgan Deters
2014-02-27--stats-every-query option: print increment in addition to cumulative value o...Kshitij Bansal
2014-02-25New translation work, support Z3-str-style string constraints.Morgan Deters
2014-02-21option to print stats after every satisfiability or validity queryKshitij Bansal
2014-02-20portfolio: add stat to track time spent waiting for interrupted threads to stopKshitij Bansal
2013-12-24Merge branch '1.3.x'Morgan Deters
2013-12-24Minor code cleanup.Morgan Deters
2013-12-23Proof-checking code; fixups of segfaults and missing functionality in proof g...Morgan Deters
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
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 dr...Morgan Deters
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 suc...Morgan Deters
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
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback