projects
/
cvc5.git
/ shortlog
commit
grep
author
committer
pickaxe
?
search:
re
summary
| shortlog |
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
cvc5.git
2013-01-29
lianah
fixes
commit
|
commitdiff
|
tree
2013-01-29
lianah
compiling implementation of new slicer finished; need...
commit
|
commitdiff
|
tree
2013-01-25
lianah
starting the slicer form scratch.
commit
|
commitdiff
|
tree
2013-01-25
lianah
minor changes trying to optimize the slicing code
commit
|
commitdiff
|
tree
2013-01-15
lianah
fixed more minor bugs
commit
|
commitdiff
|
tree
2013-01-11
lianah
fixed most bugs and added paranoid assertions
commit
|
commitdiff
|
tree
2013-01-10
Liana Hadarean
minor bug fixes
commit
|
commitdiff
|
tree
2013-01-10
Liana Hadarean
slicer bug fixing
commit
|
commitdiff
|
tree
2012-12-13
lianah
more slicer bug fixes
commit
|
commitdiff
|
tree
2012-12-11
Liana Hadarean
fixed some slicer bugs; set up bv theory to run bit...
commit
|
commitdiff
|
tree
2012-12-11
Liana Hadarean
ported my bv-core branch from svn to git
commit
|
commitdiff
|
tree
2012-12-08
Morgan Deters
Merge from 1.0.x (bugfix for 476).
commit
|
commitdiff
|
tree
2012-12-08
Morgan Deters
Fix bug 476: when CxxTest is not found, make the error...
commit
|
commitdiff
|
tree
2012-12-07
François Bobot
Merge release branch '1.0.x'
commit
|
commitdiff
|
tree
2012-12-07
Morgan Deters
Fix to portfolio builds
commit
|
commitdiff
|
tree
2012-12-07
Kshitij Bansal
Fix performance issue in a DFS search (bug 474)
commit
|
commitdiff
|
tree
2012-12-06
Morgan Deters
Fix to portfolio builds
commit
|
commitdiff
|
tree
2012-12-06
Kshitij Bansal
Fix performance issue in a DFS search (bug 474)
commit
|
commitdiff
|
tree
2012-12-06
François Bobot
Merge branch 'release-1.0.x'
commit
|
commitdiff
|
tree
2012-12-06
Morgan Deters
* some build fixes; thanks; thanks to Kunal Ganeshpure...
commit
|
commitdiff
|
tree
2012-12-06
Morgan Deters
distribute the find_public_interface.sh script
commit
|
commitdiff
|
tree
2012-12-06
Morgan Deters
version numbering
commit
|
commitdiff
|
tree
2012-12-06
Clark Barrett
Fix for fuzzer-found model bug
commit
|
commitdiff
|
tree
2012-12-06
Morgan Deters
* tuple and record support in compatibility library
commit
|
commitdiff
|
tree
2012-12-06
Morgan Deters
* some build fixes; thanks; thanks to Kunal Ganeshpure...
commit
|
commitdiff
|
tree
2012-12-05
Tim King
Improved garbage collection for TheoryArith. The merge...
commit
|
commitdiff
|
tree
2012-12-05
Tim King
Cleanup of arithmetic, and some new utility functions...
commit
|
commitdiff
|
tree
2012-12-05
Tim King
This commit merges in CDTrailHashMap and CDInsertHashMa...
commit
|
commitdiff
|
tree
2012-12-04
Kshitij Bansal
* Add support for --decision=justification + incrementa...
commit
|
commitdiff
|
tree
2012-12-03
Morgan Deters
distribute the find_public_interface.sh script
commit
|
commitdiff
|
tree
2012-12-03
Morgan Deters
version numbering
commit
|
commitdiff
|
tree
2012-12-03
Clark Barrett
Fix for fuzzer-found model bug
commit
|
commitdiff
|
tree
2012-12-01
Morgan Deters
Cutting release 1.0.
commit
|
commitdiff
|
tree
2012-12-01
Morgan Deters
fix cut-release sanity checks
commit
|
commitdiff
|
tree
2012-12-01
Morgan Deters
fix to TNode assertion (which is too strict, given...
commit
|
commitdiff
|
tree
2012-12-01
Clark Barrett
Throw a logic exception if user makes an assertion...
commit
|
commitdiff
|
tree
2012-12-01
Morgan Deters
remove instantiator framework
commit
|
commitdiff
|
tree
2012-12-01
Morgan Deters
Fix the way abstract values are typed; fixes some compl...
commit
|
commitdiff
|
tree
2012-12-01
Morgan Deters
fix memory corruption issue in debug builds that led...
commit
|
commitdiff
|
tree
2012-12-01
Morgan Deters
remove an obsolete (and incorrect) assertion in boolean...
commit
|
commitdiff
|
tree
2012-12-01
Morgan Deters
fix java system test dependences
commit
|
commitdiff
|
tree
2012-12-01
Andrew Reynolds
drastic simplification of quantifiers code regarding...
commit
|
commitdiff
|
tree
2012-12-01
Tim King
Fix for a CLN related bug on 32 bit systems. Integer...
commit
|
commitdiff
|
tree
2012-12-01
Morgan Deters
Some fixes for boolean arrays
commit
|
commitdiff
|
tree
2012-12-01
Morgan Deters
fix #line annotation warning
commit
|
commitdiff
|
tree
2012-12-01
Morgan Deters
updated examples
commit
|
commitdiff
|
tree
2012-12-01
Liana Hadarean
added a new example for the combination of bit-vectors...
commit
|
commitdiff
|
tree
2012-12-01
Morgan Deters
another part of last commit
commit
|
commitdiff
|
tree
2012-12-01
Morgan Deters
definition-expansion fixed for get-model, resolves...
commit
|
commitdiff
|
tree
2012-12-01
Tim King
Polishing API examples.
commit
|
commitdiff
|
tree
2012-12-01
Tim King
Adding SmtEngine::setLogic(const char* logic) so that...
commit
|
commitdiff
|
tree
2012-11-30
Tim King
Fixes for stricter compilers Andy brought to my attention.
commit
|
commitdiff
|
tree
2012-11-30
Tim King
Changing the documentation of ARR_TABLE_FUN to say...
commit
|
commitdiff
|
tree
2012-11-30
Morgan Deters
all API examples now have java versions too; bitvectors...
commit
|
commitdiff
|
tree
2012-11-30
Morgan Deters
incorporating some comments from Clark
commit
|
commitdiff
|
tree
2012-11-30
Clark Barrett
Fix assertion in smt_engine's getValue
commit
|
commitdiff
|
tree
2012-11-30
Tim King
Updating the combination.cpp example.
commit
|
commitdiff
|
tree
2012-11-30
Tim King
Committing tests to potentially discover an obscure...
commit
|
commitdiff
|
tree
2012-11-30
Morgan Deters
renaming --smtlib to --smtlib-strict; removing --smtlib...
commit
|
commitdiff
|
tree
2012-11-30
Morgan Deters
internal variables (skolems) aren't printed as part...
commit
|
commitdiff
|
tree
2012-11-30
Morgan Deters
change detection/handling of output language more reaso...
commit
|
commitdiff
|
tree
2012-11-30
Andrew Reynolds
quantifiers now uses master equality engine, preparatio...
commit
|
commitdiff
|
tree
2012-11-30
Andrew Reynolds
parametric datatypes fix related to non-ascribed type...
commit
|
commitdiff
|
tree
2012-11-30
Liana Hadarean
added a simple API example example showing how to use...
commit
|
commitdiff
|
tree
2012-11-30
Tim King
Changes to SExpr to accept autoconversion from bool...
commit
|
commitdiff
|
tree
2012-11-30
Tim King
Adding smtname level options for tlimit, rlimit, etc...
commit
|
commitdiff
|
tree
2012-11-30
Morgan Deters
Partial fix for bug 435; still needs some effort.
commit
|
commitdiff
|
tree
2012-11-30
Morgan Deters
Add some regressions for bug 438.
commit
|
commitdiff
|
tree
2012-11-30
Morgan Deters
fix rewrite-rules syntax in regression
commit
|
commitdiff
|
tree
2012-11-30
Morgan Deters
minor fix to release script
commit
|
commitdiff
|
tree
2012-11-30
François Bobot
fix the syntax of assert-rewrite/-propagation/-reductio...
commit
|
commitdiff
|
tree
2012-11-29
Kshitij Bansal
reliable benchmark corresponding to bug468
commit
|
commitdiff
|
tree
2012-11-29
Andrew Reynolds
require type ascriptions for parametric datatype constr...
commit
|
commitdiff
|
tree
2012-11-29
Morgan Deters
Fix for hidden symbols in library on Mac. It's a stran...
commit
|
commitdiff
|
tree
2012-11-29
Andrew Reynolds
fixes bug 438, incorporate subtypes into type unificati...
commit
|
commitdiff
|
tree
2012-11-29
Morgan Deters
fix for andy: boolean terms stuff really shouldn't...
commit
|
commitdiff
|
tree
2012-11-29
Morgan Deters
minor documentation fix
commit
|
commitdiff
|
tree
2012-11-29
Morgan Deters
svn:ignore property
commit
|
commitdiff
|
tree
2012-11-29
Clark Barrett
Fix for nasty corner case found by fuzzer...
commit
|
commitdiff
|
tree
2012-11-29
Kshitij Bansal
Hack to support global variables for CVC language exten...
commit
|
commitdiff
|
tree
2012-11-29
Clark Barrett
Fixing function models with Boolean terms. Also, LAMBD...
commit
|
commitdiff
|
tree
2012-11-28
Tim King
Adding the helloworld.cpp example.
commit
|
commitdiff
|
tree
2012-11-28
Kshitij Bansal
fix a potential race (have failed to reproduce)
commit
|
commitdiff
|
tree
2012-11-28
Clark Barrett
Fix for getValue. Now it can handle lambda applications
commit
|
commitdiff
|
tree
2012-11-28
Morgan Deters
Attempted "quick-fix" for QF_UF performance regression...
commit
|
commitdiff
|
tree
2012-11-28
Kshitij Bansal
treat all get commands like getValue (send only to...
commit
|
commitdiff
|
tree
2012-11-28
Kshitij Bansal
minor
commit
|
commitdiff
|
tree
2012-11-28
Morgan Deters
update to release notes
commit
|
commitdiff
|
tree
2012-11-28
Morgan Deters
Bug fix:
commit
|
commitdiff
|
tree
2012-11-28
Morgan Deters
fix: correct misleading comment in dump output
commit
|
commitdiff
|
tree
2012-11-27
Morgan Deters
Functions and predicates over Boolean now work with...
commit
|
commitdiff
|
tree
2012-11-27
Kshitij Bansal
fix in CommandSequence invoke : maintain success/failur...
commit
|
commitdiff
|
tree
2012-11-27
Morgan Deters
more mac fixes
commit
|
commitdiff
|
tree
2012-11-27
Morgan Deters
fix for some Mac builds
commit
|
commitdiff
|
tree
2012-11-27
Kshitij Bansal
Simplify --help=decision with only currently supported...
commit
|
commitdiff
|
tree
2012-11-27
Morgan Deters
give warning at configure-time about unsupported langua...
commit
|
commitdiff
|
tree
2012-11-27
Morgan Deters
do not turn on BV for QF_SAT
commit
|
commitdiff
|
tree
2012-11-27
Morgan Deters
First chunk of boolean-terms support.
commit
|
commitdiff
|
tree
2012-11-27
Morgan Deters
Tuples and records merge. Resolves bug 270.
commit
|
commitdiff
|
tree
2012-11-27
Tim King
Adding an example to show how to use arithmetic.
commit
|
commitdiff
|
tree
next