Implement Bit Operations (Final)

reilabs / llvm-to-cairo

Efforts to compile LLVM bytecode to run on top of the CairoVM and hence execute provably on Starknet

http://starknet.io

Apache License 2.0

1 stars 0 forks source link

Implement Bit Operations (Final) #57

Open ktemkin opened 5 days ago

ktemkin commented 5 days ago

Description

Our initial implementation of bit operations (#38) took some liberties with semantics in interest of getting something mostly correct working sooner rather than later. This task deals with ensuring true semantic correctness for these operations.