- Add prefix parameter to `Smart_stmt.rtl_call`
- Remove `Smart_stmt.lib_call` and replace it with calls to `Smart_stmt.rtl_call`
- Add `Smart_stmt.call` to call an arbitrary function from the AST
- Use `Smart_stmt.call` when generating calls to `malloc` and `free

[wp] Removes a test related to native Alt-Ergo

See merge request frama-c/frama-c!2984

[Eva] Updates test oracles for alternative domains

See merge request frama-c/frama-c!2985

The octagon domains improves the precision on the first run, with unsufficient
automatic loop unrolling — but not on the second run.
The gauges domain improves the precision on both runs.

Make the dependency of MdR towards Eva optional

Closes #980

See merge request frama-c/frama-c!2938

Virgile Prevosto authored 4 years ago and Andre Maroneze committed 4 years ago

`Dynamic.load_module` does not know about Findlib's subpackages 

Improve Frama-C distribution creation

Closes #984

See merge request frama-c/frama-c!2959

[slicing] restoring some tests

See merge request frama-c/frama-c!2981

add JSON cache and merge functions

See merge request frama-c/frama-c!2977

[Eva] Fixes a crash in the subdivision of evaluation

Closes pub/frama-c#45

See merge request frama-c/frama-c!2980