projects
/
cvc5.git
/ search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
(proof-new) Change merge policy for proof node updater (#5242)
2020-10-09
Andres Noetzli
reset-assertions: Remove all non-global symbols in...
Signed-off-by:
Andres Noetzli
<noetzli@amazon.com>
commit
|
commitdiff
|
tree
2020-09-23
Andres Noetzli
[Python API] Conversion to/from Unicode strings (#5120)
commit
|
commitdiff
|
tree
2020-09-22
Andres Noetzli
Fix compilation without LibPoly (#5118)
commit
|
commitdiff
|
tree
2020-09-18
Andres Noetzli
Fix muzzled builds (#5093)
commit
|
commitdiff
|
tree
2020-09-18
Andres Noetzli
[Strings] Fix extended equality rewriter (#5092)
commit
|
commitdiff
|
tree
2020-09-16
Andres Noetzli
Only rewrite replace_re(_all) if regexp is const (...
commit
|
commitdiff
|
tree
2020-09-15
Andres Noetzli
Fix ABC build (#5061)
commit
|
commitdiff
|
tree
2020-09-14
Andres Noetzli
Fix type for Windows build (#5062)
commit
|
commitdiff
|
tree
2020-09-08
Andres Noetzli
Make CVC/API BV div/mod semantics match SMT-LIB (#4997)
commit
|
commitdiff
|
tree
2020-09-02
Andres Noetzli
Fix CryptoMiniSat build, regression (#5006)
commit
|
commitdiff
|
tree
2020-09-02
Andres Noetzli
[Python API] Add missing methods to Datatype/Term ...
commit
|
commitdiff
|
tree
2020-09-02
Andres Noetzli
Use SMT-COMP configuration for competition build (...
commit
|
commitdiff
|
tree
2020-09-02
Andres Noetzli
[API] Fix Python Examples (#4943)
commit
|
commitdiff
|
tree
2020-08-31
Andres Noetzli
[CI] Fix Cython installation (#4983)
commit
|
commitdiff
|
tree
2020-08-19
Andres Noetzli
Require `--strings-exp` when using `str.substr` (#4916)
commit
|
commitdiff
|
tree
2020-08-19
Andres Noetzli
[Regressions] Do not test `--check-proofs` anymore...
commit
|
commitdiff
|
tree
2020-08-17
Andres Noetzli
[CI] Update package list (#4906)
commit
|
commitdiff
|
tree
2020-08-05
Andres Noetzli
[Strings] Add eager context-dependent evaluation (...
commit
|
commitdiff
|
tree
2020-08-03
Andres Noetzli
Update documentation for Solver::mkVar() (#4833)
commit
|
commitdiff
|
tree
2020-08-02
Andres Noetzli
Fix ASan failure in interactive_shell_black (#4827)
commit
|
commitdiff
|
tree
2020-08-02
Andres Noetzli
Ensure strict length constraint for decompose rule...
commit
|
commitdiff
|
tree
2020-07-30
Andres Noetzli
Python API: Add support for sequences (#4757)
commit
|
commitdiff
|
tree
2020-07-28
Andres Noetzli
Replace Expr with Node in Term/Op (#4781)
commit
|
commitdiff
|
tree
2020-07-17
Andres Noetzli
Add NodeManagerScopes to fix use-after-free issues...
commit
|
commitdiff
|
tree
2020-07-15
Andres Noetzli
Use Nodes for SmtEngine assertions (#4752)
commit
|
commitdiff
|
tree
2020-07-15
Andres Noetzli
Use TypeNode in UninterpretedConstant (#4748)
commit
|
commitdiff
|
tree
2020-07-14
Andres Noetzli
Use TypeNode in EmptySet (#4740)
commit
|
commitdiff
|
tree
2020-07-14
Andres Noetzli
Fix caching in TheoryEngine::getExplanation() (#4736)
commit
|
commitdiff
|
tree
2020-07-14
Andres Noetzli
Use TypeNode/Node in ArrayStoreAll (#4728)
commit
|
commitdiff
|
tree
2020-07-13
Andres Noetzli
Remove ExprSequence (#4724)
commit
|
commitdiff
|
tree
2020-07-10
Andres Noetzli
Always Update Git information when rebuilding (#4696)
commit
|
commitdiff
|
tree
2020-07-06
Andres Noetzli
[GitHub] Add link to fuzzing guidelines in issues ...
commit
|
commitdiff
|
tree
2020-07-03
Andres Noetzli
Remove SWIG bindings (#4683)
commit
|
commitdiff
|
tree
2020-07-01
Andres Noetzli
Add testing infrastructure for LFSC signatures (#4678)
commit
|
commitdiff
|
tree
2020-06-30
Andres Noetzli
Update NEWS post 1.8 release (#4666)
commit
|
commitdiff
|
tree
2020-06-29
Andres Noetzli
Make ExprManager constructor private (#4669)
commit
|
commitdiff
|
tree
2020-06-29
Andres Noetzli
Fix memory leak in unit test node_algorithm_black ...
commit
|
commitdiff
|
tree
2020-06-27
Andres Noetzli
Add API for retrieving separation heap/nil term (#4663)
commit
|
commitdiff
|
tree
2020-06-24
Andres Noetzli
Fix CVC4_EXTRAVERSION variable (#4653)
commit
|
commitdiff
|
tree
2020-06-24
Andres Noetzli
[unconstrained] Fix gathering of visited-once vars...
commit
|
commitdiff
|
tree
2020-06-19
Andres Noetzli
Update version information post 1.8 release (#4635)
commit
|
commitdiff
|
tree
2020-06-19
Andres Noetzli
Update info for 1.8 release (#4633)
commit
|
commitdiff
|
tree
2020-06-19
Andres Noetzli
Cleanup examples (#4634)
commit
|
commitdiff
|
tree
2020-06-19
Andres Noetzli
Add logic check for define-fun(s)-rec (#4577)
commit
|
commitdiff
|
tree
2020-06-18
Andres Noetzli
Improve memory management in Java bindings (#4629)
commit
|
commitdiff
|
tree
2020-06-12
Andres Noetzli
Fix install of static builds (#4604)
commit
|
commitdiff
|
tree
2020-06-10
Andres Noetzli
Add support for str.replace_re/str.replace_re_all ...
commit
|
commitdiff
|
tree
2020-06-09
Andres Noetzli
Language bindings: Enable catching of exceptions (...
commit
|
commitdiff
|
tree
2020-06-09
Andres Noetzli
Fix Java target and Relations example (#4583)
commit
|
commitdiff
|
tree
2020-06-08
Andres Noetzli
Fix ambiguous overload in unit test (#4582)
commit
|
commitdiff
|
tree
2020-06-08
Andres Noetzli
Fix Coverity issues (#4587)
commit
|
commitdiff
|
tree
2020-06-06
Andres Noetzli
Fix destruction order in NodeManager (#4578)
commit
|
commitdiff
|
tree
2020-06-06
Andres Noetzli
Keep definitions when global-declarations enabled ...
commit
|
commitdiff
|
tree
2020-06-05
Andres Noetzli
Skip parse-error regression for comp builds (#4567)
commit
|
commitdiff
|
tree
2020-06-05
Andres Noetzli
Fix handling of Boolean term variables (#4550)
commit
|
commitdiff
|
tree
2020-06-05
Andres Noetzli
Fix lifetime and copy issues with NodeDfsIterable ...
commit
|
commitdiff
|
tree
2020-06-05
Andres Noetzli
Update Java tests to match changes in API (#4535)
commit
|
commitdiff
|
tree
2020-06-01
Andres Noetzli
Set theoryof-mode after theory widening (#4545)
commit
|
commitdiff
|
tree
2020-06-01
Andres Noetzli
Do not parse ->/lambda unless --uf-ho enabled (#4544)
commit
|
commitdiff
|
tree
2020-05-31
Andres Noetzli
Do not cache operator eliminations in arith (#4542)
commit
|
commitdiff
|
tree
2020-05-24
Andres Noetzli
[SMT-COMP] Redirect non-answers to /dev/null (#4528)
commit
|
commitdiff
|
tree
2020-05-22
Andres Noetzli
[SMT-COMP] Use tear-down-incremental for arithmetic...
commit
|
commitdiff
|
tree
2020-05-19
Andres Noetzli
Make SolveEq and PlusCombineLikeTerms idempotent (...
commit
|
commitdiff
|
tree
2020-05-06
Andres Noetzli
Update run scripts for SMT-COMP 2020 (#4454)
commit
|
commitdiff
|
tree
2020-04-28
Andres Noetzli
Register lower bound for str.to_int (#4408)
commit
|
commitdiff
|
tree
2020-04-23
Andres Noetzli
Introduce best content heuristic for strings (#4382)
commit
|
commitdiff
|
tree
2020-04-23
Andres Noetzli
Strings: Register skolems before sending lemma (#4381)
commit
|
commitdiff
|
tree
2020-04-22
Andres Noetzli
Reinstantiate support for conjunctions in facts (#4377)
commit
|
commitdiff
|
tree
2020-04-08
Andres Noetzli
Perform theory widening eagerly (#4044)
commit
|
commitdiff
|
tree
2020-04-06
Andres Noetzli
Refactor disequality processing in string solver (...
commit
|
commitdiff
|
tree
2020-04-05
Andres Noetzli
Add safe_print() support for Kind enum (#4213)
commit
|
commitdiff
|
tree
2020-04-03
Andres Noetzli
Update theory rewriter ownership, add stats to strings...
commit
|
commitdiff
|
tree
2020-04-02
Andres Noetzli
Remove undocumented/uncommon aliases (#4177)
commit
|
commitdiff
|
tree
2020-04-02
Andres Noetzli
Initialize theory rewriters in theories (#4197)
commit
|
commitdiff
|
tree
2020-03-27
Andres Noetzli
Fix issues with unsat cores and reset-assertions (...
commit
|
commitdiff
|
tree
2020-03-25
Andres Noetzli
Support async-signal-safe printing of inferences (...
commit
|
commitdiff
|
tree
2020-03-23
Andres Noetzli
Collect statistics about normal form inferences (#4127)
commit
|
commitdiff
|
tree
2020-03-21
Andres Noetzli
Simplify heuristic in `processNEqc` (#4129)
commit
|
commitdiff
|
tree
2020-03-21
Andres Noetzli
Don't run bv_nat parse test with competition build...
commit
|
commitdiff
|
tree
2020-03-19
Andres Noetzli
Only apply testConstStringInRegExp to const regexp...
commit
|
commitdiff
|
tree
2020-03-19
Andres Noetzli
Only allow bv2nat/int2bv with BV and integer logic...
commit
|
commitdiff
|
tree
2020-03-16
Andres Noetzli
Create master equality engine at context level 0 (...
commit
|
commitdiff
|
tree
2020-03-11
Andres Noetzli
reset-assertions: Update TheoryEngine's PropEngine...
commit
|
commitdiff
|
tree
2020-03-11
Andres Noetzli
Introduce tables in the rewriter (#3742)
commit
|
commitdiff
|
tree
2020-03-11
Andres Noetzli
Set assertion in `CnfStream::ensureLiteral()` (#3927)
commit
|
commitdiff
|
tree
2020-03-09
Andres Noetzli
Make registration of unit clauses more robust (#3965)
commit
|
commitdiff
|
tree
2020-03-09
Andres Noetzli
Increase stack size for Windows builds to 100 MB (...
commit
|
commitdiff
|
tree
2020-03-09
Andres Noetzli
Fix quoting of options on Travis (#3981)
commit
|
commitdiff
|
tree
2020-03-06
Andres Noetzli
Ignore model check warning in regression test (#3926)
commit
|
commitdiff
|
tree
2020-03-06
Andres Noetzli
Make output of regression script more readable (#3911)
commit
|
commitdiff
|
tree
2020-03-06
Andres Noetzli
Remove --apply-to-const preprocessing pass (#3919)
commit
|
commitdiff
|
tree
2020-03-05
Andres Noetzli
Add a new arith constraint proof rule: IntTightenAP...
commit
|
commitdiff
|
tree
2020-03-03
Andres Noetzli
Fix `TheorySetsPrive::eqNotifyPostMerge()` (#3901)
commit
|
commitdiff
|
tree
2020-02-29
Andres Noetzli
Add support for str.from_code (#3829)
commit
|
commitdiff
|
tree
2020-02-27
Andres Noetzli
Fix -Wshadow warnings in common headers (#3826)
commit
|
commitdiff
|
tree
2020-02-26
Andres Noetzli
Remove portfolio leftovers (#3821)
commit
|
commitdiff
|
tree
2020-02-24
Andres Noetzli
Make lambda rewriter more robust (#3806)
commit
|
commitdiff
|
tree
2020-02-20
Andres Noetzli
Remove unused code (#3782)
commit
|
commitdiff
|
tree
2020-02-20
Andres Noetzli
Remove parser from bindings (#3779)
commit
|
commitdiff
|
tree
2020-02-16
Andres Noetzli
Activate reverse variant of F-Split inference (#3745)
commit
|
commitdiff
|
tree
next