| 2014-06-18 |
Morgan Deters | Some reversions of recent commits re: portfolio failure.
|
commit | commitdiff | tree |
| 2014-06-17 |
Morgan Deters | Test portfolio with --no-wait-to-join.
|
commit | commitdiff | tree |
| 2014-06-17 |
Morgan Deters | Fix rewriter typo.
|
commit | commitdiff | tree |
| 2014-06-17 |
Morgan Deters | Clean up glpk detection a little, fix a detection bug.
|
commit | commitdiff | tree |
| 2014-06-17 |
Morgan Deters | fix typo
|
commit | commitdiff | tree |
| 2014-06-17 |
Morgan Deters | More application-track fixes for use with trace executor.
|
commit | commitdiff | tree |
| 2014-06-17 |
Morgan Deters | Some fixes for tear-down-incremental and "success"...
|
commit | commitdiff | tree |
| 2014-06-17 |
Morgan Deters | Minor fixes to get-abc script and configure stuff.
|
commit | commitdiff | tree |
| 2014-06-17 |
Morgan Deters | get-glpk-cut-log script, and configure code.
|
commit | commitdiff | tree |
| 2014-06-16 |
Morgan Deters | minor update to application track config in QF_BV
|
commit | commitdiff | tree |
| 2014-06-16 |
Morgan Deters | Careful there aren't too many "success" messages with...
|
commit | commitdiff | tree |
| 2014-06-15 |
Morgan Deters | Application trace executor (if they end up using that...
|
commit | commitdiff | tree |
| 2014-06-15 |
Morgan Deters | One last(?) fix for build script for smtcomp uploads.
|
commit | commitdiff | tree |
| 2014-06-15 |
Morgan Deters | fix travis config
|
commit | commitdiff | tree |
| 2014-06-15 |
Morgan Deters | better bv args for smtcomp
|
commit | commitdiff | tree |
| 2014-06-13 |
Morgan Deters | Doubly-ensure incremental is off in main track. Also...
|
commit | commitdiff | tree |
| 2014-06-13 |
Morgan Deters | update application track script too
|
commit | commitdiff | tree |
| 2014-06-13 |
Morgan Deters | Allow parallel failures when building competition version...
|
commit | commitdiff | tree |
| 2014-06-13 |
Morgan Deters | Adjust incremental run script for QF_AX too.
|
commit | commitdiff | tree |
| 2014-06-12 |
Morgan Deters | More make submission stuff
|
commit | commitdiff | tree |
| 2014-06-12 |
Morgan Deters | New application track script, new heuristics and all...
|
commit | commitdiff | tree |
| 2014-06-12 |
Morgan Deters | more fix-ups
|
commit | commitdiff | tree |
| 2014-06-12 |
Morgan Deters | more smtcomp-submission script work
|
commit | commitdiff | tree |
| 2014-06-11 |
Morgan Deters | Flush output stream after result printed in portfolio.
|
commit | commitdiff | tree |
| 2014-06-11 |
Morgan Deters | Fix for competition mode + parallel.
|
commit | commitdiff | tree |
| 2014-06-11 |
Morgan Deters | Fix parallel run script.
|
commit | commitdiff | tree |
| 2014-06-11 |
Morgan Deters | Fix an omission in bv sources.
|
commit | commitdiff | tree |
| 2014-06-11 |
Morgan Deters | --best now implies --with-glpk --with-abc
|
commit | commitdiff | tree |
| 2014-06-11 |
Morgan Deters | Some clean-up, post bv-merge.
|
commit | commitdiff | tree |
| 2014-06-10 |
Morgan Deters | Add new --pb-rewrites options to QF_LIA run script...
|
commit | commitdiff | tree |
| 2014-06-10 |
Morgan Deters | Some news about API changes.
|
commit | commitdiff | tree |
| 2014-06-10 |
Tim King | Merging Tim's pseudoboolean work from his fmcad14 branch.
Signed-off-by: Morgan Deters <mdeters@cs.nyu.edu>
|
commit | commitdiff | tree |
| 2014-06-09 |
Morgan Deters | Disallow copy/assignment of SmtEngine.
|
commit | commitdiff | tree |
| 2014-06-09 |
Morgan Deters | Tim's options for QF_LIA and QF_LRA---SOI+approx.
|
commit | commitdiff | tree |
| 2014-06-09 |
Morgan Deters | Add missing set of braces, fixes --trace.
|
commit | commitdiff | tree |
| 2014-06-09 |
Morgan Deters | Previous "repeat" fix required extra lookahead (leading...
|
commit | commitdiff | tree |
| 2014-06-08 |
Morgan Deters | Better error when there are \backslashes in |quoted...
|
commit | commitdiff | tree |
| 2014-06-08 |
Morgan Deters | Allow 'repeat' as an SMT-LIB user symbol name (UFNIA...
|
commit | commitdiff | tree |
| 2014-06-06 |
Morgan Deters | Fix submission script (again).
|
commit | commitdiff | tree |
| 2014-06-05 |
Morgan Deters | SMT-COMP version gets built --with-abc.
|
commit | commitdiff | tree |
| 2014-06-05 |
Morgan Deters | Add --default-dag-thresh to translator, build translator...
|
commit | commitdiff | tree |
| 2014-06-05 |
Morgan Deters | When printing in SMT, print N-ary bvadd/bvmul/concat...
|
commit | commitdiff | tree |
| 2014-06-04 |
Morgan Deters | Add operator support (resolves bug #563).
|
commit | commitdiff | tree |
| 2014-06-04 |
Morgan Deters | SmtEngine::checkModel() now checks that model values...
|
commit | commitdiff | tree |
| 2014-06-04 |
Morgan Deters | Update commit # for get-abc script, anticipating Liana...
|
commit | commitdiff | tree |
| 2014-06-04 |
Morgan Deters | Fix usability issue with tear-down incremental mode.
|
commit | commitdiff | tree |
| 2014-06-04 |
Morgan Deters | SMT strict mode now disallows N-ary use of concat,...
|
commit | commitdiff | tree |
| 2014-06-04 |
Morgan Deters | Fixing run-script for smt-comp
|
commit | commitdiff | tree |
| 2014-06-03 |
Morgan Deters | Another check when making SMT-COMP submission zipfiles.
|
commit | commitdiff | tree |
| 2014-06-03 |
Morgan Deters | Fix StarExec description files for new requirements.
|
commit | commitdiff | tree |
| 2014-06-01 |
Morgan Deters | Fix for Windows builds (rlimit doesn't exist on Windows).
|
commit | commitdiff | tree |
| 2014-05-30 |
Morgan Deters | More make rules
|
commit | commitdiff | tree |
| 2014-05-30 |
Morgan Deters | One final bit (I hope) of make magic
|
commit | commitdiff | tree |
| 2014-05-30 |
Morgan Deters | More make rules
|
commit | commitdiff | tree |
| 2014-05-30 |
Morgan Deters | Bug fix for string-opt2 (copied from Tianyi's branch).
|
commit | commitdiff | tree |
| 2014-05-30 |
Morgan Deters | Update submission make rules.
|
commit | commitdiff | tree |
| 2014-05-30 |
Morgan Deters | Run script updates: no --stats, also application-track...
|
commit | commitdiff | tree |
| 2014-05-30 |
Morgan Deters | Fix personal.mk for some make targets.
|
commit | commitdiff | tree |
| 2014-05-28 |
Morgan Deters | Some fixes to GC order in Java.
|
commit | commitdiff | tree |
| 2014-05-27 |
Morgan Deters | New --tear-down-incremental mode, useful for debugging...
|
commit | commitdiff | tree |
| 2014-05-27 |
Morgan Deters | Fix typo in Java destruction code; should fix some...
|
commit | commitdiff | tree |
| 2014-05-27 |
Morgan Deters | Improved type-checking for tuple and record selects.
|
commit | commitdiff | tree |
| 2014-05-25 |
Morgan Deters | Some cleanup, fix warnings raised by Debian packager.
|
commit | commitdiff | tree |
| 2014-05-21 |
Morgan Deters | Safer swig-wrapping for unsigned long long in Java...
|
commit | commitdiff | tree |
| 2014-05-20 |
Morgan Deters | Fix compiler warning (missing virtual dtor)
|
commit | commitdiff | tree |
| 2014-05-10 |
Morgan Deters | Fix for example installation.
|
commit | commitdiff | tree |
| 2014-05-05 |
Morgan Deters | Valuation::entailmentCheck() proxy for TheoryEngine...
|
commit | commitdiff | tree |
| 2014-05-02 |
Morgan Deters | Fix typo in bitvectors example; thanks to Adam Gashlin...
|
commit | commitdiff | tree |
| 2014-04-30 |
Tim King | T-entailment work, and QCF (quant conflict find) work...
Signed-off-by: Morgan Deters <mdeters@cs.nyu.edu>
|
commit | commitdiff | tree |
| 2014-04-30 |
Morgan Deters | Fix warnings, cleanup in strings typechecker.
|
commit | commitdiff | tree |
| 2014-04-30 |
Morgan Deters | Fix compiler warning re: TheoryUF destructor.
|
commit | commitdiff | tree |
| 2014-04-30 |
Morgan Deters | Fix simplify output for SMT2 printer.
|
commit | commitdiff | tree |
| 2014-04-30 |
Morgan Deters | Fix for (user) context-dependence of arith TO_INT/IS_INT...
|
commit | commitdiff | tree |
| 2014-04-30 |
Morgan Deters | Mostly resolves bug #561 memory leaks, and more.
|
commit | commitdiff | tree |
| 2014-04-29 |
Morgan Deters | Fix for --force-logic to extend its reach to the parser.
|
commit | commitdiff | tree |
| 2014-04-29 |
Morgan Deters | Revert a compiler warning fix from ea6a5a6.
|
commit | commitdiff | tree |
| 2014-04-17 |
Morgan Deters | Allow fmf-bound-int to be set with set-option and via...
|
commit | commitdiff | tree |
| 2014-04-11 |
Morgan Deters | Better support for building with mingw64; thanks to...
|
commit | commitdiff | tree |
| 2014-04-11 |
Morgan Deters | setType -> setOfType, resolves bug 556
|
commit | commitdiff | tree |
| 2014-04-10 |
Morgan Deters | Fix the build; --check-proof works for UF but not for...
|
commit | commitdiff | tree |
| 2014-04-10 |
Morgan Deters | Boolean terms conversion fix for datatypes, fixes a...
|
commit | commitdiff | tree |
| 2014-04-09 |
Morgan Deters | Minor change to better support parameterized partial...
|
commit | commitdiff | tree |
| 2014-04-04 |
Morgan Deters | For security, add --no-filesystem-access option, which...
|
commit | commitdiff | tree |
| 2014-04-04 |
Morgan Deters | Allow turning off the interactive prompt while in interactiv...
|
commit | commitdiff | tree |
| 2014-04-03 |
Morgan Deters | Properly quote symbols in SMT-LIB printer.
|
commit | commitdiff | tree |
| 2014-04-03 |
Morgan Deters | Some incremental bugs for Boolean terms, fixed. Thanks...
|
commit | commitdiff | tree |
| 2014-03-31 |
Morgan Deters | Travis-CI test for new-theory script, also related...
|
commit | commitdiff | tree |
| 2014-03-26 |
Morgan Deters | Merge branch '1.3.x'
|
commit | commitdiff | tree |
| 2014-03-26 |
Morgan Deters | Win32 build script fixes (to allow portfolio builds).
|
commit | commitdiff | tree |
| 2014-03-26 |
Morgan Deters | Fix an off-the-end string pointer bug (showed up only...
|
commit | commitdiff | tree |
| 2014-03-19 |
Morgan Deters | Fix documentation for Theory::preRegisterTerm().
|
commit | commitdiff | tree |
| 2014-03-19 |
Martin Brain | Refactor the theory specific parts of definition expansion...
Signed-off-by: Morgan Deters <mdeters@cs.nyu.edu>
|
commit | commitdiff | tree |
| 2014-03-19 |
Morgan Deters | Set dumping options from (set-option..) and API more...
|
commit | commitdiff | tree |
| 2014-03-19 |
Morgan Deters | Fix for bug 555; SMT-LIBv2 symbols now output with...
|
commit | commitdiff | tree |
| 2014-03-19 |
Morgan Deters | Move the translator binary from src/main to examples...
|
commit | commitdiff | tree |
| 2014-03-19 |
Morgan Deters | Appease compilers from latest XCode release (v5.1).
|
commit | commitdiff | tree |
| 2014-03-19 |
Morgan Deters | Minor usability fixes related to SMT-LIB compliance.
|
commit | commitdiff | tree |
| 2014-03-19 |
Morgan Deters | Fix proof signatures makefile
|
commit | commitdiff | tree |
| 2014-03-19 |
Morgan Deters | Minor documentation fixups.
|
commit | commitdiff | tree |
| 2014-03-14 |
Morgan Deters | SMT-LIB compliance: allow bin/hex set-info, e.g. (set...
|
commit | commitdiff | tree |
| next |
projects / cvc5.git / search