aboutsummaryrefslogtreecommitdiffhomepage
path: root/intf/constrexpr.ml
Commit message (Expand)AuthorAge
* [located] More work towards using CAst.tGravatar Emilio Jesus Gallego Arias2018-03-09
* Merge PR #6905: Fix make ml-docGravatar Maxime Dénès2018-03-07
|\
* \ Merge PR #6790: Allow universe declarations for [with Definition].Gravatar Maxime Dénès2018-03-07
|\ \
| | * Change non-documentation comment from ocamldoc styleGravatar mrmr19932018-03-05
| | * Fix formatting of some ocamldoc comments to reduce warningsGravatar mrmr19932018-03-05
| |/ |/|
| * Allow universe declarations for [with Definition].Gravatar Gaëtan Gilbert2018-03-05
* | Update headers following #6543.Gravatar Théo Zimmermann2018-02-27
|/
* [ast] Improve precision of Ast location recognition in serialization.Gravatar Emilio Jesus Gallego Arias2018-02-22
* Adding support for parsing subterms of a notation as "pattern".Gravatar Hugo Herbelin2018-02-20
* Moving the argument of CProdN/CLambdaN from binder_expr to local_binder_expr.Gravatar Hugo Herbelin2018-02-20
* Use r.(p) syntax to print primitive projections.Gravatar Maxime Dénès2018-01-30
* Removing cumbersome location in multiple patterns.Gravatar Hugo Herbelin2017-12-12
* [api] Move structures deprecated in the API to the core.Gravatar Emilio Jesus Gallego Arias2017-11-06
* Allow declaring universe constraints at definition level.Gravatar Matthieu Sozeau2017-09-19
* Bump year in headers.Gravatar Pierre-Marie Pédrot2017-07-04
* Constrexpr.Numeral stays uninterpreted (string+sign instead of BigInt.t)Gravatar Pierre Letouzey2017-06-14
* Put all plugins behind an "API".Gravatar Matej Kosik2017-06-07
generated by cgit v1.2.3 (git 2.39.1) at 2025-01-31 10:15:45 +0000