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
2 stars 0 forks source link

Adds generation of `FlatLowered` #82

Closed Eagle941 closed 2 weeks ago

Eagle941 commented 3 weeks ago

Summary

This PR adds the pipeline to compile Cairo files and retrieve the FlatLowered struct from the Cairo compiler.

It also adds the first command build for the cli which prints the FlatLowered struct generated by the Cairo compiler. The next PR will export FlatLowered to files.

Details

Compilation of Cairo files requires the use of corelib from the Cairo repository. To ensure that corelib version matches Cairo crates version, Cairo is included as a git submodule.

A new license exception has been added for tiny-keccak which is released under the CC0-1.0 license.

Checklist

Eagle941 commented 2 weeks ago

When are you planning on adding the diagnostic tests we discussed?

@iamrecursion I have added diagnostics tests in the branch wip/gafe/flat_lowered_export. I open a PR after this one.