[Kernel] remove unused Ast_info.constant_expr (Cil.kinteger64 is more general and checks the size)

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

WP tools versions

Closes #2548, #41, #40, and #1020

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

[Libc] add header sys/statvfs.h

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

[Eva] Updates alternative test oracles

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

David Bühler authored 3 years ago and Andre Maroneze committed 3 years ago

According to the name of the corresponding domains.

David Bühler authored 3 years ago and Andre Maroneze committed 3 years ago

Better test of nested loops modifying the same loop counter.

[Eva] Retroactively updates the Changelog for Eva.

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

Fix/andre/fc config filepath

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

[Eva] fix the adding of loop unroll annotations which were not loop annotations

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

[Tests] using PTEST_ORACLE variable in filter directives for specific tests of EVA

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

[eacsl] Add support for loop variant

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

- `tapp_to_exp` is moved to `Logic_functions`, with the existing
`Logic_function.tapp_to_exp` renamed to `function_to_exp` and moved as
an internal function;
- `name_of_mpz_arith_bop` is moved to `Gmp`;
- `add_cast` and `strnum` are moved to a new `Typed_number` module.