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.4.1.tbz

sha256=b0bce9cc7126672feda5a02d5ef0c1131ba54db57654f80c0768c2f8d043cef9

sha512=92cc22f81522435e190039324767b6f69fa0b7d9dbfc3fb5561919823136fe492244dae993caf98633828e0090b67f306eec6270b86a1b2ff8630642130a3081

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