Add support for more assembly #568
Annotations
4 errors
|
all-except-generated-and-js-of-ocaml:
src/Assembly/Symbolic.v#L4051
In environment
ri : N
r := widest_register_of_index ri : REG
The term "inl (N.to_nat ri)" has type "(nat + ?B)%type"
while it is expected to have type "(N + REG)%type" (cannot unify
"nat" and "N").
|
|
all-except-generated-and-js-of-ocaml
Makefile.coq:818: src/Assembly/Symbolic.v
|
|
all-except-generated-and-js-of-ocaml
Makefile.coq:818: src/Assembly/Symbolic.v
|
|
all-except-generated-and-js-of-ocaml
Process completed with exit code 2.
|
Loading