projects
/
cvc5.git
/ search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first
⋅
prev
⋅
next
Get rid of some static objects in arithmetic theory (#8146)
2021-07-02
Andres Noetzli
Add reverse iterators to `Node`/`TNode` (#6825)
commit
|
commitdiff
|
tree
2021-06-23
Andres Noetzli
Remove `--tear-down-incremental` (#6745)
commit
|
commitdiff
|
tree
2021-06-21
Andres Noetzli
[Attributes] Remove parameter `context_dependent` ...
commit
|
commitdiff
|
tree
2021-06-19
Andres Noetzli
[CI] Build with all available cores (#6768)
commit
|
commitdiff
|
tree
2021-06-18
Andres Noetzli
Remove obsolete libpoly patch (#6762)
commit
|
commitdiff
|
tree
2021-06-18
Andres Noetzli
Fix CaDiCaL build on Windows (#6764)
commit
|
commitdiff
|
tree
2021-06-18
Andres Noetzli
Fix build without libpoly (#6759)
commit
|
commitdiff
|
tree
2021-06-16
Andres Noetzli
Archive SMT-COMP 2021 run scripts (#6748)
commit
|
commitdiff
|
tree
2021-06-14
Andres Noetzli
Final update to SMT-COMP 2021 options (#6739)
commit
|
commitdiff
|
tree
2021-06-09
Andres Noetzli
Make `--solve-int-as-bv=X` robust to rewriting (#6722)
commit
|
commitdiff
|
tree
2021-06-09
Andres Noetzli
Update CVC4 URLs/macros (#6666)
commit
|
commitdiff
|
tree
2021-06-09
Andres Noetzli
Reorder ITE rewrites (#6723)
commit
|
commitdiff
|
tree
2021-06-09
Andres Noetzli
Update options for SMT-COMP (#6704)
commit
|
commitdiff
|
tree
2021-06-09
Andres Noetzli
docs: Fix `Kind` description (#6712)
commit
|
commitdiff
|
tree
2021-06-05
Andres Noetzli
Remove unwanted side effects in `SPLIT_EQ_STRIP_L`...
commit
|
commitdiff
|
tree
2021-06-04
Andres Noetzli
Fix handling of start index in `str.indexof_re` (#6674)
commit
|
commitdiff
|
tree
2021-06-03
Andres Noetzli
[GitHub Actions] Make caching of dependencies depend...
commit
|
commitdiff
|
tree
2021-06-02
Andres Noetzli
Remove references to `bv-div-zero-const` in docs (...
commit
|
commitdiff
|
tree
2021-06-02
Andres Noetzli
Remove option to ignore negative memberships (#6665)
commit
|
commitdiff
|
tree
2021-06-02
Andres Noetzli
Make `STRINGS_CTN_DECOMPOSE` an explicit conflict ...
commit
|
commitdiff
|
tree
2021-05-31
Andres Noetzli
Remove invalid options from run scripts (#6645)
commit
|
commitdiff
|
tree
2021-05-31
Andres Noetzli
Compute model values for nested sequences in order...
commit
|
commitdiff
|
tree
2021-05-28
Andres Noetzli
Disable `--jh-rlv-order` for slow regressions (#6633)
commit
|
commitdiff
|
tree
2021-05-28
Andres Noetzli
`STRINGS_CTN_DECOMPOSE`: Avoid multiple conflicts ...
commit
|
commitdiff
|
tree
2021-05-27
Andres Noetzli
Fix `str.replace_re` and `str.replace_re_all` (#6615)
commit
|
commitdiff
|
tree
2021-05-27
Andres Noetzli
Return `REWRITE_AGAIN` after rewriting bvcomp (#6624)
commit
|
commitdiff
|
tree
2021-05-26
Andres Noetzli
More precise includes of `Node` constants (#6617)
commit
|
commitdiff
|
tree
2021-05-25
Andres Noetzli
Replace deprecated calls to `std::allocator` (#6606)
commit
|
commitdiff
|
tree
2021-05-25
Andres Noetzli
[Unit tests] Fix path of Java bindings (#6616)
commit
|
commitdiff
|
tree
2021-05-21
Andres Noetzli
Support braced-init-lists with `mkNode()` (#6580)
commit
|
commitdiff
|
tree
2021-05-19
Andres Noetzli
Remove unused methods from `NodeManager` (#6578)
commit
|
commitdiff
|
tree
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
next