projects / cvc5.git / search
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
java input stream adapters working
2013-03-26 Morgan Detersjava input stream adapters working
 commit | commitdiff | tree
2013-03-25 Morgan DetersFix for SCM detection
 commit | commitdiff | tree
2013-03-24 Morgan DetersFix bug in portfolio executor output; fixes nightly...
commit | commitdiff | tree
2013-03-22 Morgan DetersSupport for Boolean term conversion in datatypes.
 commit | commitdiff | tree
2013-03-21 Morgan DetersBetter error in case of nonlinear assertions while...
commit | commitdiff | tree
2013-03-21 Morgan DetersAdd the ability to "mute" commands, needed for SMT...
commit | commitdiff | tree
2013-03-21 Morgan DetersSome model and printing fixes for defined functions...
commit | commitdiff | tree
2013-03-21 Morgan DetersFix for SmtEngine::expandDefinitions()---improper TypeChecki...
commit | commitdiff | tree
2013-03-21 Morgan DetersBetter reporting of detached git state in --version...
commit | commitdiff | tree
2013-03-21 Morgan DetersFix to bug 497: make justification heuristic's ITE...
commit | commitdiff | tree
2013-03-21 Morgan DetersRemove unintentionally-committed-to-master README from...
commit | commitdiff | tree
2013-03-20 Morgan DetersInteractive mode support for multiline input
 commit | commitdiff | tree
2013-03-20 Morgan DetersProperly |quote| symbols in SMT-LIBv2 output.
 commit | commitdiff | tree
2013-03-20 Morgan DetersSome statistics for narrowing down incrementality issues...
commit | commitdiff | tree
2013-03-19 Morgan DetersMinor cleanup of sources
 commit | commitdiff | tree
2013-03-19 Morgan DetersFixes for miplib-trick application (and a new testcase)
 commit | commitdiff | tree
2013-03-19 Morgan DetersRemove PropositionalQuery class and all CUDD-related...
commit | commitdiff | tree
2013-03-19 Morgan DetersMinor fixes to build system
 commit | commitdiff | tree
2013-03-15 Morgan DetersBoolean terms rewriting for quantified variables of...
commit | commitdiff | tree
2013-03-15 Morgan DetersMerge branch '1.0.x'
 commit | commitdiff | tree
2013-03-15 Morgan Detersfix up build system for swig (d242c30 introduced a...
commit | commitdiff | tree
2013-03-14 Morgan DetersMerge branch '1.0.x'
 commit | commitdiff | tree
2013-03-14 Morgan DetersFix warning (line annotation)
 commit | commitdiff | tree
2013-03-14 Morgan Detersfix to build system: #include the proper file when...
commit | commitdiff | tree
2013-03-09 Morgan DetersDisallow overflow in bitvector literals (parser only)
 commit | commitdiff | tree
2013-03-05 Morgan DetersMerge branch '1.0.x'
 commit | commitdiff | tree
2013-03-05 Morgan DetersBugfix for SmtEngine: proper unsubscribing for NodeManager...
commit | commitdiff | tree
2013-03-01 Morgan DetersMerge branch '1.0.x'
 commit | commitdiff | tree
2013-02-26 Morgan DetersBug fix for rep-set.
 commit | commitdiff | tree
2013-02-26 Morgan DetersFix for quantifiers containing Boolean terms.
 commit | commitdiff | tree
2013-02-20 Morgan DetersSingle -q quiets messages/warnings. Double -qq silences...
commit | commitdiff | tree
2013-02-20 Morgan DetersSome exception specification fixes in SmtEngine/Command...
commit | commitdiff | tree
2013-02-18 Morgan DetersFix for gitinfo (resolves bug 399).
 commit | commitdiff | tree
2013-02-16 Morgan DetersSome cleanup and copyright updating
 commit | commitdiff | tree
2013-02-16 Morgan DetersMerge branch '1.0.x'
 commit | commitdiff | tree
2013-02-16 Morgan DetersFix version identification for new git repository.
 commit | commitdiff | tree
2013-02-16 Morgan DetersFix typo in error message
 commit | commitdiff | tree
2013-02-15 Morgan DetersMerge branch '1.0.x'
 commit | commitdiff | tree
2013-02-15 Morgan DetersFix builds/ links to survive configuring twice with...
commit | commitdiff | tree
2013-02-15 Morgan DetersFix ECHO command in CVC language parser to not output...
commit | commitdiff | tree
2013-02-13 Morgan DetersFix a preprocessing performance issue.
 commit | commitdiff | tree
2013-02-08 Morgan DetersFix user-values in SMT-LIB v1.2
 commit | commitdiff | tree
2013-02-08 Morgan DetersMerge branch '1.0.x'
 commit | commitdiff | tree
2013-02-07 Morgan DetersOnly put quantifier assertions in model equality engine...
commit | commitdiff | tree
2013-02-07 Morgan DetersSignificant work on bug #491 (not yet closed).
 commit | commitdiff | tree
2013-02-07 Morgan DetersMore complete fix for bug 484 (includes fixes for records...
commit | commitdiff | tree
2013-02-07 Morgan DetersFix error in tuple type-checking.
 commit | commitdiff | tree
2013-02-07 Morgan DetersMake --default-dag-thresh apply to stringstreams
 commit | commitdiff | tree
2013-02-07 Morgan DetersDo not install the "private-library" header
 commit | commitdiff | tree
2013-02-07 Morgan Detersmake datatypes enumerator behavior clearer (no exceptions...
commit | commitdiff | tree
2013-02-07 Morgan Detersmake datatypes enumerator behavior clearer (no exceptions...
commit | commitdiff | tree
2013-02-05 Morgan DetersMerge branch '1.0.x'
 commit | commitdiff | tree
2013-02-05 Morgan DetersFix a compiler warning in NodeBuilder
 commit | commitdiff | tree
2013-02-05 Morgan DetersMerge branch '1.0.x'
 commit | commitdiff | tree
2013-02-05 Morgan Detersremove now-unnecessary wrappers from Type interface
 commit | commitdiff | tree
2013-02-05 Morgan DetersFix to miplib trick to make it less "cautious" and...
commit | commitdiff | tree
2013-02-05 Morgan Detersdos2unix conversion for a number of files; this avoids...
commit | commitdiff | tree
2013-02-04 Morgan DetersMerge branch '1.0.x'
 commit | commitdiff | tree
2013-02-04 Morgan DetersFix NodeBuilder bug which could attempt to allocate...
commit | commitdiff | tree
2013-02-04 Morgan Detersdriver::totalTime statistic is now reported correctly...
commit | commitdiff | tree
2013-02-04 Morgan Detersfixed files with DOS newlines; fixed contrib/ scripts...
commit | commitdiff | tree
2013-02-04 Morgan DetersSome fixes for the miplib preprocessing pass.
 commit | commitdiff | tree
2013-02-04 Morgan DetersPrinting commands as they're executed now requires...
commit | commitdiff | tree
2013-02-04 Morgan DetersMerge branch '1.0.x'
 commit | commitdiff | tree
2013-02-04 Morgan DetersModel no longer adds subterms of quantifiers to equality...
Signed-off-by: Morgan Deters <mdeters@cs.nyu.edu>
 commit | commitdiff | tree
2013-02-03 Morgan DetersSome cleanup of miplib regressions and options
 commit | commitdiff | tree
2013-02-03 Morgan DetersMerge from mdeters/miplib branch (commit 'ce7c485182902ae438...
commit | commitdiff | tree
2013-02-03 Morgan Detersnew option for doing top-level miplib substitutions...
commit | commitdiff | tree
2013-02-03 Morgan Detersextended miplib trick to 6 vars, should work on pp...
commit | commitdiff | tree
2013-02-03 Morgan Detersnew miplib pass, works for 1 or 2 vars
 commit | commitdiff | tree
2013-02-03 Morgan DetersRemove old miplibtrick from arith static learner
 commit | commitdiff | tree
2013-02-03 Morgan Deterscorrect output language bug with --dump-to
 commit | commitdiff | tree
2013-02-01 Morgan DetersMerge branch '1.0.x'
 commit | commitdiff | tree
2013-02-01 Morgan DetersFix a tuple attribute bug that was causing model-generation...
commit | commitdiff | tree
2013-01-31 Morgan DetersMerge branch '1.0.x'
 commit | commitdiff | tree
2013-01-31 Morgan DetersFix a small problem in clang builds due to namespaces...
commit | commitdiff | tree
2013-01-31 Morgan DetersFix a small problem in clang builds due to namespaces...
commit | commitdiff | tree
2013-01-30 Morgan Deterscorrect output language bug with --dump-to
 commit | commitdiff | tree
2013-01-28 Morgan DetersUpdated NEWS for recent changes.
 commit | commitdiff | tree
2013-01-28 Morgan DetersFixes for Win32 (closes bugs 488 and 489)
 commit | commitdiff | tree
2013-01-28 Morgan DetersMerge branch '1.0.x'
 commit | commitdiff | tree
2013-01-28 Morgan DetersFix the regression test for bug 486, and enable it
 commit | commitdiff | tree
2013-01-28 Morgan DetersFix the regression test for bug 486, and enable it
 commit | commitdiff | tree
2013-01-28 Morgan Deterssome fixes for win32, including ability to "make check...
commit | commitdiff | tree
2013-01-27 Morgan DetersMerge branch '1.0.x'
 commit | commitdiff | tree
2013-01-27 Morgan Detersanother fix for quantifier models (related to bug 486)
 commit | commitdiff | tree
2013-01-25 Morgan Detersfix --check-model --finite-model-find when used together...
commit | commitdiff | tree
2013-01-25 Morgan DetersFix errors and reduce warnings on clang (merge from...
commit | commitdiff | tree
2013-01-25 Morgan Detersfix --check-model --finite-model-find when used together...
commit | commitdiff | tree
2013-01-24 Morgan DetersAdd win32 support (merge from mdeters/win32, with some...
commit | commitdiff | tree
2013-01-23 Morgan DetersMerge branch '1.0.x'
 commit | commitdiff | tree
2013-01-23 Morgan Detersfix to workaround ANTLR 3.2 issue with initialization
 commit | commitdiff | tree
2013-01-23 Morgan Deterspartially address bug 486: allow some model inspection...
commit | commitdiff | tree
2013-01-23 Morgan Deterspartially address bug 486: allow some model inspection...
commit | commitdiff | tree
2013-01-23 Morgan Detersupdate NEWS file
 commit | commitdiff | tree
2013-01-23 Morgan Detersadd user patterns to the Smt1 parser; update NEWS file
 commit | commitdiff | tree
2013-01-22 Morgan DetersMerge branch '1.0.x'
 commit | commitdiff | tree
2013-01-22 Morgan Detersfix for theory preprocessing cache on clang, perhaps...
commit | commitdiff | tree
2013-01-22 Morgan DetersMerge branch '1.0.x'
 commit | commitdiff | tree
2013-01-22 Morgan Detersupdate ANTLR URLs (antlr.org -> antlr3.org)
 commit | commitdiff | tree
next