Coq Serapi Versions Save

Coq Protocol Playground with Se(xp)rialization of Internal Structures.

8.19.0+0.19.3

2 weeks ago

CHANGES:

  • [test] Don't require math-comp to run genarg tests (@ejgallego, #399 , fixes #395 , thanks to @SnarkBoojum for the report)

8.17.0+0.17.3

1 month ago

CHANGES:

  • [serlib] Fix (@ejgallego, #398, fixes #397 fixes sr-lab/coqpyt#35 , thanks to @laetitia-teo and @Nfsaavedra for the bug report)

8.18.0+0.18.3

1 month ago

CHANGES:

  • [serlib] Fix (@ejgallego, #398, fixes #397 fixes sr-lab/coqpyt#35 , thanks to @laetitia-teo and @Nfsaavedra for the bug report)

8.19.0+0.19.2

1 month ago

CHANGES:

  • [serlib] Fix (@ejgallego, #398, fixes #397 fixes sr-lab/coqpyt#35 , thanks to @laetitia-teo and @Nfsaavedra for the bug report)

8.19.0+0.19.1

2 months ago

CHANGES:

  • [serlib] Support btauto Coq plugin (@ejgallego, #362)
  • [serlib] Support extraction Coq plugin (@ejgallego, @toku-sa-n, #375, fixes #371)
  • [general] Make licensing clearer (@ejgallego, @palmskog, @SnarkBoojum, #361, closes #266)

8.17.0+0.17.2

3 months ago

CHANGES:

  • [serlib] Expose some more Ast functions required by coq-lsp's auto-build support (@ejgallego, #383)

8.18.0+0.18.2

3 months ago

CHANGES:

  • [serlib] Expose some more Ast functions required by coq-lsp's auto-build support (@ejgallego, #383)

8.19.0+0.19.0

3 months ago

CHANGES:

  • [serapi] (!) support for Coq 8.19, thanks to all the developers that contributed compatibility patches.
  • [general] Cleanup old / unused code (@ejgallego, #362)

8.18.0+0.18.1

8 months ago

CHANGES:

  • [serlib] Fix a few 8.18 piercings (!) (@ejgallego, #)

8.17.0+0.17.1

8 months ago

CHANGES:

  • [sertop] Don't initialize CoqworkmgrApi (@ejgallego, #340)
  • [serlib] Compat with Jane Street libraries >= v0.16.0 (@ejgallego, #351)