The meaning of the red color is not explained

acsl-language / acsl

Sources for the ANSI/ISO C Specification Language manual

Other

49 stars 8 forks source link

Closed eponier closed 6 years ago

eponier commented 7 years ago

It is not specified that the red color introduces unimplemented features.

pbaudin commented 6 years ago

Fixed by #44