Stream: Mirror: Isabelle Users Mailing List

Topic: [isabelle] Annoucement: Isabelle/C_2021-1 Release

view this post on Zulip Email Gateway (Jul 13 2022 at 15:00):

From: Burkhart Wolff <wolff@lri.fr>
Dear all,

We proudly present the new version of Isabelle/C (C_2021-1) coming in a bundle
with 2 semantic backends: The AutoCorres from the seL4 project and an (experimental)
Clean backend.

Details can be seen at the ZENODO page: https://zenodo.org/record/6827097
The link to the git repo: https://gitlab.lisn.upsaclay.fr/burkhart.wolff/Isabelle_C <https://gitlab.lisn.upsaclay.fr/burkhart.wolff/Isabelle_C> (branch C_2021-1)

Enjoy !

Frédéric Tuong
Burkhart Wolff

Last updated: Jul 15 2022 at 23:21 UTC