7 search results for "author:"Guillaume Petiot""
Showing 1 - 7
-
Release dune packages in opam2.0.0ISCUsed by 3 other packages24 Jun 2023
-
Platform dedicated to the analysis of source code written in C29.0LGPL-2.1-onlyUsed by 6 other packages13 Jun 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.2MIT; LGPL-2.1-only WITH OCaml-LGPL-linking-exceptionUsed by 73 other packages23 Apr 2024
-
OCaml Code Formatter0.26.2MIT; LGPL-2.1-only WITH OCaml-LGPL-linking-exceptionUsed by 1 other packages23 Apr 2024
-
Auto-formatter for OCaml code (RPC mode)0.26.2MITUsed by 4 other packages23 Apr 2024