Add support for more assembly #2016
Draft
Annotations
4 errors
standalone-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").
|
standalone-ocaml
Makefile.coq:838: src/Assembly/Symbolic.v
|
standalone-ocaml
Makefile.coq:838: src/Assembly/Symbolic.v
|
standalone-ocaml
Process completed with exit code 1.
|
Loading