Skip to content

8.17.0+0.17.0
Compare
Choose a tag to compare
@ejgallego ejgallego released this 02 Apr 23:57
· 217 commits to main since this release
8.17.0+0.17.0
0bd0772
This commit was signed with the committer’s verified signature. The key has expired.
ejgallego Emilio Jesús Gallego Arias
GPG key ID: D3DA7A344681F041
Expired
Verified
Learn about vigilant mode.

CHANGES:

  • [serlib] (!) Serialization format of generic arguments has changed
    to be conforming to usual ppx_sexp_conv conventions.
    (@ejgallego , fixes #273)
  • [serapi] (!) support for Coq 8.17, upstream structures seem pretty
    stable from 8.16, except for Constr.Evar (@ejgallego)
  • [serapi] SerAPI is now in Coq's CI (@ejgallego @Alizter)

Contributors

ejgallego and Alizter
Assets 3
Loading