projects
/
cvc5.git
/ search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
Add documentation for QuickStart.java (#7730)
2021-12-03
Andres Noetzli
Faster hasing for `cvc5::String` (#7742)
commit
|
commitdiff
|
tree
2021-11-24
Andres Noetzli
Always enable API black box unit tests (#7696)
commit
|
commitdiff
|
tree
2021-11-24
Andres Noetzli
Remove dependency of `TypeNode` on `Node` (#7690)
commit
|
commitdiff
|
tree
2021-11-24
Andres Noetzli
Minor fixes (#7691)
commit
|
commitdiff
|
tree
2021-11-23
Andres Noetzli
Make `node_value.h` not depend on `node_manager.h`...
commit
|
commitdiff
|
tree
2021-11-19
Andres Noetzli
[API] Avoid copying values (#7666)
commit
|
commitdiff
|
tree
2021-11-19
Andres Noetzli
Clean up relationship of metakind and node_manager...
commit
|
commitdiff
|
tree
2021-11-17
Andres Noetzli
Fix binding of quoted symbols in `define-fun` (#7655)
commit
|
commitdiff
|
tree
2021-11-16
Andres Noetzli
Refactor `metakind` (#7639)
commit
|
commitdiff
|
tree
2021-11-15
Andres Noetzli
[Strings] Minor refactor of eager solver (#7628)
commit
|
commitdiff
|
tree
2021-11-13
Andres Noetzli
Skip `str.code` inferences for sequence eqcs (#7644)
commit
|
commitdiff
|
tree
2021-11-12
Andres Noetzli
Fix redundant definitions of `NodeValue::getConst`...
commit
|
commitdiff
|
tree
2021-11-12
Andres Noetzli
Remove `ConstantMap<Rational>` (#7635)
commit
|
commitdiff
|
tree
2021-11-05
Andres Noetzli
[FP] Do not assert that model has shared term (#7585)
commit
|
commitdiff
|
tree
2021-11-04
Andres Noetzli
Make `Theory::get()` private (#7518)
commit
|
commitdiff
|
tree
2021-10-27
Andres Noetzli
[Regression Script] Fix use of undefined variables...
commit
|
commitdiff
|
tree
2021-10-27
Andres Noetzli
Require ITE branches to be first class types (#7508)
commit
|
commitdiff
|
tree
2021-10-25
Andres Noetzli
[Regression Script] Support older Python versions ...
commit
|
commitdiff
|
tree
2021-10-22
Andres Noetzli
Fix memory management of `ErrorInformation` (#7388)
commit
|
commitdiff
|
tree
2021-10-21
Andres Noetzli
[Regression Script] Fix printing of error diff (#7451)
commit
|
commitdiff
|
tree
2021-10-21
Andres Noetzli
Refactor regressions script (#7249)
commit
|
commitdiff
|
tree
2021-10-21
Andres Noetzli
Enable and fix dump test (#7387)
commit
|
commitdiff
|
tree
2021-10-18
Andres Noetzli
Update SMT-COMP script (#7389)
commit
|
commitdiff
|
tree
2021-09-30
Andres Noetzli
[Printer] Only quote `set-info` value if necessary...
commit
|
commitdiff
|
tree
2021-09-29
Andres Noetzli
[API] Update comments w.r.t. SymFPU, fix typos (#7263)
commit
|
commitdiff
|
tree
2021-09-29
Andres Noetzli
Update `--lang=help` (#7260)
commit
|
commitdiff
|
tree
2021-09-21
Andres Noetzli
Fix handling of conversions between FP and reals (...
commit
|
commitdiff
|
tree
2021-09-20
Andres Noetzli
Optionally enable interprocedural optimization (#7209)
commit
|
commitdiff
|
tree
2021-09-17
Andres Noetzli
Use a single `NodeManager` per thread (#7204)
commit
|
commitdiff
|
tree
2021-09-14
Andres Noetzli
Make `-o raw-benchmark` work with `--parse-only` (...
commit
|
commitdiff
|
tree
2021-09-13
Andres Noetzli
Remove context getters from `TheoryState` (#7174)
commit
|
commitdiff
|
tree
2021-09-10
Andres Noetzli
Use C++17 attributes (#7154)
commit
|
commitdiff
|
tree
2021-09-09
Andres Noetzli
Remove `TheoryState::getEnv()` (#7163)
commit
|
commitdiff
|
tree
2021-09-09
Andres Noetzli
Remove `TheoryState::options()` (#7148)
commit
|
commitdiff
|
tree
2021-09-07
Andres Noetzli
Use `EnvObj` methods instead of `Theory` methods (...
commit
|
commitdiff
|
tree
2021-09-02
Andres Noetzli
[Unit Tests] Fix shell test for Editline (#7117)
commit
|
commitdiff
|
tree
2021-09-02
Andres Noetzli
[CI] Add step for running unit/API tests (#7116)
commit
|
commitdiff
|
tree
2021-09-02
Andres Noetzli
Remove unused `Backtracker` (#7115)
commit
|
commitdiff
|
tree
2021-09-02
Andres Noetzli
[Unit Tests] Fix bags rewrite test (#7114)
commit
|
commitdiff
|
tree
2021-09-02
Andres Noetzli
Update CI to macOS 11 (#7104)
commit
|
commitdiff
|
tree
2021-08-19
Andres Noetzli
Remove `--(no-)interactive-prompt` (#7022)
commit
|
commitdiff
|
tree
2021-08-18
Andres Noetzli
Minor fixes of policy for eliminating quantifiers ...
commit
|
commitdiff
|
tree
2021-08-17
Andres Noetzli
Replace `Maybe` with `std::optional` (#7005)
commit
|
commitdiff
|
tree
2021-08-16
Andres Noetzli
[Strings] Make fact detection more robust (#7007)
commit
|
commitdiff
|
tree
2021-08-10
Andres Noetzli
Disable external initialization of `thread_local` variables...
commit
|
commitdiff
|
tree
2021-08-09
Andres Noetzli
Support older CMake versions (#7003)
commit
|
commitdiff
|
tree
2021-08-05
Andres Noetzli
[Unit Tests] Add missing include (#6990)
commit
|
commitdiff
|
tree
2021-07-28
Andres Noetzli
Print link to docs preview (#6922)
commit
|
commitdiff
|
tree
2021-07-27
Andres Noetzli
Add regression for fixed `str.indexof_re` issue (#6938)
commit
|
commitdiff
|
tree
2021-07-24
Andres Noetzli
Fix CLN build (#6920)
commit
|
commitdiff
|
tree
2021-07-23
Andres Noetzli
Configuration: Indicate dependencies being built (...
commit
|
commitdiff
|
tree
2021-07-23
Andres Noetzli
Fix CoCoA build for newer compilers (#6919)
commit
|
commitdiff
|
tree
2021-07-22
Andres Noetzli
Add support for minimal unsat cores (#4605)
commit
|
commitdiff
|
tree
2021-07-20
Andres Noetzli
ANTLR3: Install into `CMAKE_INSTALL_LIBDIR` (#6912)
commit
|
commitdiff
|
tree
2021-07-16
Andres Noetzli
[Unit Tests] Avoid linking against external libs (...
commit
|
commitdiff
|
tree
2021-07-16
Andres Noetzli
[Unit Tests] Reenable `top_scope_context_obj` (#6892)
commit
|
commitdiff
|
tree
2021-07-12
Andres Noetzli
Fix ANTLR build on CMake <3.11 (#6864)
commit
|
commitdiff
|
tree
2021-07-12
Andres Noetzli
Use default visibility for `cvc5::Exception` (#6856)
commit
|
commitdiff
|
tree
2021-07-09
Andres Noetzli
Make regression test `issue4971-0` more robust (#6857)
commit
|
commitdiff
|
tree
2021-07-09
Andres Noetzli
Use newer config.sub to fix build on Apple M1 (#6854)
commit
|
commitdiff
|
tree
2021-07-05
Andres Noetzli
[Strings] Fix incorrect rewrite (#6837)
commit
|
commitdiff
|
tree
2021-07-03
Andres Noetzli
Fix performance of string regression (#6832)
commit
|
commitdiff
|
tree
2021-07-02
Andres Noetzli
Fix CaDiCaL auto-download on macOS (#6828)
commit
|
commitdiff
|
tree
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
next