aboutsummaryrefslogtreecommitdiff
path: root/kernel/cClosure.mli
AgeCommit message (Expand)Author
2018-07-24Projections use index representationGaëtan Gilbert
2018-06-17Faster and cleaner fconstr-to-constr conversion function.Pierre-Marie Pédrot
2018-05-21Simplify the newring hack.Pierre-Marie Pédrot
2018-03-28[api] Deprecate a couple of aliases that we missed.Emilio Jesus Gallego Arias
2018-03-09Merge PR #6769: Split closure cache and remove whd_bothMaxime Dénès
2018-03-05Replace invalid tag @raises in ocamldoc comments with @raisemrmr1993
2018-03-04Pass the constant cache as a separate argument in kernel reduction.Pierre-Marie Pédrot
2018-02-27Update headers following #6543.Théo Zimmermann
2018-02-07Merge PR #6685: Use whd-all on rigid-flex conversion.Maxime Dénès
2018-02-05Respect the transparent state of the current conversion on strong weak-head.Pierre-Marie Pédrot
2018-02-02kernel: cleanup projection unfoldingGaëtan Gilbert
2017-11-26[api] Remove aliases of `Evar.t`Emilio Jesus Gallego Arias
2017-11-06[api] Move structures deprecated in the API to the core.Emilio Jesus Gallego Arias
2017-11-06[api] Deprecate all legacy uses of Names in core.Emilio Jesus Gallego Arias
2017-07-04Bump year in headers.Pierre-Marie Pédrot
2017-06-04Added support for a side effect on constants in reduction functions.Thomas Sibut-Pinote
2016-07-03closure.ml renamed into cClosure.ml (avoid clash with a compiler-libs module)Pierre Letouzey
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 17:17:47 +0000