Explore projects
-
Coccinelle is a program matching and transformation engine which provides the language SmPL (Semantic Patch Language) for specifying desired matches and transformations in C code.
Updated -
Updated
-
-
-
Updated
-
Updated
-
Updated
-
FELiScE (Finite Elements for Life Sciences and Engineering) is a parallel finite element library written in C++. https://team.inria.fr/commedia/software/felisce/
Updated -
A Coq tactic for discharging goals about floating-point arithmetic and round-off errors using the Gappa prover.
Updated -
Updated
-
Updated
-
Gappa is a tool intended to help verifying and formally proving properties on numerical programs dealing with floating-point or fixed-point arithmetic.
Updated -
-
Updated
-
-
-
Updated
-
Updated