| 2014-06-18 |
Morgan Deters | Fix for mac readline.
|
commit | commitdiff | tree |
| 2014-06-18 |
Morgan Deters | Better error for invalid concrete syntax of sorts with...
|
commit | commitdiff | tree |
| 2014-06-18 |
Morgan Deters | Fix GLPK builds: correct access specifier on cut classes.
|
commit | commitdiff | tree |
| 2014-06-18 |
Morgan Deters | Java bindings fixes.
|
commit | commitdiff | tree |
| 2014-06-18 |
Morgan Deters | Minor Doxygen fixes.
|
commit | commitdiff | tree |
| 2014-06-18 |
Morgan Deters | Fix for pre-C++11 is_sorted().
|
commit | commitdiff | tree |
| 2014-06-17 |
Morgan Deters | More minor code cleanup.
|
commit | commitdiff | tree |
| 2014-06-17 |
Morgan Deters | No more dependence on libstdc++ or PBDS stuff: remove...
|
commit | commitdiff | tree |
| 2014-06-17 |
Morgan Deters | New translator features: expand define-funs and combine...
|
commit | commitdiff | tree |
| 2014-06-17 |
Morgan Deters | Code cleanup.
|
commit | commitdiff | tree |
| 2014-06-17 |
Morgan Deters | Documentation clean-ups.
|
commit | commitdiff | tree |
| 2014-06-17 |
Morgan Deters | Another fix for the CASC stuff.
|
commit | commitdiff | tree |
| 2014-06-17 |
Morgan Deters | Final preparations for arithmetic for building with...
|
commit | commitdiff | tree |
| 2014-06-17 |
Morgan Deters | Fix for new CASC features, fixes Java builds.
|
commit | commitdiff | tree |
| 2014-06-17 |
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 | Versioning preparation.
|
commit | commitdiff | tree |
| 2014-06-17 |
Morgan Deters | Some fixes for tear-down-incremental and "success"...
|
commit | commitdiff | tree |
| 2014-06-17 |
Morgan Deters | Disallow context-dependent copy/assignment.
|
commit | commitdiff | tree |
| 2014-06-17 |
Morgan Deters | Fix compile errors with some versions of GCC.
|
commit | commitdiff | tree |
| 2014-06-16 |
Morgan Deters | Clean up some compiler warnings on 32-bit.
|
commit | commitdiff | tree |
| 2014-06-16 |
Morgan Deters | Minor fixes to get-abc script and configure stuff.
|
commit | commitdiff | tree |
| 2014-06-16 |
Morgan Deters | get-glpk-cut-log script, and configure code.
|
commit | commitdiff | tree |
| 2014-06-16 |
Morgan Deters | dos2unix-convert some sources.
|
commit | commitdiff | tree |
| 2014-06-16 |
Morgan Deters | Minor fixes, spelling etc.
|
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-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 |
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 |
| next |
projects / cvc5.git / search