search

acsl-language / acsl

Sources for the ANSI/ISO C Specification Language manual
Other
47 stars 8 forks source link

Generalized checks #72

Closed vprevosto closed 3 years ago

vprevosto commented 3 years ago

Introduce the new check and (future) admit clause modifier keywords in the manual.

vprevosto commented 3 years ago

@AllanBlanchard for information.

vprevosto commented 3 years ago

@pbaudin if you're fine with this latest version, I'll let you do the merge.