package electrod

You can search for identifiers within the package.

in-package search v0.2.0

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

Maintainers

D

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

Sources

electrod-0.9.0.tbz

sha256=b2263601350f2ffe3cb1671d8bdd256729986b248c1ec39e84ec76a2f2b8408c

sha512=f4c0e7a196c7a14fff51e7f0cc6f91ed8b3df965523d878ab507320f9771ec69efddb31252ff9763ed2f92bc8c369cea73ca20edebbc3c9ff327fe500f33bdf0

doc/src/electrod.libelectrod/libelectrod.ml.html

Source file `libelectrod.ml`

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
(* generated by dune *)

(** @canonical Libelectrod.Ast *)
module Ast = Libelectrod__Ast

(** @canonical Libelectrod.Ast_to_elo *)
module Ast_to_elo = Libelectrod__Ast_to_elo

(** @canonical Libelectrod.Atom *)
module Atom = Libelectrod__Atom

(** @canonical Libelectrod.Domain *)
module Domain = Libelectrod__Domain

(** @canonical Libelectrod.Elo *)
module Elo = Libelectrod__Elo

(** @canonical Libelectrod.Elo_recursor *)
module Elo_recursor = Libelectrod__Elo_recursor

(** @canonical Libelectrod.Elo_to_ltl1 *)
module Elo_to_ltl1 = Libelectrod__Elo_to_ltl1

(** @canonical Libelectrod.Elo_to_ltl_intf *)
module Elo_to_ltl_intf = Libelectrod__Elo_to_ltl_intf

(** @canonical Libelectrod.Elo_to_model1 *)
module Elo_to_model1 = Libelectrod__Elo_to_model1

(** @canonical Libelectrod.Elo_to_smv1 *)
module Elo_to_smv1 = Libelectrod__Elo_to_smv1

(** @canonical Libelectrod.Exp_bounds *)
module Exp_bounds = Libelectrod__Exp_bounds

(** @canonical Libelectrod.Fmtc *)
module Fmtc = Libelectrod__Fmtc

(** @canonical Libelectrod.Gen_goal *)
module Gen_goal = Libelectrod__Gen_goal

(** @canonical Libelectrod.Gen_goal_recursor *)
module Gen_goal_recursor = Libelectrod__Gen_goal_recursor

(** @canonical Libelectrod.Instance *)
module Instance = Libelectrod__Instance

(** @canonical Libelectrod.Intf *)
module Intf = Libelectrod__Intf

(** @canonical Libelectrod.Invar_computation *)
module Invar_computation = Libelectrod__Invar_computation

(** @canonical Libelectrod.Location *)
module Location = Libelectrod__Location

(** @canonical Libelectrod.Msg *)
module Msg = Libelectrod__Msg

(** @canonical Libelectrod.Name *)
module Name = Libelectrod__Name

(** @canonical Libelectrod.Outcome *)
module Outcome = Libelectrod__Outcome

(** @canonical Libelectrod.Parser *)
module Parser = Libelectrod__Parser

(** @canonical Libelectrod.Parser_main *)
module Parser_main = Libelectrod__Parser_main

(** @canonical Libelectrod.Raw *)
module Raw = Libelectrod__Raw

(** @canonical Libelectrod.Raw_ident *)
module Raw_ident = Libelectrod__Raw_ident

(** @canonical Libelectrod.Raw_to_ast *)
module Raw_to_ast = Libelectrod__Raw_to_ast

(** @canonical Libelectrod.Relation *)
module Relation = Libelectrod__Relation

(** @canonical Libelectrod.Scanner *)
module Scanner = Libelectrod__Scanner

(** @canonical Libelectrod.Scope *)
module Scope = Libelectrod__Scope

(** @canonical Libelectrod.Scripts *)
module Scripts = Libelectrod__Scripts

(** @canonical Libelectrod.Shortnames *)
module Shortnames = Libelectrod__Shortnames

(** @canonical Libelectrod.Simplify1 *)
module Simplify1 = Libelectrod__Simplify1

(** @canonical Libelectrod.Simplify2 *)
module Simplify2 = Libelectrod__Simplify2

(** @canonical Libelectrod.Smv *)
module Smv = Libelectrod__Smv

(** @canonical Libelectrod.Smv_trace_parser *)
module Smv_trace_parser = Libelectrod__Smv_trace_parser

(** @canonical Libelectrod.Smv_trace_scanner *)
module Smv_trace_scanner = Libelectrod__Smv_trace_scanner

(** @canonical Libelectrod.Smv_trace_tokens *)
module Smv_trace_tokens = Libelectrod__Smv_trace_tokens

(** @canonical Libelectrod.Solver *)
module Solver = Libelectrod__Solver

(** @canonical Libelectrod.Symbol *)
module Symbol = Libelectrod__Symbol

(** @canonical Libelectrod.Symmetry *)
module Symmetry = Libelectrod__Symmetry

(** @canonical Libelectrod.Transfo *)
module Transfo = Libelectrod__Transfo

(** @canonical Libelectrod.Tuple *)
module Tuple = Libelectrod__Tuple

(** @canonical Libelectrod.Tuple_set *)
module Tuple_set = Libelectrod__Tuple_set

(** @canonical Libelectrod.Var *)
module Var = Libelectrod__Var