Contents
Index
improve-0.2.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
Add
Language.ImProve.Core
AllE
Language.ImProve.Core
,
Language.ImProve
all_
Language.ImProve
And
Language.ImProve.Core
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
Assign
1 (Data Constructor)
Language.ImProve.Core
2 (Type/Class)
Language.ImProve
Assume
Language.ImProve.Core
assume
Language.ImProve
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
case_
Language.ImProve
code
1 (Function)
Language.ImProve.Code
2 (Function)
Language.ImProve
Const
1 (Type/Class)
Language.ImProve.Core
2 (Data Constructor)
Language.ImProve.Core
const'
Language.ImProve.Core
constant
Language.ImProve
counter
Language.ImProve.Examples
decr
Language.ImProve
Div
Language.ImProve.Core
div_
Language.ImProve
E
Language.ImProve.Core
,
Language.ImProve
Eq
Language.ImProve.Core
exprVars
Language.ImProve.Core
false
Language.ImProve
Float
Language.ImProve.Core
float
Language.ImProve
float'
Language.ImProve
Ge
Language.ImProve.Core
global
Language.ImProve
Gt
Language.ImProve.Core
ifelse
Language.ImProve
if_
Language.ImProve
incr
Language.ImProve
input
Language.ImProve
Int
Language.ImProve.Core
int
Language.ImProve
int'
Language.ImProve
Label
Language.ImProve.Core
Le
Language.ImProve.Core
Leaf
Language.ImProve.Tree
limit
Language.ImProve
linear
Language.ImProve
Lt
Language.ImProve.Core
maximum_
Language.ImProve
max_
Language.ImProve
minimum_
Language.ImProve
min_
Language.ImProve
Mod
Language.ImProve.Core
mod_
Language.ImProve
Mul
Language.ImProve.Core
Mux
Language.ImProve.Core
mux
Language.ImProve
Name
Language.ImProve.Core
,
Language.ImProve
Not
Language.ImProve.Core
not_
Language.ImProve
Null
Language.ImProve.Core
NumE
Language.ImProve.Core
,
Language.ImProve
Or
Language.ImProve.Core
or_
Language.ImProve
Path
Language.ImProve.Core
PathName
Language.ImProve.Core
pathName
Language.ImProve.Core
Ref
Language.ImProve.Core
ref
Language.ImProve
runAll
Language.ImProve.Examples
Sequence
Language.ImProve.Core
Statement
Language.ImProve.Core
Stmt
Language.ImProve
stmtVars
Language.ImProve.Core
Sub
Language.ImProve.Core
Theorem
1 (Data Constructor)
Language.ImProve.Core
2 (Type/Class)
Language.ImProve
theorem
Language.ImProve
theorems
Language.ImProve.Core
Tree
Language.ImProve.Tree
tree
Language.ImProve.Tree
true
Language.ImProve
UID
Language.ImProve.Core
untype
Language.ImProve.Core
UV
Language.ImProve.Core
UVBool
Language.ImProve.Core
UVFloat
Language.ImProve.Core
UVInt
Language.ImProve.Core
V
1 (Type/Class)
Language.ImProve.Core
,
Language.ImProve
2 (Data Constructor)
Language.ImProve.Core
VarInfo
Language.ImProve.Core
varInfo
Language.ImProve.Core
verify
1 (Function)
Language.ImProve.Verify
2 (Function)
Language.ImProve
verifyArbiters
Language.ImProve.Examples
verifyCounter
Language.ImProve.Examples
zero
Language.ImProve.Core
||.
Language.ImProve