WIP: update implementation notes for upcoming Frama-C Scandium Release

acsl-language / acsl

Sources for the ANSI/ISO C Specification Language manual

Other

47 stars 8 forks source link

Closed vprevosto closed 4 years ago

vprevosto commented 4 years ago

ACSL implementation notes in the corresponding branch are up-to-date with Frama-C's development version at https://git.frama-c.com/pub/frama-c