projects / cvc5.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Use Env class in nonlinear extension (#7039)
[cvc5.git] / src / theory / arith / nl / nl_model.h
2021-08-20 Gereon KremerUse Env class in nonlinear extension (#7039) blob | commitdiff | raw
2021-05-13 Mathias PreinerAdd std::hash overloads for Node, TNode and TypeNode... blob | commitdiff | raw | diff to current
2021-04-12 Aina NiemetzRefactor and update copyright headers. (#6316) blob | commitdiff | raw | diff to current
2021-04-09 Aina NiemetzRename CVC4__ header guards to CVC5__. (#6326) blob | commitdiff | raw | diff to current
2021-04-01 Aina NiemetzRename namespace CVC5 to cvc5. (#6258) blob | commitdiff | raw | diff to current
2021-03-31 Aina NiemetzRename namespace CVC4 to CVC5. (#6249) blob | commitdiff | raw | diff to current
2021-03-09 Gereon KremerSome more cleanup of includes (#6083) blob | commitdiff | raw | diff to current
2021-03-09 Aina NiemetzUpdate copyright headers to 2021. (#6081) blob | commitdiff | raw | diff to current
2021-03-02 Gereon KremerClean up includes to reduce compile times (#6031) blob | commitdiff | raw | diff to current
2020-10-28 Andrew ReynoldsFixes for unconstrained variables in nonlinear model... blob | commitdiff | raw | diff to current
2020-09-22 Mathias PreinerUpdate copyright header script to support CMake and... blob | commitdiff | raw | diff to current
2020-08-21 Andrew ReynoldsConnect the relevance manager to TheoryEngine and use... blob | commitdiff | raw | diff to current
2020-07-21 Gereon KremerPreparations for a CAD-based arithmetic solver (#4762) blob | commitdiff | raw | diff to current
2020-06-25 Andrew ReynoldsUpdate option --nl-ext to enable/disable incremental... blob | commitdiff | raw | diff to current
2020-06-16 Aina NiemetzUpdate copyright headers. blob | commitdiff | raw | diff to current
2020-06-06 Andrew ReynoldsUse NlLemma utility for all lemmas in non-linear. ... blob | commitdiff | raw | diff to current
2020-06-01 Andrew ReynoldsMove non-linear files to src/theory/arith/nl (#4548) blob | commitdiff | raw | diff to current