Commit message (Expand) | Author | Age | |
---|---|---|---|
* | [lib] Rename Profile to CProfile | 2017-12-09 | |
* | [api] Move structures deprecated in the API to the core. | 2017-11-06 | |
* | Cleaning up the implementation of module subtyping in the kernel. | 2017-07-11 | |
* | Drop '.' from CErrors.anomaly, insert it in args | 2017-06-02 | |
* | Replacing costly merges in UGraph. | 2017-04-18 | |
* | Fix UGraph.check_eq! | 2016-11-30 | |
* | errors.ml renamed into cErrors.ml (avoid clash with an OCaml compiler-lib mod... | 2016-07-03 | |
* | Universes algorithm : clarified comments | 2016-01-17 | |
* | Fix typos. | 2016-01-01 | |
* | Removing dead code. | 2015-12-27 | |
* | New algorithm for universe cycle detections. | 2015-12-01 | |
* | Merge branch 'v8.5' | 2015-11-26 | |
* | Splitting kernel universe code in two modules. | 2015-10-06 |