Skip to content

Pull requests: coq-community/reduction-effects

Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Reviews
Assignee
Filter by who’s assigned
Sort

Pull requests list

Adapt to coq/coq#19362 (reduction effects take locality)
#22 by SkySkimmer was merged Jul 17, 2024 Loading…
adapt to coq/coq#15220
#13 by gares was merged Feb 3, 2022 Loading…
Switch license to MPL
#11 by liyishuai was merged Nov 3, 2020 Loading…
Regenerate files from latest templates.
#9 by Zimmi48 was merged May 28, 2020 Loading…
Cleanup code
#7 by SkySkimmer was merged Mar 15, 2020 Loading…
tests: tee output
#6 by liyishuai was merged Jan 29, 2020 Loading…
Add minimal meta.yml file and generated README.md.
#3 by Zimmi48 was merged Apr 16, 2019 Loading…
add opam
#2 by liyishuai was merged Apr 15, 2019 Loading…
ProTip! Follow long discussions with comments:>50.