search

runtimeverification / iele-semantics

Semantics of Virtual Machine for IELE prototype blockchain
Other
131 stars 33 forks source link

fix for bswap instruction #291

Closed theo25 closed 3 years ago

theo25 commented 3 years ago

This PR removes an artificial limitation on the semantics of the bswap instruction, namely the instruction now can be applied to a negative integer argument.