search

coq-community / reduction-effects

A Coq plugin to add reduction side effects to some Coq reduction strategies [maintainers=@liyishuai,@JasonGross]
Mozilla Public License 2.0
6 stars 6 forks source link

adapt to coq/coq#15220 #13

Closed gares closed 2 years ago

gares commented 2 years ago

To be merge when https://github.com/coq/coq/pull/15220 is.

JasonGross commented 2 years ago

Is this backwards compatible? If not, we should tag a release and update the opam package, etc

gares commented 2 years ago

No it is not backward compatible.

liyishuai commented 2 years ago

It can be: gares/coq-simple-io@010ff1dae91ab09af9b38c7ef21f96e835bbfa98

gares commented 2 years ago

your commit should show up here, weird github...

SkySkimmer commented 2 years ago

Please merge now