Skip to content
Find file Blame History Permalink
  • Basile Desloges's avatar
    [eacsl:doc] Update E-ACSL reference manual · aba903a6
    Basile Desloges authored 
    - Function contracts: remove abrupt clauses from the list of exceptions
- Statement contracts: remove abrupt clauses from the list of exceptions
- Add grammar for abrupt termination
- Update list of contributors
    aba903a6
To find the state of this project's repository at the time of any of these versions, check out the tags.