Explore GitLab
Discover projects, groups and snippets. Share your projects with others
-
website of soprano project
-
-
-
-
-
MetAcsl public repository
-
LUncov Frama-C plugin that identifies test objectives, expressed as (hyper)labels, that are uncoverable or redundant, in order to obtain more meaningful coverage measures.
-
launch a test suite over some code annotated with (hyper)labels and computes corresponding coverage metrics
-
LAnnotate Frama-C plugin for annotating source code with (hyper)labels corresponding to various test coverage criteria
-
-
-
-
-
-
-
-
-
-
-
Modelisation of base 2 floating points with arbitrary exponent and mantisse size. Extraction of the Flocq library.