Skip to content
Snippets Groups Projects
Select Git revision
  • master default protected
  • stable/zinc
  • 2699-wp-region-plugin-division-by-0-with-empty-region-node
  • stable/copper
  • stable/nickel
  • stable/cobalt
  • stable/iron
  • stable/manganese
  • stable/chromium
  • stable/vanadium
  • stable/titanium-backport
  • stable/titanium
  • stable/scandium
  • 30.0 protected
  • 30.0-beta protected
  • MIEL-2024-10 protected
  • 29.0 protected
  • 29.0-beta protected
  • 28.1 protected
  • 28.0 protected
  • MIEL-2023-10 protected
  • 28.0-beta protected
  • 27.1 protected
  • 27.0 protected
  • 27.0-beta protected
  • 26.1 protected
  • 26.0 protected
  • 26.0-beta protected
  • 25.0-r1 protected
  • pre-dune protected
  • 25.0 protected
  • 25.0-beta protected
  • 2022-03-23 protected
33 results
Blame Permalink
reference-configuration.md 427 B

The following set of packages is known to be a working configuration for compiling Frama-C 30.0.

  • OCaml 4.14.2
  • alt-ergo.2.5.3 (for wp, optional)
  • dune.3.13.1
  • dune-configurator.3.13.1
  • dune-site.3.13.1
  • lablgtk3.3.1.3
  • lablgtk3-sourceview3.3.1.3
  • menhir.20211230
  • ocamlfind.1.9.6
  • ocamlgraph.2.1.0
  • ppx_deriving_yaml.0.2.1
  • ppx_deriving_yojson.3.7.0
  • unionFind.20220122
  • why3.1.7.1
  • yojson.2.0.2
  • zarith.1.12