Contents
Index
improve-0.3.3: An imperative, verifiable programming language for high assurance applications.
Index
&&.
Language.ImProve
*.
Language.ImProve
-->
Language.ImProve
-|
Language.ImProve
/.
Language.ImProve
/=.
Language.ImProve
<.
Language.ImProve
<=.
Language.ImProve
<==
Language.ImProve
==.
Language.ImProve
==>
Language.ImProve
>.
Language.ImProve
>=.
Language.ImProve
A
1 (Type/Class)
Language.ImProve.Core
2 (Data Constructor)
Language.ImProve.Core
Add
Language.ImProve.Core
Add'
Language.ImProve.Code.Simulink
AllE
Language.ImProve.Core
,
Language.ImProve
all_
Language.ImProve
analyze
Language.ImProve
And
Language.ImProve.Core
And'
Language.ImProve.Code.Simulink
and_
Language.ImProve
any_
Language.ImProve
arbiter
Language.ImProve.Examples
arbiter1
Language.ImProve.Examples
arbiter2
Language.ImProve.Examples
arbiter3
Language.ImProve.Examples
arbiterSpec
Language.ImProve.Examples
arrayLength
Language.ImProve.Core
Assertion
Language.ImProve.Code.Simulink
Assign
1 (Data Constructor)
Language.ImProve.Core
2 (Type/Class)
Language.ImProve
Assume
Language.ImProve.Core
assume
Language.ImProve
Block
Language.ImProve.Code.Simulink
blocks
Language.ImProve.Code.Simulink
Bool
Language.ImProve.Core
bool
Language.ImProve
bool'
Language.ImProve
Branch
1 (Data Constructor)
Language.ImProve.Tree
2 (Data Constructor)
Language.ImProve.Core
buildArbiters
Language.ImProve.Examples
buildGCD
Language.ImProve.Examples
C
Language.ImProve.Code
,
Language.ImProve
case_
Language.ImProve
Cast
Language.ImProve.Code.Simulink
code
1 (Function)
Language.ImProve.Code
2 (Function)
Language.ImProve
codeC
Language.ImProve.Code.C
codeModelica
Language.ImProve.Code.Modelica
codeSimulink
Language.ImProve.Code.Simulink
Const
1 (Type/Class)
Language.ImProve.Core
2 (Data Constructor)
Language.ImProve.Core
Const'
Language.ImProve.Code.Simulink
const'
Language.ImProve.Core
constant
Language.ImProve
counter
Language.ImProve.Examples
decr
Language.ImProve
Div
Language.ImProve.Core
Div'
Language.ImProve.Code.Simulink
div_
Language.ImProve
E
Language.ImProve.Core
,
Language.ImProve
env
Language.ImProve.Code.Simulink
Eq
Language.ImProve.Core
Eq'
Language.ImProve.Code.Simulink
false
Language.ImProve
Float
Language.ImProve.Core
float
Language.ImProve
float'
Language.ImProve
Ge
Language.ImProve.Core
Ge'
Language.ImProve.Code.Simulink
global
Language.ImProve
Gt
Language.ImProve.Core
Gt'
Language.ImProve.Code.Simulink
ifelse
Language.ImProve
if_
Language.ImProve
incr
Language.ImProve
indent
Language.ImProve.Code.Common
Inport
Language.ImProve.Code.Simulink
input
Language.ImProve
Int
Language.ImProve.Core
int
Language.ImProve
int'
Language.ImProve
Label
Language.ImProve.Core
Le
Language.ImProve.Core
Le'
Language.ImProve.Code.Simulink
Leaf
Language.ImProve.Tree
limit
Language.ImProve
linear
Language.ImProve
Lt
Language.ImProve.Core
Lt'
Language.ImProve.Code.Simulink
maximum_
Language.ImProve
max_
Language.ImProve
minimum_
Language.ImProve
min_
Language.ImProve
Mod
Language.ImProve.Core
Mod'
Language.ImProve.Code.Simulink
Modelica
Language.ImProve.Code
,
Language.ImProve
mod_
Language.ImProve
Mul
Language.ImProve.Core
Mul'
Language.ImProve.Code.Simulink
Mux
Language.ImProve.Core
mux
Language.ImProve
Mux'
Language.ImProve.Code.Simulink
Name
Language.ImProve.Core
,
Language.ImProve
Netlist
1 (Type/Class)
Language.ImProve.Code.Simulink
2 (Data Constructor)
Language.ImProve.Code.Simulink
netlist
Language.ImProve.Code.Simulink
nets
Language.ImProve.Code.Simulink
nextId
Language.ImProve.Code.Simulink
Not
Language.ImProve.Core
Not'
Language.ImProve.Code.Simulink
not_
Language.ImProve
Null
Language.ImProve.Core
NumE
Language.ImProve.Core
,
Language.ImProve
Or
Language.ImProve.Core
Or'
Language.ImProve.Code.Simulink
or_
Language.ImProve
Outport
Language.ImProve.Code.Simulink
Path
Language.ImProve.Core
path
Language.ImProve.Code.Simulink
PathName
Language.ImProve.Core
pathName
Language.ImProve.Core
Ref
Language.ImProve.Core
ref
Language.ImProve
runAll
Language.ImProve.Examples
Sequence
Language.ImProve.Core
Simulink
Language.ImProve.Code
,
Language.ImProve
Statement
Language.ImProve.Core
Stmt
Language.ImProve
stmtVars
Language.ImProve.Core
Sub
Language.ImProve.Core
Sub'
Language.ImProve.Code.Simulink
Target
Language.ImProve.Code
,
Language.ImProve
Theorem
1 (Data Constructor)
Language.ImProve.Core
2 (Type/Class)
Language.ImProve
theorem
Language.ImProve
theorems
Language.ImProve.Core
totalPaths
Language.ImProve.Path
Tree
Language.ImProve.Tree
tree
Language.ImProve.Tree
true
Language.ImProve
UID
Language.ImProve.Core
UnitDelay
Language.ImProve.Code.Simulink
V
1 (Type/Class)
Language.ImProve.Core
,
Language.ImProve
2 (Data Constructor)
Language.ImProve.Core
VarInfo
Language.ImProve.Core
varInfo
Language.ImProve.Core
vars
Language.ImProve.Code.Simulink
verify
1 (Function)
Language.ImProve.Verify
2 (Function)
Language.ImProve
verifyArbiters
Language.ImProve.Examples
verifyCounter
Language.ImProve.Examples
zero
Language.ImProve.Core
||.
Language.ImProve