projects
/
cvc5.git
/ search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
Make output list of `mkoptions.py` more accurate (#6572)
2021-05-19
Andres Noetzli
Make output list of `mkoptions.py` more accurate (...
commit
|
commitdiff
|
tree
2021-05-19
Andres Noetzli
Improve handling of `:named` attributes (#6549)
commit
|
commitdiff
|
tree
2021-05-18
Andres Noetzli
Fix `collectEmptyEqs()` in string utils (#6562)
commit
|
commitdiff
|
tree
2021-05-17
Andres Noetzli
Fix `SPLIT_EQ_STRIP_R`/`SPLIT_EQ_STRIP_L` rewrites...
commit
|
commitdiff
|
tree
2021-05-17
Andres Noetzli
Include cinttypes instead of inttypes.h (#6548)
commit
|
commitdiff
|
tree
2021-05-14
Andres Noetzli
Decouple parser creation from input selection (#6533)
commit
|
commitdiff
|
tree
2021-05-13
Andres Noetzli
Always parse streams with line buffer (#6532)
commit
|
commitdiff
|
tree
2021-04-22
Andres Noetzli
Allow in-place construction of `CDList` items (#6409)
commit
|
commitdiff
|
tree
2021-04-20
Andres Noetzli
Fix `ANTLR3_COMMAND` for system ANTLR3 JAR (#6399)
commit
|
commitdiff
|
tree
2021-04-12
Andres Noetzli
Fix GitHub Actions macOS build (#6331)
commit
|
commitdiff
|
tree
2021-04-09
Andres Noetzli
Learn equalities involving Boolean variables (#6323)
Signed-off-by:
Andres Noetzli
noetzli@amazon.com
commit
|
commitdiff
|
tree
2021-04-06
Andres Noetzli
Remove template argument from `NodeBuilder` (#6290)
Signed-off-by:
Andres Noetzli
noetzli@amazon.com
commit
|
commitdiff
|
tree
2021-03-12
Andres Noetzli
Schedule preregistration lemmas to be satisfied after...
Signed-off-by:
Andres Noetzli
<noetzli@amazon.com>
commit
|
commitdiff
|
tree
2020-12-01
Andres Noetzli
Improve rewriting of str.<= (#4848)
commit
|
commitdiff
|
tree
2020-11-04
Andres Noetzli
Add constants from equality engine evaluation to model...
commit
|
commitdiff
|
tree
2020-11-03
Andres Noetzli
Add support for printing `re.loop` and `re.^` (#5392)
commit
|
commitdiff
|
tree
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
next