search

acsl-language / acsl

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

store ACSL version in file ACSL_VERSION #50

Closed maroneze closed 5 years ago

maroneze commented 5 years ago

To enable programmatic access by scripts.