rename int types to be more explicit about unsignedness #3241
zeldovichAnnotations
4 errors
|
build (dev):
src/program_proof/marshal_stateless_proof.v#L94
The reference int.Z was not found in the current environment.
|
|
build (dev):
src/program_proof/simple/iwrite.v#L175
The variable u was not found in the current environment.
|
|
build (8.19):
src/program_proof/marshal_stateless_proof.v#L94
The reference int.Z was not found in the current environment.
|
|
build (8.19):
src/program_proof/simple/iwrite.v#L175
The variable u was not found in the current environment.
|