Stream: Mirror: Isabelle Users Mailing List

Topic: [isabelle] AutoCorres 1.7 and CParser 1.17 for Isabelle2020

Email Gateway (Nov 10 2020 at 02:20):

From: "Klein, Gerwin (Data61, Kensington NSW)" <Gerwin.Klein@data61.csiro.au>
It’s a pleasure to announce that the C verification tools for Isabelle

AutoCorres 1.7 at https://ts.data61.csiro.au/projects/TS/autocorres/

and

CParser 1.17 at https://ts.data61.csiro.au/software/TS/c-parser/

are now available for download for Isabelle2020.

Cheers,
Gerwin

Last updated: Jan 04 2025 at 20:18 UTC