2 search results for "author:"Basile Clément <basile.clement@ocamlpro.com""

Showing 1 - 2
  1. store
    Documentation
    Snapshottable data structures
    Basile Clément <basile.clement@ocamlpro.com> Gabriel Scherer Guillaume Bury <guillaume.bury@ocamlpro.com>
    0.1
    MIT
    Used by 0 other packages
    28 Aug 2024
  2. symex
    Documentation
    Primitives to write symbolic execution engines
    symbolic execution path condition monad solver
    redianthus <leo@ocaml.pro> Pierre Chambart <pierre.chambart@ocamlpro.com> Filipe Marques <filipe.s.marques@tecnico.ulisboa.pt> Arthur Carcano <arthur.carcano@ocamlpro.com> Basile Clément <basile.clement@ocamlpro.com
    0.1
    AGPL-3.0-or-later
    Used by 0 other packages
    09 Feb 2026