summaryrefslogtreecommitdiff
path: root/src/theory/arith/nl/transcendental
AgeCommit message (Expand)Author
2021-05-24Move proof utilities to src/proof/ (#6611)Andrew Reynolds
2021-05-13Add std::hash overloads for Node, TNode and TypeNode. (#6534)Mathias Preiner
2021-04-14Rename public and private headers in src/include. (#6352)Aina Niemetz
2021-04-12Refactor and update copyright headers. (#6316)Aina Niemetz
2021-04-09Rename CVC4__ header guards to CVC5__. (#6326)Aina Niemetz
2021-04-07Replace calls to NodeManager::mkSkolem with SkolemManager::mkDummySkolem (#6291)Andrew Reynolds
2021-04-01Rename namespace CVC5 to cvc5. (#6258)Aina Niemetz
2021-03-31Rename namespace CVC4 to CVC5. (#6249)Aina Niemetz
2021-03-09Some more cleanup of includes (#6083)Gereon Kremer
2021-03-09Update copyright headers to 2021. (#6081)Aina Niemetz
2021-03-02Clean up includes to reduce compile times (#6031)Gereon Kremer
2021-02-22Add trans secant proofs. (#5957)Gereon Kremer
2021-02-22(proof-new) Add proofs for exponential functions (#5956)Gereon Kremer
2021-02-22(proof-new) Add proofs for sine lemmas in the transcendental solver (#5952)Gereon Kremer
2021-02-22Cleanup in transcendental solver, add ApproximationBounds struct. (#5945)Gereon Kremer
2021-02-19Cleanup of inferences in arithmetic theory (#5927)Gereon Kremer
2021-02-11Merge InferenceIds into one enum (#5892)Gereon Kremer
2021-02-02Improvements for NL traces (#5846)Andrew Reynolds
2021-02-01Eliminate PREPROCESS lemma property (#5827)Andrew Reynolds
2020-12-21Add proof for pi bound lemma (#5709)Gereon Kremer
2020-12-21Add proof for sine shift lemmas. (#5710)Gereon Kremer
2020-12-18(proof-new) Setup proof infrastructure for transcendental solver (#5703)Gereon Kremer
2020-12-09Fixed a bunch of clang warnings. (#5637)Gereon Kremer
2020-12-08Split initial exp lemma into separate lemmas. (#5622)Gereon Kremer
2020-12-07Refactor initial phase of transcendental solver (#5599)Gereon Kremer
2020-12-02Update copyright headers.Aina Niemetz
2020-12-01Refactor transcendental solver (#5539)Gereon Kremer
2020-11-25Fix transcendental secant plane lemmas (#5525)Gereon Kremer
2020-11-24Refactor transcendental solver (#5514)Gereon Kremer
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback