package constraints have now been fixed upstream

Waiting for a fix the published opam package

It turns out that in newer nixpkgs version the (very outdated)
dependencies of these dynamic libraries do not exist anymore, leading
autoPatchelf to fail. Fortunately, since the CI server use the x86_64
versions that look for newer dependencies, we can simply remove the
offending files. This begs the question of whether these .so are
actually used in some configuration, though.

Allan Blanchard authored 3 years ago and Virgile Prevosto committed 3 years ago

- deactivate the warning for an install file

all lexers now aborts in the same way in case of lexing/parsing error.

David Bühler authored 3 years ago and Virgile Prevosto committed 3 years ago

Removes unused declarations in plugins registration files.

[Eva] Fixes a soundness bug and a precision bug in the octagon domain.

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

[MdR] fix URL of SARIF schema for VS Code compatibility

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

Fixes the generation of the code documentation via `make doc`.

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

[dev] replace hard-coded usages of /dev/null in Sys.command calls (cont.)

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

[wp] Fix frame condition

Closes #2575

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