From: Buday Gergely via Cl-isabelle-users <email@example.com>
what architectures can I target for a verifying compiler using Isabelle?
What I see is Isabelle specifications for WebAssembly:
and ARM, RISC-V and CHERI-MIPS:
Is there anything else? And, what are the limitations of the above? Any
experience report is welcome.
Last updated: Sep 25 2021 at 08:21 UTC