[new release] alt-ergo (4 packages) (2.5.4)

[bclement-ocp]

The Alt-Ergo SMT prover

• Project page: https://alt-ergo.ocamlpro.com/
• Documentation: https://ocamlpro.github.io/alt-ergo

CHANGES:

Bug fixes

• Fix a long-standing soundness issue in the FPA module (fix(FPA): Do not look for particular substitution in theories OCamlPro/alt-ergo#1122, originally
  reported in Possible unsoundness with FPA OCamlPro/alt-ergo#1111)
• Dolmen frontend incorrectly allowed semantic triggers outside of theory
  extensions (fix(FPA): Do not look for particular substitution in theories OCamlPro/alt-ergo#1122)

[bclement-ocp]

frama-clang failures seem unrelated. And I need to figure out how to write the conflicts: [ "opam-option-bytecode-only" ] in our dune-project (or not, since it should no longer be needed in the next minor release).

[mseri]

You can add a alt-ergo.opam.template file only containing the line conflicts: [ "opam-option-bytecode-only" ] (and similar for all the other packages if needed). Dune will include the content of the template into the opam file.

Can I merge or you intend to force push on this?

[bclement-ocp]

You can add a alt-ergo.opam.template file only containing the line conflicts: [ "opam-option-bytecode-only" ] (and similar for all the other packages if needed). Dune will include the content of the template into the opam file.

Ah, I tried to add it to dune-project but failed. Thanks for the tip!

Can I merge or you intend to force push on this?

This one can be merged as is I'd say; we will update the .opam in the sources for the next release.