- 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

Basile Desloges authored 5 years ago and Julien Signoles committed 5 years ago

A `file` parameter is added before `line`, and the `char *` parameters
have been converted to `const char *`.

[e-acsl] ensure that terms of the E-ACSL ast are never shared before code injection. This invariant is required for E-ACSL typing soundness

- Modifiable with GCC flag without redefinition warning
- No overlapping with other segments when it's too big
- TODO: Overlapping can still occur if stack is too big

fix several typos in comments

See merge request frama-c/e-acsl!270

(cherry picked from commit d8f5df30cd3ad9b43f2e3dfd717ff202ce261af3)

e41fc4c0 fix several typos in comments

Fixes Issue 69: unsound translation when bounds for quantified variables are bigger than their types

 - Safe locations are ok but need to increase TLS to 32 Mo for the libxml usecase
 - Fix order of operations during memory initialization
 - TODO: memory allocated before main are not seen as being valid