Skip to content

8.10.0+0.7.1: CHANGES
Compare
Choose a tag to compare
@ejgallego ejgallego released this 02 Jun 14:17
· 401 commits to main since this release
8.10.0+0.7.1
This tag 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.
cf9d3b4
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:

  • [sertop ] Add sername program for batch serialization elaborated terms
    Note that this utility will be deprecated in future versions,
    to be subsumed by Query.
    (#207, @palmskog, with help from @ejgallego)
  • [serlib ] Expose QueryUtil.info_of_id and gen_pp_obj in serapi_protocol.mli to enable
    using them in sername to retrieve serialized body-type pairs (@palmskog)
  • [general] Improved compat with Jane Street v0.13 toolchain
  • [serlib ] Only use ssreflect from Coq in tests (@ejgallego)
Assets 3
Loading