function __e_acsl_offset now returns size_t (fixed gitlab issue #10)

Closes #10

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

Updates a test oracle to synchronize with frama-c/frama-c!1668.

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

sync with frama-c/frama-c!1618

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

fix typing in presence of comparison operators (gitlab issue 49)

Closes #49

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

sync with frama-c/frama-c!1644

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

Take into account rlim_max when trying to set stack size

Closes #52

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

Fixes issue #52

sync with frama-c/frama-c!1646

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

update oracle - sync with frama-c master

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

sync with frama-c/master!1630

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

Synchronize with trunk (frama-c/frama-c!1572)

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

Boris Yakobowski authored 7 years ago and David Bühler committed 7 years ago

- changes in libc numbers
- warning on unknown preconds are now reported at callsite

[tests] remove unnecessary Eva options

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

fix crash when translating a postcondition that generates local variables

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

allows ocamldoc html generation to succeed

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

[headers] skip first line starting by '#!' for 'script.sh' files

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