Email Gateway (Aug 19 2022 at 11:09): Email Gateway (Aug 19 2022 at 11:09):From: Gerwin Klein <Gerwin.Klein@nicta.com.au>
We're pleased to announce the release of our C-to-Isabelle/Simpl parser for Isabelle 2013.
It is available from:
http://ssrg.nicta.com.au/software/TS/c-parser/
Apart from porting to Isabelle 2013, we Michael has added support for the C99 _Bool type.
Happy parsing!
Gerwin
The information in this e-mail may be confidential and subject to legal professional privilege and/or copyright. National ICT Australia Limited accepts no liability for any damage caused by this email or its attachments.
Email Gateway (Aug 19 2022 at 11:10):From: Lars Noschinski <noschinl@in.tum.de>
Great news!
Last updated: Apr 27 2024 at 04:17 UTC