projects
/
cvc5.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅ next
Refactor setup of proof equality engine for central EE (#6831)
[cvc5.git]
/
src
/
theory
/
theory_inference_manager.h
2021-07-14
Andrew Reynolds
Refactor setup of proof equality engine for central...
blob
|
commitdiff
|
raw
2021-07-05
Andrew Reynolds
Make buffered inference manager more robust to backtrac...
blob
|
commitdiff
|
raw
|
diff to current
2021-05-24
Andrew Reynolds
Move proof utilities to src/proof/ (#6611)
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-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
Gereon Kremer
Refactor resource manager (#6322)
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-08
Andrew Reynolds
Add identifiers for sources of incompleteness (#6311)
blob
|
commitdiff
|
raw
|
diff to current
2021-04-01
Aina Niemetz
Rename namespace CVC5 to cvc5. (#6258)
blob
|
commitdiff
|
raw
|
diff to current
2021-04-01
Andrew Reynolds
Add debug traces to theory inference manager (#6250)
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-29
Andrew Reynolds
Move decision manager into theory inference manager...
blob
|
commitdiff
|
raw
|
diff to current
2021-03-11
Gereon Kremer
First refactoring of statistics classes (#6105)
blob
|
commitdiff
|
raw
|
diff to current
2021-03-09
Gereon Kremer
Some more cleanup of includes (#6083)
blob
|
commitdiff
|
raw
|
diff to current
2021-03-09
Aina Niemetz
Update copyright headers to 2021. (#6081)
blob
|
commitdiff
|
raw
|
diff to current
2021-03-02
Gereon Kremer
Clean up includes to reduce compile times (#6031)
blob
|
commitdiff
|
raw
|
diff to current
2021-02-19
Andrew Reynolds
Refactoring theory inference process (#5920)
blob
|
commitdiff
|
raw
|
diff to current
2021-02-18
Gereon Kremer
Add statistic for InferenceId to TheoryInferenceManager...
blob
|
commitdiff
|
raw
|
diff to current
2021-02-11
Gereon Kremer
Make most methods of TheoryInferenceManager expect...
blob
|
commitdiff
|
raw
|
diff to current
2021-02-11
Gereon Kremer
Add InferenceId member to TheoryInference, adapt all...
blob
|
commitdiff
|
raw
|
diff to current
2020-12-03
Aina Niemetz
Update copyright headers.
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-22
Gereon Kremer
ICP-based solver for nonlinear arithmetic (#5017)
blob
|
commitdiff
|
raw
|
diff to current
2020-09-10
Andrew Reynolds
Use state and inference manager in UF CardinalityExtens...
blob
|
commitdiff
|
raw
|
diff to current
2020-09-04
Andrew Reynolds
Add asLemma flag to theory inference process (#5030)
blob
|
commitdiff
|
raw
|
diff to current
2020-09-04
Gereon Kremer
Use arith::InferenceManager for CAD lemmas (#5015)
blob
|
commitdiff
|
raw
|
diff to current
2020-09-04
Mathias Preiner
Split lazy bit-vector solver from TheoryBV (#5009)
blob
|
commitdiff
|
raw
|
diff to current
2020-09-04
Andrew Reynolds
Add interfaces for making trust nodes in TheoryInferenc...
blob
|
commitdiff
|
raw
|
diff to current
2020-09-03
Andrew Reynolds
Update sets inference manager to inherit from Inference...
blob
|
commitdiff
|
raw
|
diff to current
2020-09-02
Andrew Reynolds
Minor updates to theory inference manager (#5004)
blob
|
commitdiff
|
raw
|
diff to current
2020-09-01
Andrew Reynolds
Add TheoryInference base class (#4990)
blob
|
commitdiff
|
raw
|
diff to current
2020-09-01
Andrew Reynolds
Add the inference manager for datatypes (#4968)
blob
|
commitdiff
|
raw
|
diff to current
2020-08-31
Andrew Reynolds
Basic proof support in inference manager (#4975)
blob
|
commitdiff
|
raw
|
diff to current
2020-08-28
Andrew Reynolds
Add the buffered inference manager (#4954)
blob
|
commitdiff
|
raw
|
diff to current
2020-08-27
Andrew Reynolds
Add the theory inference manager (#4948)
blob
|
commitdiff
|
raw
|
diff to current