summaryrefslogtreecommitdiff
path: root/src/main
AgeCommit message (Expand)Author
2014-11-12Fix tokenization of "reset" in SMT-LIB v2.0. It's a reserved word only in 2.5.Morgan Deters
2014-10-23Parsing and infrastructure support for SMT-LIBv2.5 input and output languages.Morgan Deters
2014-10-08Merge branch '1.4.x'Morgan Deters
2014-10-08Some minor cleanup.Morgan Deters
2014-10-08Remove private header from public driver.Morgan Deters
2014-09-30Merge branch '1.4.x'Morgan Deters
2014-09-30Fix improper #inclusion of private header outside library.Morgan Deters
2014-09-30Fix a command-replay bug in tear-down-incremental mode. Thanks to Christoph ...Morgan Deters
2014-09-30Proofs- and cores-related segfault fixes (mainly a usability issue), thanks C...Morgan Deters
2014-09-18cvc4terminate infinite loop fixKshitij Bansal
2014-09-18cvc4terminate infinite loop fixKshitij Bansal
2014-09-04Update command_executor_portfolio.cppKshitij Bansal
2014-09-03Work on conjecture generator : do not generalize subterms with concrete value...ajreynol
2014-08-26Improved SMT-LIBv2 language support for unsat cores.Morgan Deters
2014-08-23Unsat core printing.Morgan Deters
2014-08-23Some fixes for dump- and get-unsat-core.Morgan Deters
2014-07-11fix for windows buildKshitij Bansal
2014-07-10Merge remote-tracking branch 'origin/master' into segfaultfixKshitij Bansal
2014-07-04initialize variablesKshitij Bansal
2014-07-01Update portfolio_util.cppKshitij Bansal
2014-07-01Update copyrights.Morgan Deters
2014-07-01chat about thread creationKshitij Bansal
2014-06-27Another fix for 32-bit (amends commit b825605).Morgan Deters
2014-06-26Merge pull request #46 from mdeters/bug573Kshitij Bansal
2014-06-26Fix for 32-bit (esp. win32 failing build).Morgan Deters
2014-06-26Potential fix for bug 573.Morgan Deters
2014-06-26Ignore error result when an error is squelched via command verbosity.Morgan Deters
2014-06-25Stack-size portfolio fix. If using Boost 1.50, --thread-stack=MB is now supp...Morgan Deters
2014-06-24stack-size portfolio fix. boost 1.50 now requiredMorgan Deters
2014-06-22Merge tag 'smtcomp2014-application'Morgan Deters
2014-06-22QuitCommand needs "success" output for trace executor. :-(smtcomp2014-applicationMorgan Deters
2014-06-22Final fixes for smtcomp2014-application.Morgan Deters
2014-06-21Add some missing functions in configuration and compat library.Morgan Deters
2014-06-19Better --segv-spin messages.Morgan Deters
2014-06-19Fix for mac readline.Morgan Deters
2014-06-19Some reversions of recent commits re: portfolio failure.Morgan Deters
2014-06-19More application-track fixes for use with trace executor.Morgan Deters
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
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback