-
Notifications
You must be signed in to change notification settings - Fork 14
Expand file tree
/
Copy pathMain.lean
More file actions
33 lines (32 loc) · 1.6 KB
/
Copy pathMain.lean
File metadata and controls
33 lines (32 loc) · 1.6 KB
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
import EvmAsm.Codegen.CallFramePhase
import EvmAsm.Codegen.CallFrameWindows
import EvmAsm.Codegen.Cli
import EvmAsm.Codegen.Driver
import EvmAsm.Codegen.Emit
import EvmAsm.Codegen.Layout
import EvmAsm.Codegen.Programs.FileSizeGuard
import EvmAsm.Codegen.Programs.Registry
-- BOOTSTRAP import EvmAsm.Codegen.Proofs.BlobHashGuardedHandlerSpec
-- BOOTSTRAP import EvmAsm.Codegen.Proofs.BlockHashGuardedHandlerSpec
-- BOOTSTRAP import EvmAsm.Codegen.Proofs.CallReturn
-- BOOTSTRAP import EvmAsm.Codegen.Proofs.CalldataLoadGuardedHandlerSpec
-- BOOTSTRAP import EvmAsm.Codegen.Proofs.CreateDeployedCodeValidSpec
-- BOOTSTRAP import EvmAsm.Codegen.Proofs.CreateInitcodeSizeValidSpec
-- BOOTSTRAP import EvmAsm.Codegen.Proofs.DoWhileDemo
-- BOOTSTRAP import EvmAsm.Codegen.Proofs.GuardedHandlerSpecs
-- BOOTSTRAP import EvmAsm.Codegen.Proofs.GuestImage
-- BOOTSTRAP import EvmAsm.Codegen.Proofs.GuestImageEntries
-- BOOTSTRAP import EvmAsm.Codegen.Proofs.HandleFocusReal
-- BOOTSTRAP import EvmAsm.Codegen.Proofs.HandlerHandles
-- BOOTSTRAP import EvmAsm.Codegen.Proofs.HandlerHandlesBinary
-- BOOTSTRAP import EvmAsm.Codegen.Proofs.HandlerHandlesLogic
-- BOOTSTRAP import EvmAsm.Codegen.Proofs.HandlerHandlesUnary
-- BOOTSTRAP import EvmAsm.Codegen.Proofs.HandlerSpecs
-- BOOTSTRAP import EvmAsm.Codegen.Proofs.JumpdestBitmap
-- BOOTSTRAP import EvmAsm.Codegen.Proofs.OpcodeTables
-- BOOTSTRAP import EvmAsm.Codegen.Proofs.RegistryInvariants
-- BOOTSTRAP import EvmAsm.Codegen.Proofs.U256IsZeroSpec
import EvmAsm.Codegen.RegionMap
import EvmAsm.Codegen.RoundTripTests
def main (args : List String) : IO UInt32 :=
EvmAsm.Codegen.Cli.main args