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 Stack Semantics (Initial) #42

Open ktemkin opened 5 days ago

ktemkin commented 5 days ago

Description

Given that we have designed the stack semantics (#26), we need to implement them. This task deals with the implementation of the bare minimum of those semantics to make things work correctly. We plan on relying on the existing Cairo VM stack and stack pointer as much as possible until we get to #59.