-
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.