|
MRiscX/AbstractSyntax/AbstractSyntax.lean |
34 |
0 |
|
|
MRiscX/AbstractSyntax/Instr.lean |
10 |
1 |
|
|
MRiscX/AbstractSyntax/MState.lean |
23 |
0 |
|
|
MRiscX/AbstractSyntax/Map.lean |
21 |
4 |
|
|
MRiscX/Delab/DelabCode.lean |
8 |
0 |
|
|
MRiscX/Delab/DelabHoare.lean |
13 |
0 |
|
|
MRiscX/Elab/CodeElaborator.lean |
7 |
0 |
|
|
MRiscX/Elab/HandleExpr.lean |
14 |
0 |
|
|
MRiscX/Elab/HandleNumOrIdent.lean |
9 |
0 |
|
|
MRiscX/Elab/HoareElaborator.lean |
12 |
0 |
|
|
MRiscX/Hoare/EvalLabelInHoare.lean |
3 |
0 |
|
|
MRiscX/Hoare/HoareAssignmentElab.lean |
5 |
0 |
|
|
MRiscX/Hoare/HoareCore.lean |
4 |
0 |
|
|
MRiscX/Hoare/HoareRules.lean |
2 |
9 |
1 |
|
MRiscX/Hoare/HoareTheory.lean |
1 |
2 |
|
|
MRiscX/Parser/AssemblySyntax.lean |
42 |
0 |
|
|
MRiscX/Parser/HoareSyntax.lean |
28 |
0 |
|
|
MRiscX/Semantics/MsTheory.lean |
0 |
50 |
|
|
MRiscX/Semantics/Run.lean |
5 |
0 |
|
|
MRiscX/Semantics/Specification.lean |
0 |
28 |
|
|
MRiscX/Tactics/GeneralCustomTactics.lean |
2 |
0 |
|
|
MRiscX/Tactics/ProofAutomationTactics.lean |
26 |
0 |
|
|
MRiscX/Tactics/SplitLastSeq.lean |
13 |
0 |
|
|
MRiscX/Util/BasicTheorems.lean |
1 |
20 |
|