Constant folding plugin for frama-c
Screenshots
-
frama-c-constant-folding-25.0
~amd64
+ocamlopt +ocamlopt
View Download Browse License: LGPL-2.1
-
frama-c-constant-folding-24.0
~amd64
+ocamlopt +ocamlopt
View Download Browse License: LGPL-2.1
-
frama-c-constant-folding-23.1
~amd64
+ocamlopt +ocamlopt
View Download Browse License: LGPL-2.1
USE Flags
+ocamlopt
* This flag is undocumented *