search

acsl-language / acsl

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

triggers compilation of the manual also for PR #85

Open vprevosto opened 2 years ago