search

acsl-language / acsl

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

Fix and clarify clauses and restrictions about \old and \result #41

Closed maroneze closed 6 years ago

maroneze commented 6 years ago

To allow you to more easily modify my patch, now that I have access to this repository, I'm using a branch instead of a fork. So I reverted the master in my fork, and apparently Github detected that no commits were available, so it automatically closed the PR (#40).

maroneze commented 6 years ago

@vprevosto could this be merged before Chlorine?

(a modification taking into account @pbaudin's remarks has been committed)