Add support for more assembly #888
Annotations
4 errors
|
all-except-generated-and-js-of-ocaml:
src/Assembly/WithBedrock/Semantics.v#L138
In environment
sa : N
s : N
st : machine_state
a : ARG
v : Z
a0 : MEM
The term "DenoteAddress sa st a0" has type "(option string * Z)%type"
while it is expected to have type "option ?A@{a0:=a; a:=a0}".
|
|
all-except-generated-and-js-of-ocaml
Makefile.coq:818: src/Assembly/WithBedrock/Semantics.v
|
|
all-except-generated-and-js-of-ocaml
Makefile.coq:818: src/Assembly/WithBedrock/Semantics.v
|
|
all-except-generated-and-js-of-ocaml
Process completed with exit code 2.
|
Loading