diff options
| author |  Robert Sloan <varomodt@gmail.com> | 2016-05-18 22:22:47 -0400 |
|---|---|---|
| committer | Robert Sloan <varomodt@gmail.com> | 2016-06-22 13:43:30 -0400 |
| commit | b4895166bfc9cc73e18805e88bef4cf6f280364d (patch) | |
| tree | 694ae707cbc3c60b17c3ad8203f1870f3078e596 /src/Assembly/AlmostQhasm.v | |
| parent | a263361224a46fb8416c1b66a3af6f2d6cc7cff7 (diff) | |
Tuple-ization tactics work
Most of Medial, less the conversions
Most of Medial, less the conversions
Most of Medial, less the conversions
Most of Medial, less the conversions
More of Medial
MedialConversions done
Diffstat (limited to 'src/Assembly/AlmostQhasm.v')
| -rw-r--r-- | src/Assembly/AlmostQhasm.v | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/src/Assembly/AlmostQhasm.v b/src/Assembly/AlmostQhasm.v index 7e18edfe0..929eeaba5 100644 --- a/src/Assembly/AlmostQhasm.v +++ b/src/Assembly/AlmostQhasm.v @@ -6,9 +6,6 @@ Module AlmostQhasm <: Language. Import ListNotations. Import State. - (* A constant upper-bound on the number of operations we run *) - Definition maxOps: nat := 1000. - (* Program Types *) Definition State := State. |