7 search results for "author:"Guillaume Petiot""
Showing 1 - 7
-
dune-release
No documentation
Release dune packages in opam2.0.0ISCUsed by 3 other packages24 Jun 2023 -
Platform dedicated to the analysis of source code written in C28.1LGPL-2.1-onlyUsed by 4 other packages04 Mar 2024
-
frama-c-base
No documentation
Platform dedicated to the analysis of source code written in C.15.0LGPL-2.1-onlyUsed by 2 other packages30 Oct 2018 -
This package contains the Frama-C's E-ACSL plug-in.0.5LGPL-2.1-onlyUsed by 0 other packages28 Jul 2015
-
Auto-formatter for OCaml code0.26.1MIT; LGPL-2.1-only WITH OCaml-LGPL-linking-exceptionUsed by 65 other packages19 Sep 2023
-
OCaml Code Formatter0.26.1MIT; LGPL-2.1-only WITH OCaml-LGPL-linking-exceptionUsed by 1 other packages19 Sep 2023
-
Auto-formatter for OCaml code (RPC mode)0.26.1MITUsed by 4 other packages19 Sep 2023