projects
/
cvc5.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅ next
Eliminating static calls to rewriter from strings (#7302)
[cvc5.git]
/
src
/
theory
/
strings
/
term_registry.cpp
2021-10-04
Andrew Reynolds
Eliminating static calls to rewriter from strings ...
blob
|
commitdiff
|
raw
2021-09-29
Andrew Reynolds
Add the strings array solver (#7232)
blob
|
commitdiff
|
raw
|
diff to current
2021-09-13
Andres Noetzli
Remove context getters from `TheoryState` (#7174)
blob
|
commitdiff
|
raw
|
diff to current
2021-06-28
Andrew Reynolds
Rename internal string kinds to match API (#6797)
blob
|
commitdiff
|
raw
|
diff to current
2021-06-22
Andrew Reynolds
Set up fine grained equality notifications (#6734)
blob
|
commitdiff
|
raw
|
diff to current
2021-06-04
Andres Noetzli
Fix handling of start index in `str.indexof_re` (#6674)
blob
|
commitdiff
|
raw
|
diff to current
2021-05-27
Andres Noetzli
Fix `str.replace_re` and `str.replace_re_all` (#6615)
blob
|
commitdiff
|
raw
|
diff to current
2021-05-26
Andres Noetzli
More precise includes of `Node` constants (#6617)
blob
|
commitdiff
|
raw
|
diff to current
2021-05-18
Andrew Reynolds
(proof-new) Miscellaneous updates to strings from proof...
blob
|
commitdiff
|
raw
|
diff to current
2021-05-13
Mathias Preiner
Add std::hash overloads for Node, TNode and TypeNode...
blob
|
commitdiff
|
raw
|
diff to current
2021-04-12
Aina Niemetz
Refactor and update copyright headers. (#6316)
blob
|
commitdiff
|
raw
|
diff to current
2021-04-01
Aina Niemetz
Rename namespace CVC5 to cvc5. (#6258)
blob
|
commitdiff
|
raw
|
diff to current
2021-03-31
Aina Niemetz
Rename namespace CVC4 to CVC5. (#6249)
blob
|
commitdiff
|
raw
|
diff to current
2021-03-21
Andrew Reynolds
Simplify strings term registration (#6174)
blob
|
commitdiff
|
raw
|
diff to current
2021-03-16
Andrew Reynolds
Further standardization of strings statistics (#6128)
blob
|
commitdiff
|
raw
|
diff to current
2021-03-09
Aina Niemetz
Update copyright headers to 2021. (#6081)
blob
|
commitdiff
|
raw
|
diff to current
2021-02-10
Andrew Reynolds
Simplify method for inferring proxy lemmas in strings...
blob
|
commitdiff
|
raw
|
diff to current
2020-12-14
Andrew Reynolds
Fix SAT-context dependent issue in strings preregistrat...
blob
|
commitdiff
|
raw
|
diff to current
2020-11-06
Andrew Reynolds
(proof-new) Miscellaneous changes to strings for proofs...
blob
|
commitdiff
|
raw
|
diff to current
2020-11-02
Andrew Reynolds
Update strings proxy variable map to be context indepen...
blob
|
commitdiff
|
raw
|
diff to current
2020-10-23
Andrew Reynolds
Fix related to preregistering boolean term variables...
blob
|
commitdiff
|
raw
|
diff to current
2020-10-20
yoni206
Expand `seq.nth` lazily (#5287)
blob
|
commitdiff
|
raw
|
diff to current
2020-09-22
Mathias Preiner
Update copyright header script to support CMake and...
blob
|
commitdiff
|
raw
|
diff to current
2020-09-09
Andrew Reynolds
(proof-new) Generalize single step helper in eager...
blob
|
commitdiff
|
raw
|
diff to current
2020-08-20
Andrew Reynolds
Simplify trigger notifications in equality engine ...
blob
|
commitdiff
|
raw
|
diff to current
2020-08-19
Andres Noetzli
Require `--strings-exp` when using `str.substr` (#4916)
blob
|
commitdiff
|
raw
|
diff to current
2020-08-17
Andrew Reynolds
Dynamic allocation of equality engine in Theory (#4890)
blob
|
commitdiff
|
raw
|
diff to current
2020-08-12
Andrew Reynolds
(proof-new) Proof support in the strings term registry...
blob
|
commitdiff
|
raw
|
diff to current
2020-08-05
Andres Noetzli
[Strings] Add eager context-dependent evaluation (...
blob
|
commitdiff
|
raw
|
diff to current
2020-07-13
Andrew Reynolds
Add support for string/sequence update (#4725)
blob
|
commitdiff
|
raw
|
diff to current
2020-07-06
Andrew Reynolds
Front end support for sequences (#4690)
blob
|
commitdiff
|
raw
|
diff to current
2020-06-19
Andrew Reynolds
(proof-new) Updates to strings term registry (#4599)
blob
|
commitdiff
|
raw
|
diff to current
2020-06-16
Aina Niemetz
Update copyright headers.
blob
|
commitdiff
|
raw
|
diff to current
2020-06-10
Andres Noetzli
Add support for str.replace_re/str.replace_re_all ...
blob
|
commitdiff
|
raw
|
diff to current
2020-05-28
Andrew Reynolds
Fix term registry for constant case, simplify. (#4538)
blob
|
commitdiff
|
raw
|
diff to current
2020-05-21
Andrew Reynolds
Throw logic exception for equality between regular...
blob
|
commitdiff
|
raw
|
diff to current
2020-04-28
Andres Noetzli
Register lower bound for str.to_int (#4408)
blob
|
commitdiff
|
raw
|
diff to current
2020-04-15
Andrew Reynolds
Split TermRegistry object from TheoryStrings (#4312)
blob
|
commitdiff
|
raw
|
diff to current