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

  1. calendar
    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 23 other packages
    Last published 12 Oct 2022
  2. frama-c
    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 Allan Blanchard Lionel Blatter François Bobot Richard Bonichon Quentin Bouillaguet David Bühler Zakaria Chihani Loïc Correnson Julien Crétin Pascal Cuoq Zaynah Dargaye Basile Desloges Jean-Christophe Filliâtre Philippe Herrmann Maxime Jacquemin Florent Kirchner Tristan Le Gall Jean-Christophe Léchenet Matthieu Lemerre Dara Ly David Maison Claude Marché André Maroneze Thibault Martin Fonenantsoa Maurica Melody Méaulle Benjamin Monate Yannick Moy Anne Pacalet Valentin Perrelle Guillaume Petiot Dario Pinto Virgile Prevosto Armand Puccetti Félix Ridoux Virgile Robles Muriel Roger Julien Signoles Nicolas Stouls Kostyantyn Vorobyov Boris Yakobowski
    26.1
    LGPL-2.1-only
    Used by 3 other packages
    Last published 16 Feb 2023
  3. frama-c-base
    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 David Bühler Loïc Correnson Julien Crétin Pascal Cuoq Zaynah Dargaye Jean-Christophe Filliâtre Philippe Herrmann Florent Kirchner Tristan Le Gall Jean-Christophe Léchenet Matthieu Lemerre David Maison Claude Marché André Maroneze Benjamin Monate Yannick Moy Anne Pacalet Valentin Perrelle Guillaume Petiot Virgile Prevosto Armand Puccetti Muriel Roger Julien Signoles Kostyantyn Vorobyov Boris Yakobowski
    15.0
    LGPL-2.1-only
    Used by 2 other packages
    Last published 30 Oct 2018
  4. frama-c-e-acsl
    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
    Last published 28 Jul 2015
  5. ocamlgraph
    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 44 other packages
    Last published 08 Oct 2020
  6. ocamlgraph_gtk
    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
    Last published 08 Oct 2020