Forked from
pub / frama-c
Source project has a limited visibility.
-
Julien Signoles authored[e-acsl] ensure that terms of the E-ACSL ast are never shared before code injection. This invariant is required for E-ACSL typing soundness
Julien Signoles authored[e-acsl] ensure that terms of the E-ACSL ast are never shared before code injection. This invariant is required for E-ACSL typing soundness
To find the state of this project's repository at the time of any of these versions, check out the tags.