sci-mathematics/frama-c-aorai
Aorai (automaton annotations) plugin for frama-c
Runtime Dependencies
frama-c-aorai-25.0
~sci-mathematics/frama-c-25.0:=[ocamlopt?
]
eva?
( ~sci-mathematics/frama-c-eva-25.0:=[ocamlopt?
] )
dev-lang/ocaml:=[ocamlopt?
]
frama-c-aorai-24.0
~sci-mathematics/frama-c-24.0:=[ocamlopt?
]
eva?
( ~sci-mathematics/frama-c-eva-24.0:=[ocamlopt?
] )
dev-lang/ocaml:=[ocamlopt?
]
frama-c-aorai-23.1
~sci-mathematics/frama-c-23.1:=[ocamlopt?
]
eva?
( ~sci-mathematics/frama-c-eva-23.1:=[ocamlopt?
] )
dev-lang/ocaml:=[ocamlopt?
]