⚡ Edict Browser Compilation
Edict Program (JSON AST)
Initializing…
Z3 Contract Verification
Compilation
Execution