projects
/
cvc5.git
/ search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
Fix for an array-of-record model generation assert-fail (assert was too strong).
2014-10-02
Morgan Deters
Fix for an array-of-record model generation assert...
commit
|
commitdiff
|
tree
2014-09-30
Morgan Deters
Fix improper #inclusion of private header outside library.
commit
|
commitdiff
|
tree
2014-09-30
Morgan Deters
Fix a command-replay bug in tear-down-incremental mode...
commit
|
commitdiff
|
tree
2014-09-27
Morgan Deters
Fix infinite loop in --bitblast-aig/--bv-aig-simp options.
commit
|
commitdiff
|
tree
2014-09-26
Morgan Deters
Fix bv options doc.
commit
|
commitdiff
|
tree
2014-09-26
Morgan Deters
Fix some configuration-related oddness.
commit
|
commitdiff
|
tree
2014-09-26
Morgan Deters
Clarify some licensing-related things.
commit
|
commitdiff
|
tree
2014-08-22
Morgan Deters
Fix incorrectly-labeled test.
commit
|
commitdiff
|
tree
2014-08-22
Morgan Deters
Fix operator-printing issue in SMT2.
commit
|
commitdiff
|
tree
2014-08-22
Morgan Deters
Fix SMT1 parser :extrasorts/:extrapreds.
commit
|
commitdiff
|
tree
2014-08-19
Morgan Deters
Produce error for bad indexed function names in SMT...
commit
|
commitdiff
|
tree
2014-08-18
Morgan Deters
Revert a8e0ce67 and add test case (resolves bug #578).
commit
|
commitdiff
|
tree
2014-08-04
Morgan Deters
Some fixes to symmetry breaker (resolves bug 576).
commit
|
commitdiff
|
tree
2014-07-13
Morgan Deters
New versioning for development version.
commit
|
commitdiff
|
tree
2014-07-13
Morgan Deters
Cutting release 1.4.
commit
|
commitdiff
|
tree
2014-07-13
Morgan Deters
Status for new bug testcase.
commit
|
commitdiff
|
tree
2014-07-13
Morgan Deters
Fix a bug in Boolean terms and arrays. Thanks to Jean...
commit
|
commitdiff
|
tree
2014-07-11
Morgan Deters
Spelling.
commit
|
commitdiff
|
tree
2014-07-02
Morgan Deters
Fix cut-release script for new configure rules.
commit
|
commitdiff
|
tree
2014-07-02
Morgan Deters
Minor.
commit
|
commitdiff
|
tree
2014-07-01
Morgan Deters
Fix path in CASC J7 scripts, and distribute them with...
commit
|
commitdiff
|
tree
2014-07-01
Morgan Deters
Update copyrights.
commit
|
commitdiff
|
tree
2014-07-01
Morgan Deters
reword NEWS
commit
|
commitdiff
|
tree
2014-06-28
Morgan Deters
Automatically make SMT options from command-line option...
commit
|
commitdiff
|
tree
2014-06-28
Morgan Deters
Fix bug in datatypes options specification
commit
|
commitdiff
|
tree
2014-06-27
Morgan Deters
Another fix for 32-bit (amends commit b825605).
commit
|
commitdiff
|
tree
2014-06-26
Morgan Deters
Fix for 32-bit (esp. win32 failing build).
commit
|
commitdiff
|
tree
2014-06-26
Morgan Deters
Merge tag 'smtcomp2014-resubmission'
commit
|
commitdiff
|
tree
2014-06-26
Morgan Deters
Potential fix for bug 573.
commit
|
commitdiff
|
tree
2014-06-26
Morgan Deters
Ignore error result when an error is squelched via...
commit
|
commitdiff
|
tree
2014-06-26
Morgan Deters
Remove leftover debugging output.
commit
|
commitdiff
|
tree
2014-06-26
Morgan Deters
Minor language bindings fixes.
commit
|
commitdiff
|
tree
2014-06-26
Morgan Deters
Add missing function definition.
commit
|
commitdiff
|
tree
2014-06-25
Morgan Deters
Turn strings-exp off by default (for the release)
commit
|
commitdiff
|
tree
2014-06-25
Morgan Deters
BinaryHeap unit test and some usability/build fixes...
commit
|
commitdiff
|
tree
2014-06-25
Morgan Deters
Stack-size portfolio fix. If using Boost 1.50, --thread...
commit
|
commitdiff
|
tree
2014-06-25
Morgan Deters
Fix some #line annotations.
commit
|
commitdiff
|
tree
2014-06-25
Morgan Deters
Don't allow libabc to load extensions at runtime.
commit
|
commitdiff
|
tree
2014-06-24
Morgan Deters
stack-size portfolio fix. boost 1.50 now required
commit
|
commitdiff
|
tree
2014-06-24
Morgan Deters
Fix header check for glpk.h.
commit
|
commitdiff
|
tree
2014-06-24
Morgan Deters
Squashed commit of the following:
commit
|
commitdiff
|
tree
2014-06-23
Morgan Deters
Fix header check for glpk.h.
commit
|
commitdiff
|
tree
2014-06-23
Morgan Deters
Fatal error if --unconstrained-simp and --produce-models...
commit
|
commitdiff
|
tree
2014-06-22
Morgan Deters
Output language "cvc3" (as opposed to "cvc" or "cvc4...
commit
|
commitdiff
|
tree
2014-06-22
Morgan Deters
Minor cleanup stuff.
commit
|
commitdiff
|
tree
2014-06-22
Morgan Deters
Better documentation pages.
commit
|
commitdiff
|
tree
2014-06-22
Morgan Deters
Re-enable UNTERMINATED_QUOTED_SYMBOL rules.
commit
|
commitdiff
|
tree
2014-06-22
Morgan Deters
Merge tag 'smtcomp2014-application'
commit
|
commitdiff
|
tree
2014-06-22
Morgan Deters
QuitCommand needs "success" output for trace executor...
commit
|
commitdiff
|
tree
2014-06-22
Morgan Deters
Final fixes for smtcomp2014-application.
commit
|
commitdiff
|
tree
2014-06-22
Morgan Deters
Another updated submission strategy.
commit
|
commitdiff
|
tree
2014-06-22
Morgan Deters
Another updated submission strategy.
commit
|
commitdiff
|
tree
2014-06-22
Morgan Deters
Run in application track with --check-models.
commit
|
commitdiff
|
tree
2014-06-22
Morgan Deters
Fix compiler warnings (mostly unused variables).
commit
|
commitdiff
|
tree
2014-06-22
Morgan Deters
API documentation improvements.
commit
|
commitdiff
|
tree
2014-06-22
Morgan Deters
Run in application track with --check-models.
commit
|
commitdiff
|
tree
2014-06-22
Morgan Deters
Fix compiler warnings in BV-related code (unused vars...
commit
|
commitdiff
|
tree
2014-06-22
Morgan Deters
Fix to the compatibility library (this does fix the...
commit
|
commitdiff
|
tree
2014-06-21
Morgan Deters
Fix compat-Java layer, should fix build.
commit
|
commitdiff
|
tree
2014-06-21
Morgan Deters
Sets kinds documentation
commit
|
commitdiff
|
tree
2014-06-21
Morgan Deters
Lower the Java JRE version requirement.
commit
|
commitdiff
|
tree
2014-06-21
Morgan Deters
Adjust library dependencies to be more correct (fixes...
commit
|
commitdiff
|
tree
2014-06-21
Morgan Deters
Add some missing functions in configuration and compat...
commit
|
commitdiff
|
tree
2014-06-21
Morgan Deters
Slightly-improved kinds documentation for builtin,...
commit
|
commitdiff
|
tree
2014-06-21
Morgan Deters
Minor fixes for man pages.
commit
|
commitdiff
|
tree
2014-06-21
Morgan Deters
Some minor cleanup and documentation.
commit
|
commitdiff
|
tree
2014-06-21
Morgan Deters
Implement RecordProperties::mkGroundTerm(). Resolves...
commit
|
commitdiff
|
tree
2014-06-21
Morgan Deters
Bit-vector kinds documentation
commit
|
commitdiff
|
tree
2014-06-21
Morgan Deters
Datatypes kinds documentation
commit
|
commitdiff
|
tree
2014-06-21
Morgan Deters
Quantifiers kinds documentation
commit
|
commitdiff
|
tree
2014-06-21
Morgan Deters
UF kinds documentation
commit
|
commitdiff
|
tree
2014-06-19
Morgan Deters
Better --segv-spin messages.
commit
|
commitdiff
|
tree
2014-06-19
Morgan Deters
Fix make install-examples.
commit
|
commitdiff
|
tree
2014-06-19
Morgan Deters
Proper escaping in option documentation.
commit
|
commitdiff
|
tree
2014-06-19
Morgan Deters
Version of the run script that works with trace executor...
commit
|
commitdiff
|
tree
2014-06-19
Morgan Deters
Options script fix.
commit
|
commitdiff
|
tree
2014-06-19
Morgan Deters
Fix for mac readline.
commit
|
commitdiff
|
tree
2014-06-19
Morgan Deters
Better error for invalid concrete syntax of sorts with...
commit
|
commitdiff
|
tree
2014-06-19
Morgan Deters
Fix GLPK builds: correct access specifier on cut classes.
commit
|
commitdiff
|
tree
2014-06-19
Morgan Deters
Java bindings fixes.
commit
|
commitdiff
|
tree
2014-06-19
Morgan Deters
Minor Doxygen fixes.
commit
|
commitdiff
|
tree
2014-06-19
Morgan Deters
Fix for pre-C++11 is_sorted().
commit
|
commitdiff
|
tree
2014-06-19
Morgan Deters
More minor code cleanup.
commit
|
commitdiff
|
tree
2014-06-19
Morgan Deters
No more dependence on libstdc++ or PBDS stuff: remove...
commit
|
commitdiff
|
tree
2014-06-19
Morgan Deters
New translator features: expand define-funs and combine...
commit
|
commitdiff
|
tree
2014-06-19
Morgan Deters
Code cleanup.
commit
|
commitdiff
|
tree
2014-06-19
Morgan Deters
Documentation clean-ups.
commit
|
commitdiff
|
tree
2014-06-19
Morgan Deters
Another fix for the CASC stuff.
commit
|
commitdiff
|
tree
2014-06-19
Morgan Deters
Final preparations for arithmetic for building with...
commit
|
commitdiff
|
tree
2014-06-19
Morgan Deters
Fix for new CASC features, fixes Java builds.
commit
|
commitdiff
|
tree
2014-06-19
Morgan Deters
Some reversions of recent commits re: portfolio failure.
commit
|
commitdiff
|
tree
2014-06-19
Morgan Deters
Test portfolio with --no-wait-to-join.
commit
|
commitdiff
|
tree
2014-06-19
Morgan Deters
Fix rewriter typo.
commit
|
commitdiff
|
tree
2014-06-19
Morgan Deters
Clean up glpk detection a little, fix a detection bug.
commit
|
commitdiff
|
tree
2014-06-19
Morgan Deters
fix typo
commit
|
commitdiff
|
tree
2014-06-19
Morgan Deters
More application-track fixes for use with trace executor.
commit
|
commitdiff
|
tree
2014-06-19
Morgan Deters
Versioning preparation.
commit
|
commitdiff
|
tree
2014-06-19
Morgan Deters
Some fixes for tear-down-incremental and "success"...
commit
|
commitdiff
|
tree
2014-06-19
Morgan Deters
Disallow context-dependent copy/assignment.
commit
|
commitdiff
|
tree
2014-06-19
Morgan Deters
Fix compile errors with some versions of GCC.
commit
|
commitdiff
|
tree
next