OCaml logo
3 Search Results
frama-c-lannotate
Lannotate plugin of Frama-C, part of the LTest suite
software testing Frama-C LTest
Omar Chebaro Mickaël Delahaye Michael Marcozzi Thibault Martin
0.2
LGPL-2.1-only
Used by 0 other packages
frama-c-luncov
Luncov plugin of Frama-C, part of the LTest suite
software testing Frama-C LTest
Robin David Mickaël Delahaye Michael Marcozzi Thibault Martin
0.2
LGPL-2.1-only
Used by 0 other packages
llopt
Just a tiny LLVM-IR optimizer for testing stuff.
llvm optimization test testing compiler
Kate <kit.ty.kate@disroot.org>
1.0.0
MIT
Used by 0 other packages