projects
/
cvc5.git
/ search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
Finer-grained resource-limiting in quantifiers.
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-05
lianah
fixed bug575 for bv models
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
Tim King
Fixing the previous bugfix.
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
Tim King
Alternative lazier heuristic for assertion rewriting.
commit
|
commitdiff
|
tree
2014-06-24
Tim King
Fixing a soundness bug in arithmetic and a roubustness...
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
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
More doc fixes; fixes some lintian warnings.
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
next