Coq 8.6 and 8.7

Question

Coq 8.6 and 8.7

ejgallego opened this issue 7 years ago · 6 comments

ejgallego commented 7 years ago

Hi, what is the plan to port this plugin to 8.6 / 8.7 ?

I could help but it would be great if we synchronize @drouhling , @CohenCyril , I think you already had an 8.6 port?

Cheers, E.

ejgallego commented 7 years ago

cc @aa755

Answer 1 · 2017-07-25T22:25:03.000Z

I have an 8.6 port that also contains some bugfixes. I have used it extensively in Certicoq.

https://github.com/aa755/paramcoq/commits/v86FullNames

Answer 2 · 2017-07-25T22:29:36.000Z

Cool, how does it interact with #6 ? Should maybe be merged on the main repository ?

Answer 3 · 2017-07-25T22:30:28.000Z

Note that the GADT Sigma bits have been removed from 8.7

Answer 4 · 2017-07-25T22:31:36.000Z

By the way, as soon as we get this running in 8.7 I will add it to Coq Travis, this will ensure the plugin keeps working in future Coq versions; however, in order to do so we would somebody willing to "maintain" the plugin: basically merging PR Coq developers may submit in a timely fashion.

Answer 5 · 2018-02-14T00:18:51.000Z

Closing this, I think @aa755 has a current port.