projects
/
cvc5.git
/ search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
Change SMT-EVAL run-script to use Tim's best QF_LRA command-line parameters
2013-05-07
Morgan Deters
Change SMT-EVAL run-script to use Tim's best QF_LRA...
commit
|
commitdiff
|
tree
2013-05-06
Morgan Deters
Removing excess verbosity from ApproxSimplex (after...
commit
|
commitdiff
|
tree
2013-05-01
Morgan Deters
Comment out some debug-related things in attribute...
commit
|
commitdiff
|
tree
2013-05-01
Morgan Deters
Fix to dumping re: boolean terms, datatypes
commit
|
commitdiff
|
tree
2013-05-01
Morgan Deters
Fix to boolean-terms; resolves bug #507
commit
|
commitdiff
|
tree
2013-05-01
Morgan Deters
Adding a missing makefile to the dist (fixes distcheck)
commit
|
commitdiff
|
tree
2013-04-29
Morgan Deters
Some fixes for GCC 4.2, and for Java on Mac
commit
|
commitdiff
|
tree
2013-04-29
Morgan Deters
Fixes to FCSimplex for some versions of compilers
commit
|
commitdiff
|
tree
2013-04-25
Morgan Deters
Add ability to run different regression levels with...
commit
|
commitdiff
|
tree
2013-04-24
Morgan Deters
Theory "alternates" support
commit
|
commitdiff
|
tree
2013-04-22
Morgan Deters
add bit0 and bit1 constants to smt-lib v1 parser
commit
|
commitdiff
|
tree
2013-04-09
Morgan Deters
Change TPTP parser to not use the STRING type; this...
commit
|
commitdiff
|
tree
2013-04-05
Morgan Deters
Fix unit test (compile error) for new SatSolver interface
commit
|
commitdiff
|
tree
2013-04-03
Morgan Deters
Prerelease versioning for master.
commit
|
commitdiff
|
tree
2013-04-03
Morgan Deters
Pre-release versioning
commit
|
commitdiff
|
tree
2013-04-03
Morgan Deters
Cutting release 1.1.
commit
|
commitdiff
|
tree
2013-04-03
Morgan Deters
Some final minor changes before cutting 1.1.
commit
|
commitdiff
|
tree
2013-04-02
Morgan Deters
Regenerated copyrights: canonicalized names, no emails
commit
|
commitdiff
|
tree
2013-04-02
Morgan Deters
Remove old README file from rewrite-rules left over...
commit
|
commitdiff
|
tree
2013-04-02
Morgan Deters
Fix get-authors script to not extract email addresses...
commit
|
commitdiff
|
tree
2013-04-02
Morgan Deters
One final fix to "make submission" rule
commit
|
commitdiff
|
tree
2013-04-02
Morgan Deters
update copyrights
commit
|
commitdiff
|
tree
2013-04-02
Morgan Deters
Adjust release Makefile rules, new run script
commit
|
commitdiff
|
tree
2013-04-02
Morgan Deters
Fixes for two bugs:
commit
|
commitdiff
|
tree
2013-04-01
Morgan Deters
Merging some cleanup work:
commit
|
commitdiff
|
tree
2013-04-01
Morgan Deters
Fix bug 491 and related issues with checkModel() and...
commit
|
commitdiff
|
tree
2013-03-29
Morgan Deters
make Boolean term conversion partially non-recursive...
commit
|
commitdiff
|
tree
2013-03-28
Morgan Deters
fix memory corruption in arrays destructor
commit
|
commitdiff
|
tree
2013-03-28
Morgan Deters
some Java bindings fixes (fixes Debian build problems)
commit
|
commitdiff
|
tree
2013-03-26
Morgan Deters
Fixes for warnings from clang++, from -std=gnu++0x...
commit
|
commitdiff
|
tree
2013-03-26
Morgan Deters
Make --incremental the default when running interactively
commit
|
commitdiff
|
tree
2013-03-26
Morgan Deters
java input stream adapters working
commit
|
commitdiff
|
tree
2013-03-25
Morgan Deters
Fix for SCM detection
commit
|
commitdiff
|
tree
2013-03-24
Morgan Deters
Fix bug in portfolio executor output; fixes nightly...
commit
|
commitdiff
|
tree
2013-03-22
Morgan Deters
Support for Boolean term conversion in datatypes.
commit
|
commitdiff
|
tree
2013-03-21
Morgan Deters
Better error in case of nonlinear assertions while...
commit
|
commitdiff
|
tree
2013-03-21
Morgan Deters
Add the ability to "mute" commands, needed for SMT...
commit
|
commitdiff
|
tree
2013-03-21
Morgan Deters
Some model and printing fixes for defined functions...
commit
|
commitdiff
|
tree
2013-03-21
Morgan Deters
Fix for SmtEngine::expandDefinitions()---improper TypeChecki...
commit
|
commitdiff
|
tree
2013-03-21
Morgan Deters
Better reporting of detached git state in --version...
commit
|
commitdiff
|
tree
2013-03-21
Morgan Deters
Fix to bug 497: make justification heuristic's ITE...
commit
|
commitdiff
|
tree
2013-03-21
Morgan Deters
Remove unintentionally-committed-to-master README from...
commit
|
commitdiff
|
tree
2013-03-20
Morgan Deters
Interactive mode support for multiline input
commit
|
commitdiff
|
tree
2013-03-20
Morgan Deters
Properly |quote| symbols in SMT-LIBv2 output.
commit
|
commitdiff
|
tree
2013-03-20
Morgan Deters
Some statistics for narrowing down incrementality issues...
commit
|
commitdiff
|
tree
2013-03-19
Morgan Deters
Minor cleanup of sources
commit
|
commitdiff
|
tree
2013-03-19
Morgan Deters
Fixes for miplib-trick application (and a new testcase)
commit
|
commitdiff
|
tree
2013-03-19
Morgan Deters
Remove PropositionalQuery class and all CUDD-related...
commit
|
commitdiff
|
tree
2013-03-19
Morgan Deters
Minor fixes to build system
commit
|
commitdiff
|
tree
2013-03-15
Morgan Deters
Boolean terms rewriting for quantified variables of...
commit
|
commitdiff
|
tree
2013-03-15
Morgan Deters
Merge branch '1.0.x'
commit
|
commitdiff
|
tree
2013-03-15
Morgan Deters
fix up build system for swig (d242c30 introduced a...
commit
|
commitdiff
|
tree
2013-03-14
Morgan Deters
Merge branch '1.0.x'
commit
|
commitdiff
|
tree
2013-03-14
Morgan Deters
Fix warning (line annotation)
commit
|
commitdiff
|
tree
2013-03-14
Morgan Deters
fix to build system: #include the proper file when...
commit
|
commitdiff
|
tree
2013-03-09
Morgan Deters
Disallow overflow in bitvector literals (parser only)
commit
|
commitdiff
|
tree
2013-03-05
Morgan Deters
Merge branch '1.0.x'
commit
|
commitdiff
|
tree
2013-03-05
Morgan Deters
Bugfix for SmtEngine: proper unsubscribing for NodeManager...
commit
|
commitdiff
|
tree
2013-03-01
Morgan Deters
Merge branch '1.0.x'
commit
|
commitdiff
|
tree
2013-02-26
Morgan Deters
Bug fix for rep-set.
commit
|
commitdiff
|
tree
2013-02-26
Morgan Deters
Fix for quantifiers containing Boolean terms.
commit
|
commitdiff
|
tree
2013-02-20
Morgan Deters
Single -q quiets messages/warnings. Double -qq silences...
commit
|
commitdiff
|
tree
2013-02-20
Morgan Deters
Some exception specification fixes in SmtEngine/Command...
commit
|
commitdiff
|
tree
2013-02-18
Morgan Deters
Fix for gitinfo (resolves bug 399).
commit
|
commitdiff
|
tree
2013-02-16
Morgan Deters
Some cleanup and copyright updating
commit
|
commitdiff
|
tree
2013-02-16
Morgan Deters
Merge branch '1.0.x'
commit
|
commitdiff
|
tree
2013-02-16
Morgan Deters
Fix version identification for new git repository.
commit
|
commitdiff
|
tree
2013-02-16
Morgan Deters
Fix typo in error message
commit
|
commitdiff
|
tree
2013-02-15
Morgan Deters
Merge branch '1.0.x'
commit
|
commitdiff
|
tree
2013-02-15
Morgan Deters
Fix builds/ links to survive configuring twice with...
commit
|
commitdiff
|
tree
2013-02-15
Morgan Deters
Fix ECHO command in CVC language parser to not output...
commit
|
commitdiff
|
tree
2013-02-13
Morgan Deters
Fix a preprocessing performance issue.
commit
|
commitdiff
|
tree
2013-02-08
Morgan Deters
Fix user-values in SMT-LIB v1.2
commit
|
commitdiff
|
tree
2013-02-08
Morgan Deters
Merge branch '1.0.x'
commit
|
commitdiff
|
tree
2013-02-07
Morgan Deters
Only put quantifier assertions in model equality engine...
commit
|
commitdiff
|
tree
2013-02-07
Morgan Deters
Significant work on bug #491 (not yet closed).
commit
|
commitdiff
|
tree
2013-02-07
Morgan Deters
More complete fix for bug 484 (includes fixes for records...
commit
|
commitdiff
|
tree
2013-02-07
Morgan Deters
Fix error in tuple type-checking.
commit
|
commitdiff
|
tree
2013-02-07
Morgan Deters
Make --default-dag-thresh apply to stringstreams
commit
|
commitdiff
|
tree
2013-02-07
Morgan Deters
Do not install the "private-library" header
commit
|
commitdiff
|
tree
2013-02-07
Morgan Deters
make datatypes enumerator behavior clearer (no exceptions...
commit
|
commitdiff
|
tree
2013-02-07
Morgan Deters
make datatypes enumerator behavior clearer (no exceptions...
commit
|
commitdiff
|
tree
2013-02-05
Morgan Deters
Merge branch '1.0.x'
commit
|
commitdiff
|
tree
2013-02-05
Morgan Deters
Fix a compiler warning in NodeBuilder
commit
|
commitdiff
|
tree
2013-02-05
Morgan Deters
Merge branch '1.0.x'
commit
|
commitdiff
|
tree
2013-02-05
Morgan Deters
remove now-unnecessary wrappers from Type interface
commit
|
commitdiff
|
tree
2013-02-05
Morgan Deters
Fix to miplib trick to make it less "cautious" and...
commit
|
commitdiff
|
tree
2013-02-05
Morgan Deters
dos2unix conversion for a number of files; this avoids...
commit
|
commitdiff
|
tree
2013-02-04
Morgan Deters
Merge branch '1.0.x'
commit
|
commitdiff
|
tree
2013-02-04
Morgan Deters
Fix NodeBuilder bug which could attempt to allocate...
commit
|
commitdiff
|
tree
2013-02-04
Morgan Deters
driver::totalTime statistic is now reported correctly...
commit
|
commitdiff
|
tree
2013-02-04
Morgan Deters
fixed files with DOS newlines; fixed contrib/ scripts...
commit
|
commitdiff
|
tree
2013-02-04
Morgan Deters
Some fixes for the miplib preprocessing pass.
commit
|
commitdiff
|
tree
2013-02-04
Morgan Deters
Printing commands as they're executed now requires...
commit
|
commitdiff
|
tree
2013-02-04
Morgan Deters
Merge branch '1.0.x'
commit
|
commitdiff
|
tree
2013-02-04
Morgan Deters
Model no longer adds subterms of quantifiers to equality...
Signed-off-by: Morgan Deters <
mdeters@cs.nyu.edu
>
commit
|
commitdiff
|
tree
2013-02-03
Morgan Deters
Some cleanup of miplib regressions and options
commit
|
commitdiff
|
tree
2013-02-03
Morgan Deters
Merge from mdeters/miplib branch (commit 'ce7c485182902ae438...
commit
|
commitdiff
|
tree
2013-02-03
Morgan Deters
new option for doing top-level miplib substitutions...
commit
|
commitdiff
|
tree
2013-02-03
Morgan Deters
extended miplib trick to 6 vars, should work on pp...
commit
|
commitdiff
|
tree
next