• OCaml logo OCaml logo
  • Standard Library API
  • Learn
  • Tools
  • Packages
  • Community
  • News
  • Play
  • Get Started
  • OCaml logo OCaml logo
  • Learn
  • Tools
  • Packages
  • Community
  • News
  • Play
  • Standard Library API
  • Get started

3 search results for "tag:"condition""

Showing 1 - 3
  1. config
    Documentation
    Ergonomic, lightweight conditional compilation through attributes
    conditional compilation target_os target_arch arch os system
    Leandro Ostera <leandro@abstractmachines.dev>
    0.0.3
    MIT
    Used by 3 other packages
    05 May 2024
  2. frama-c
    Documentation
    Platform dedicated to the analysis of source code written in C
    deductive verification 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.
    32.0
    LGPL-2.1-only
    Used by 2 other packages
    08 Dec 2025
  3. 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

Footer

OCaml OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS

About OCaml

  • Changelog
  • Releases
  • Industrial Users
  • Academic Users
  • Why OCaml

Resources

  • Install OCaml
  • Get Started
  • Platform Tools
  • Language Manual
  • Standard Library API
  • Books
  • Exercises
  • Papers
  • OCaml Playground
  • Logo

Ecosystem

  • Packages
  • Community
  • Events
  • OCaml Planet
  • Jobs

Policies

  • Security
  • Carbon Footprint
  • Governance
  • Privacy
  • Code of Conduct