7 search results for "author:"Guillaume Petiot""

Showing 1 - 7
  1. dune-release
    Documentation
    Release dune packages in opam
    Daniel Bünzli Thomas Gazagnaire Nathan Rebours Guillaume Petiot Sonja Heinze
    2.0.0
    ISC
    Used by 3 other packages
    24 Jun 2023
  2. frama-c
    Documentation
    Platform dedicated to the analysis of source code written in C
    deductive program verification formal specification automated theorem prover interactive theorem prover C plugins abstract interpretation slicing weakest precondition ACSL dataflow analysis runtime verification
    Michele Alberti Thibaud Antignac Gergö Barany Patrick Baudin Nicolas Bellec et al.
    29.0
    LGPL-2.1-only
    Used by 6 other packages
    13 Jun 2024
  3. frama-c-base

    No documentation

    Platform dedicated to the analysis of source code written in C.
    deductive program verification formal specification automated theorem prover interactive theorem prover C plugins abstract interpretation slicing weakest precondition ACSL dataflow analysis runtime verification
    Michele Alberti Gergö Barany Patrick Baudin François Bobot Richard Bonichon et al.
    15.0
    LGPL-2.1-only
    Used by 2 other packages
    30 Oct 2018
  4. frama-c-e-acsl
    Documentation
    This package contains the Frama-C's E-ACSL plug-in.
    program verification formal specification runtime assertion checking monitoring C plugins ACSL E-ACSL
    Julien Signoles Guillaume Petiot
    0.5
    LGPL-2.1-only
    Used by 0 other packages
    28 Jul 2015
  5. ocamlformat
    Documentation
    Auto-formatter for OCaml code
    Josh Berdine <jjb@fb.com> Hugo Heuzard <hugo.heuzard@gmail.com> Etienne Millon <etienne@tarides.com> Guillaume Petiot <guillaume@tarides.com> Jules Aguillon <jules@j3s.fr>
    0.26.2
    MIT; LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 76 other packages
    23 Apr 2024
  6. ocamlformat-lib
    Documentation
    OCaml Code Formatter
    Josh Berdine <jjb@fb.com> Hugo Heuzard <hugo.heuzard@gmail.com> Etienne Millon <etienne@tarides.com> Guillaume Petiot <guillaume@tarides.com> Jules Aguillon <jules@j3s.fr>
    0.26.2
    MIT; LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 1 other packages
    23 Apr 2024
  7. ocamlformat-rpc-lib
    Documentation
    Auto-formatter for OCaml code (RPC mode)
    Josh Berdine <jjb@fb.com> Hugo Heuzard <hugo.heuzard@gmail.com> Etienne Millon <etienne@tarides.com> Guillaume Petiot <guillaume@tarides.com> Jules Aguillon <jules@j3s.fr>
    0.26.2
    MIT
    Used by 4 other packages
    23 Apr 2024