search

reilabs / hieratika

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

Design Separate Compilation #47

Closed ktemkin closed 1 month ago

ktemkin commented 2 months ago

Description

While pseudo-linkage (#40) is sufficient for using our polyfill system, we need a way to deal with the more complex notions of linkage that arise in our source languages. This work can potentially be made part of the Cairo compiler proper, giving Cairo a notion of cross-module linkage and separate compilation.

iamrecursion commented 1 month ago

Closed as this was accounted for by #25.