Contents
Index
improve-0.1.0: 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
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
Assert
Language.ImProve.Core
assert
Language.ImProve
Assign
Language.ImProve
AssignBool
Language.ImProve.Core
AssignFloat
Language.ImProve.Core
AssignInt
Language.ImProve.Core
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
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
Tree
Language.ImProve.Tree
tree
Language.ImProve.Tree
true
Language.ImProve
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
|=
Language.ImProve
|=-
Language.ImProve
||.
Language.ImProve