6 search results for "author:"Julien Signoles""

  1. calendar
    Documentation
    Library for handling dates and times in your program
    calendar date time datetime
    Julien Signoles
    3.0.0
    LGPL-2.1-or-later WITH OCaml-LGPL-linking-exception
    Used by 24 other packages
    12 Oct 2022
  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 Thibaut Benjamin et al.
    27.0~beta
    LGPL-2.1-only
    Used by 3 other packages
    17 May 2023
  3. frama-c-base
    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. ocamlgraph
    Documentation
    A generic graph library for OCaml
    graph library algorithms directed graph vertice edge persistent imperative
    Sylvain Conchon Jean-Christophe Filliâtre Julien Signoles
    2.0.0
    LGPL-2.1-only
    Used by 45 other packages
    08 Oct 2020
  6. ocamlgraph_gtk
    Documentation
    Displaying graphs using OCamlGraph and GTK
    graph library algorithms directed graph vertice edge persistent imperative
    Sylvain Conchon Jean-Christophe Filliâtre Julien Signoles
    2.0.0
    LGPL-2.1-only
    Used by 1 other packages
    08 Oct 2020