projects
/
cvc5.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅ next
Preprare central model building for RANs (#7951)
[cvc5.git]
/
src
/
smt
/
env_obj.cpp
2021-11-04
Gereon Kremer
Start refactoring of `-o` and `-v` (#7449)
blob
|
commitdiff
|
raw
2021-10-04
Andrew Reynolds
Make decision engine use env (#7300)
blob
|
commitdiff
|
raw
|
diff to current
2021-09-22
Andrew Reynolds
Towards standard usage of evaluator (#7189)
blob
|
commitdiff
|
raw
|
diff to current
2021-09-11
Gereon Kremer
Use StatisticsRegistry from Env (#7166)
blob
|
commitdiff
|
raw
|
diff to current
2021-09-08
Andrew Reynolds
Improve pre-skolemization, move quantifiers preprocess...
blob
|
commitdiff
|
raw
|
diff to current
2021-09-08
Andrew Reynolds
Towards standard usage of ExtendedRewriter (#7145)
blob
|
commitdiff
|
raw
|
diff to current
2021-09-03
Aina Niemetz
EnvObj: Add options(), context(), userContext(). (...
blob
|
commitdiff
|
raw
|
diff to current
2021-09-03
Aina Niemetz
theory: Have Theory and TheoryArith* derive from EnvObj...
blob
|
commitdiff
|
raw
|
diff to current
2021-09-02
Aina Niemetz
Add class EnvObj. (#7113)
blob
|
commitdiff
|
raw
|
diff to current