package electrod

  1. Overview
  2. Docs
Formal analysis for the Electrod formal pivot language

Install

Dune Dependency

github.com Readme Changelog MPL-2.0 License Edit opam file Versions (10)

Authors

  1. D
    David Chemouil
  2. J
    Julien Brunel

Maintainers

  1. D
    David Chemouil <david.chemouil+git@onera.fr>

Sources

electrod-0.6.tbz
sha256=545020556bdc1517867791ccbbf4a00623d911663daa26e6d57dc66e7652f269
sha512=2921be5e844e408f1d3208c7d9b310d3ef3b050d37ab0b449b9fd9722be54167eacc08b957b595cab58dedb28c43f327238a30a360ac0ae45d724bd1d8bd664c

doc/electrod.libelectrod/Libelectrod/Smv_trace_tokens/index.html

Module Libelectrod.Smv_trace_tokensSource

Sourcetype token =
  1. | TRUE
  2. | STATE
  3. | LOOP
  4. | FALSE
  5. | EQUAL
  6. | EOF
  7. | ATOMIC of Name.t * Tuple.t
OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct