search

acsl-language / acsl

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

Adding the grammar figure for \initialized and \dangling #57

Closed davidcok closed 5 years ago

pbaudin commented 5 years ago

That seems ok for my point of view. Notice that I did not try to produce the different pdf files.