epfl-lara/stainless v0.9.3

Stainless 0.9.3 (2022-02-25)

on GitHub

Version 0.9.3 (2022-02-25)

GenC

• Add cCode.noMangling annotation and split defines into header and C files
• Propagate volatile and static keywords to struct fields
• Avoid trimming of cCode.define functions
• Introduce a binding to 'guard' against references created by the Referentiator (#1235)

Build

• Windows build (#1234)