search

vafeiadis / hahn

Hahn: A Coq library
MIT License
29 stars 15 forks source link

Migration to Coq 8.6? #2

Closed jeehoonkang closed 7 years ago

jeehoonkang commented 7 years ago

Dear Viktor,

I am migrating the promising semantics Coq model (https://github.com/snu-sf/promising-coq) from Coq 8.5 to 8.6. As it depends on hahn, I wonder if you have a plan to migrate hahn to 8.6. I tried myself but I couldn't leave the proof style untouched, and cannot help making the proof longer..

vafeiadis commented 7 years ago

I migrated it: only two minor changes were needed.