projects
/
cvc5.git
/ search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
Extended parsing testcase, with constant arrays and RESET.
2014-10-06
Morgan Deters
Extended parsing testcase, with constant arrays and...
commit
|
commitdiff
|
tree
2014-10-06
Morgan Deters
Merge branch '1.4.x'
commit
|
commitdiff
|
tree
2014-10-06
Morgan Deters
Fix native language parsing of chained-store expressions...
commit
|
commitdiff
|
tree
2014-10-06
Morgan Deters
Support for RESET command in CVC native language (and...
commit
|
commitdiff
|
tree
2014-10-04
Morgan Deters
Enable some old bug testcases that (maybe?) never got...
commit
|
commitdiff
|
tree
2014-10-03
Morgan Deters
Support exporting array-store-all expressions to other...
commit
|
commitdiff
|
tree
2014-10-03
Morgan Deters
Merge branch '1.4.x'
commit
|
commitdiff
|
tree
2014-10-03
Morgan Deters
Fix output of integer-valued real constants in SMT...
commit
|
commitdiff
|
tree
2014-10-03
Morgan Deters
Add some (so far trivial) regressions for constant...
commit
|
commitdiff
|
tree
2014-10-03
Morgan Deters
Improve error in CVC parser in presence of unrecognized...
commit
|
commitdiff
|
tree
2014-10-03
Morgan Deters
More array constants and parsing: better error messages...
commit
|
commitdiff
|
tree
2014-10-03
Morgan Deters
Minor fixes to CVC printer.
commit
|
commitdiff
|
tree
2014-10-03
Morgan Deters
SMT-LIB parser support for array constants (Z3 syntax).
commit
|
commitdiff
|
tree
2014-10-03
Morgan Deters
Merge branch '1.4.x'
commit
|
commitdiff
|
tree
2014-10-03
Morgan Deters
Note array const support in NEWS
commit
|
commitdiff
|
tree
2014-10-03
Morgan Deters
Fix unit test for ArrayStoreAll.
commit
|
commitdiff
|
tree
2014-10-02
Morgan Deters
Merge branch '1.4.x'.
commit
|
commitdiff
|
tree
2014-10-02
Morgan Deters
Update AUTHORS affiliations and add Martin.
commit
|
commitdiff
|
tree
2014-10-02
Morgan Deters
Fix comment in SmtEngine.
commit
|
commitdiff
|
tree
2014-10-02
Morgan Deters
Merge pull request #54 from kbansal/bugfix_setssegfault
commit
|
commitdiff
|
tree
2014-10-02
Morgan Deters
Fix for an array-of-record model generation assert...
commit
|
commitdiff
|
tree
2014-09-30
Morgan Deters
Merge branch '1.4.x'
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-30
Morgan Deters
Proofs- and cores-related segfault fixes (mainly a...
commit
|
commitdiff
|
tree
2014-09-27
Morgan Deters
Merge branch '1.4.x'
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
Merge branch '1.4.x'
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-09-26
Morgan Deters
Finer-grained resource-limiting in quantifiers.
commit
|
commitdiff
|
tree
2014-09-26
Morgan Deters
Fix AIG bitblaster for unsat cores.
commit
|
commitdiff
|
tree
2014-09-25
Morgan Deters
fix unit test for new fair datatype enumeration
commit
|
commitdiff
|
tree
2014-09-18
Morgan Deters
Resource spending support in theories (and especially...
commit
|
commitdiff
|
tree
2014-08-26
Morgan Deters
Improved SMT-LIBv2 language support for unsat cores.
commit
|
commitdiff
|
tree
2014-08-25
Morgan Deters
Fix build rule.
commit
|
commitdiff
|
tree
2014-08-25
Morgan Deters
Fix Win32 builds.
commit
|
commitdiff
|
tree
2014-08-23
Morgan Deters
Unsat core printing.
commit
|
commitdiff
|
tree
2014-08-23
Morgan Deters
Some fixes for dump- and get-unsat-core.
commit
|
commitdiff
|
tree
2014-08-23
Morgan Deters
Quieter finish to build.
commit
|
commitdiff
|
tree
2014-08-23
Morgan Deters
Unit test fix.
commit
|
commitdiff
|
tree
2014-08-22
Morgan Deters
One small thing forgotten in core commit.
commit
|
commitdiff
|
tree
2014-08-22
Morgan Deters
Java-side interface improvements for unsat cores.
commit
|
commitdiff
|
tree
2014-08-22
Morgan Deters
Unsat core infrastruture and API (SMT-LIB compliance...
commit
|
commitdiff
|
tree
2014-08-22
Morgan Deters
Merge branch '1.4.x'
commit
|
commitdiff
|
tree
2014-08-22
Morgan Deters
Fix incorrectly-labeled test.
commit
|
commitdiff
|
tree
2014-08-22
Morgan Deters
Merge branch '1.4.x'
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
Merge branch '1.4.x'
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
Merge branch '1.4.x'
commit
|
commitdiff
|
tree
2014-08-18
Morgan Deters
Revert a8e0ce67 and add test case (resolves bug #578).
commit
|
commitdiff
|
tree
2014-08-13
Morgan Deters
To avoid confusion, permit --enable-staticbinary as...
commit
|
commitdiff
|
tree
2014-08-09
Morgan Deters
Fix a build issue for some configurations, thanks Tianyi.
commit
|
commitdiff
|
tree
2014-08-07
Morgan Deters
Another build fix.
commit
|
commitdiff
|
tree
2014-08-07
Morgan Deters
Fix win32 build.
commit
|
commitdiff
|
tree
2014-08-06
Morgan Deters
Fix double-linking issue (I think) by simplifying builds...
commit
|
commitdiff
|
tree
2014-08-06
Morgan Deters
First crack at fixing double-linking issues in build...
commit
|
commitdiff
|
tree
2014-08-05
Morgan Deters
Fix for manpages.
commit
|
commitdiff
|
tree
2014-08-04
Morgan Deters
Some fixes to symmetry breaker (resolves bug 576).
commit
|
commitdiff
|
tree
2014-08-04
Morgan Deters
Some fixes to symmetry breaker (resolves bug 576).
commit
|
commitdiff
|
tree
2014-08-04
Morgan Deters
Better support for resource-limiting when there aren...
commit
|
commitdiff
|
tree
2014-07-13
Morgan Deters
Versioning for master.
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-07-01
Morgan Deters
Merge pull request #44 from mdeters/prio-queue-updates
commit
|
commitdiff
|
tree
2014-07-01
Morgan Deters
Merge pull request #45 from mdeters/turn-off-strings-exp
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
next