diff options
| author |  Robert Sloan <varomodt@gmail.com> | 2016-05-27 14:18:49 -0400 |
|---|---|---|
| committer | Robert Sloan <varomodt@gmail.com> | 2016-06-22 13:43:33 -0400 |
| commit | 63744c51fb183c7701edd6e2eece594946170786 (patch) | |
| tree | 8929b7d95c2629130f205ae9e4a3b07a8d5d2780 /src/Assembly/AlmostQhasm.v | |
| parent | 9c1fb211e75b3a655e0d0e894d6e73bcf24ecc4d (diff) | |
Finished proofs in QhasmEvalCommon for formalizing mappings
Generalized and cleaned up state model
Generalized and cleaned up state model
Diffstat (limited to 'src/Assembly/AlmostQhasm.v')
| -rw-r--r-- | src/Assembly/AlmostQhasm.v | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/src/Assembly/AlmostQhasm.v b/src/Assembly/AlmostQhasm.v index d50e3a6bd..e33186bea 100644 --- a/src/Assembly/AlmostQhasm.v +++ b/src/Assembly/AlmostQhasm.v @@ -3,8 +3,7 @@ Require Import Language. Require Import List. Module AlmostQhasm <: Language. - Import ListNotations. - Import State. + Import QhasmEval. (* Program Types *) Definition State := State. |