frama-c

frama-c 26.0

Libraries

This package provides the following libraries (via dune):

qed

Documentation:

Dependencies: frama-c.kernel, zarith