sci-mathematics/frama-c-slicing
Slicing plugin for frama-c
Runtime Dependencies
frama-c-slicing-25.0
~sci-mathematics/frama-c-25.0:=[gtk=,ocamlopt?
]
~sci-mathematics/frama-c-callgraph-25.0:=[gtk=,ocamlopt?
]
~sci-mathematics/frama-c-eva-25.0:=[gtk=,ocamlopt?
]
~sci-mathematics/frama-c-pdg-25.0:=[ocamlopt?
]
~sci-mathematics/frama-c-sparecode-25.0:=[ocamlopt?
]
dev-lang/ocaml:=[ocamlopt?
]
frama-c-slicing-24.0
~sci-mathematics/frama-c-24.0:=[gtk=,ocamlopt?
]
~sci-mathematics/frama-c-callgraph-24.0:=[gtk=,ocamlopt?
]
~sci-mathematics/frama-c-eva-24.0:=[gtk=,ocamlopt?
]
~sci-mathematics/frama-c-pdg-24.0:=[ocamlopt?
]
~sci-mathematics/frama-c-sparecode-24.0:=[ocamlopt?
]
dev-lang/ocaml:=[ocamlopt?
]
frama-c-slicing-23.1
~sci-mathematics/frama-c-23.1:=[gtk=,ocamlopt?
]
~sci-mathematics/frama-c-callgraph-23.1:=[gtk=,ocamlopt?
]
~sci-mathematics/frama-c-eva-23.1:=[gtk=,ocamlopt?
]
~sci-mathematics/frama-c-pdg-23.1:=[ocamlopt?
]
~sci-mathematics/frama-c-sparecode-23.1:=[ocamlopt?
]
dev-lang/ocaml:=[ocamlopt?
]