projects
/
cvc5.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅ next
Use the proper evaluator for optimized SyGuS datatype rewriting (#7266)
[cvc5.git]
/
src
/
smt
/
env.h
2021-10-01
Andrew Reynolds
Use the proper evaluator for optimized SyGuS datatype...
blob
|
commitdiff
|
raw
2021-10-01
Aina Niemetz
Rename SmtEngine to SolverEngine. (#7282)
blob
|
commitdiff
|
raw
|
diff to current
2021-09-23
Gereon Kremer
Eliminate Output macro in favor of simple Env functions...
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-07
Andrew Reynolds
Refactoring of proof manager initialization (#7073)
blob
|
commitdiff
|
raw
|
diff to current
2021-09-02
Aina Niemetz
Add class EnvObj. (#7113)
blob
|
commitdiff
|
raw
|
diff to current
2021-08-30
Gereon Kremer
Refactor filename handling (#7088)
blob
|
commitdiff
|
raw
|
diff to current
2021-08-26
Andrew Reynolds
Eliminate currentSmtEngine for subsolver calls (#7068)
blob
|
commitdiff
|
raw
|
diff to current
2021-08-18
Andrew Reynolds
Make TheoryProxy use Env, simplify initialization of...
blob
|
commitdiff
|
raw
|
diff to current
2021-08-17
Andrew Reynolds
Make SmtEngineState use Env (#7028)
blob
|
commitdiff
|
raw
|
diff to current
2021-08-16
Gereon Kremer
Make Theory class use Env (#7011)
blob
|
commitdiff
|
raw
|
diff to current
2021-06-08
Gereon Kremer
Make env hold a pointer to the original options to...
blob
|
commitdiff
|
raw
|
diff to current
2021-06-02
Gereon Kremer
Remove `Options::operator[]` (#6649)
blob
|
commitdiff
|
raw
|
diff to current
2021-04-30
Andrew Reynolds
Use substitutions for implementing defined functions...
blob
|
commitdiff
|
raw
|
diff to current
2021-04-26
Gereon Kremer
First part of options refactoring (#6428)
blob
|
commitdiff
|
raw
|
diff to current
2021-04-20
Gereon Kremer
Add InferenceId as resources (#6339)
blob
|
commitdiff
|
raw
|
diff to current
2021-04-14
Gereon Kremer
Refactor / reimplement statistics (#6162)
blob
|
commitdiff
|
raw
|
diff to current
2021-04-14
Aina Niemetz
Rename public and private headers in src/include. ...
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-09
Aina Niemetz
Rename CVC4__ header guards to CVC5__. (#6326)
blob
|
commitdiff
|
raw
|
diff to current
2021-04-02
Gereon Kremer
Minor refactoring (#6273)
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-18
Gereon Kremer
Move stats registry to env. (#6173)
blob
|
commitdiff
|
raw
|
diff to current
2021-03-18
Abdalrhman Mohamed
Eliminate more uses of SExpr. (#6149)
blob
|
commitdiff
|
raw
|
diff to current
2021-03-10
Andrew Reynolds
Add Env class (#6093)
blob
|
commitdiff
|
raw
|
diff to current