Tags: rocq-archive/coq-serapi
Tags
Release 8.18.0+0.18.1 CHANGES: - [serlib] Fix a few 8.18 piercings (!) (@ejgallego, #)
Release 8.18.0+0.18.0
CHANGES:
- [serapi] (!) support for Coq 8.18, thanks to all the developers
that contributed compatibility patches (@ejgallego and
many others).
- [serlib] Fix ltac2 plugin wrong piercing due to missing constructor
(@ejgallego, reported by @quarkcool, #349).
Release 8.17.0+0.17.1 CHANGES: - [sertop] Don't initialize `CoqworkmgrApi` (@ejgallego, #340) - [serlib] Compat with Jane Street libraries >= v0.16.0 (@ejgallego, #351)
Release 8.15.0+0.15.4 CHANGES: - [serlib] Fix crash when serializing projections (@ejgallego, #332, reported by @rwhender, fixes #331).
Release 8.17.0+0.17.0
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)
Release 8.15.0+0.15.3
CHANGES:
- [serlib] Backport serlib improvements from 0.16.0:
- [serlib] Added support for some more plugins from coq-core (ltac2,
cc, micromega, number_string_notation) (@ejgallego, #284, #306)
- [serlib] Much improved yojson / json support (@ejgallego)
- [serlib] Coq AST now supports ppx_hash intf (ignoring locations by default)
(@ejgallego)
- [serlib] Coq AST now supports ppx_compare intf (ignoring locations by default)
(@ejgallego)
- [serlib] Large refactoring on Serlib, using functors, see serlib/README.md
(@ejgallego)
- [serlib] Fix JSON serialization for generic arguments (@ejgallego, #321)
Release 8.16.0+0.16.3 CHANGES: - [serlib] Fix JSON serialization for generic arguments (@ejgallego, #321)
Merge pull request #311 from ejgallego/v817_main_port_v8.16 [forward port] Improvements from 0.16.2