sci-mathematics/frama-c-e-acsl
Runtime verification of ACSL (E-ACSL) plugin for frama-c
Runtime Dependencies
frama-c-e-acsl-25.0
~sci-mathematics/frama-c-25.0:=[ocamlopt?
]
~sci-mathematics/frama-c-rtegen-25.0:=[ocamlopt?
]
dev-lang/ocaml:=[ocamlopt?
]
frama-c-e-acsl-24.0
~sci-mathematics/frama-c-24.0:=[ocamlopt?
]
~sci-mathematics/frama-c-rtegen-24.0:=[ocamlopt?
]
dev-lang/ocaml:=[ocamlopt?
]
frama-c-e-acsl-23.1
~sci-mathematics/frama-c-23.1:=[ocamlopt?
]
~sci-mathematics/frama-c-rtegen-23.1:=[ocamlopt?
]
dev-lang/ocaml:=[ocamlopt?
]