herbelin
Follow
Popular repositories
-
-
opam-coq-archive Public
Forked from coq/opam-coq-archive
Archive for all Coq related OPAM packages organized in various repositories
JavaScript 1
-
opam-repository Public
Forked from ocaml/opam-repository
Main public package repository for OPAM, the source package manager of OCaml.
OCaml 1
-
259 contributions in the last year
Contribution activity
March 2023
Created 19 commits in 2 repositories
Created a pull request in coq/coq that received 9 comments
Adding options -require, -r, -require-from in addition to -rfrom
These command line options had misleading semantics and were removed in 8.12 (#10245, #12005). They were planned to be reintroduced with the expect…
+65
−26
•
9
comments
Opened 10 other pull requests in 1 repository
coq/coq
8
open
2
merged
- Deprecating change directory
- Add general option -output-directory
- Fixes #10739: anomaly with Extraction within a module
- Extraction: extend pruning of unused declarations after inlining to modules
- Inline identity projections in extraction
- Fix use of dot notation for non-primitive projections in functors for OCaml extraction
- Add a test summarizing the current behavior of extraction wrt projections
- Fixing shadowing of record fields in extraction to OCaml
- Fix #16288: wrongly self-referencing extraction of primitive projections in functors
- Addresses #17316: "only parsing" expects a parsing rule