search

lindy-labs / aegis

Verify Cairo contracts in Lean 4
GNU General Public License v3.0
8 stars 0 forks source link

Parse .sierra.json files #12

Open javra opened 7 months ago

javra commented 7 months ago

We can use Lean.Data.Json for that. This would have the advantage of not needing to add sierra-text = true to Scarb.toml files whever we want to gain a Sierra output that's usable in Aegis.

javra commented 7 months ago

Started pursuing that on the json branch