search

acsl-language / acsl

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

Fixes to grammar figure for locations #59

Closed davidcok closed 5 years ago

davidcok commented 5 years ago

The explicit set should be of terms not of tsets