Code

[new release] sail (0.16)#24318

Code

Merged

avsm merged 2 commits intoocaml:masterocaml/opam-repository:masterfrom Alasdair:release-sail-0.16Alasdair/opam-repository:release-sail-0.16Copy head branch name to clipboardAug 30, 2023

+584

Commits

Commits on Aug 25, 2023

• [new release] sail_smt_backend, sail_output, sail_ocaml_backend, sail_manifest, sail_lem_backend, sail_latex_backend, sail_doc_backend, sail_coq_backend, sail_c_backend, sail and libsail (0.16)

  Show description for 559b499
  Alasdair

  committed
  559b499

  Copy full SHA for 559b499

Commits on Aug 29, 2023

• Update packages/libsail/libsail.0.16/opam

  avsm

  authored
  3255d7a

  Copy full SHA for 3255d7a