solid-grinder 0.3.0

A CLI that goes along with building blocks of smart contract. Along with our front-end snippets, this toolbox can reduce L2 gas cost by encoding calldata for dApps development to use as little bytes of calldata as possible.
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
34
35
36

import "./IERC5313.spec"

methods {
    // === View ==
    
    // Default Admin
    defaultAdmin() returns(address) envfree
    pendingDefaultAdmin() returns(address, uint48) envfree
    
    // Default Admin Delay
    defaultAdminDelay() returns(uint48)
    pendingDefaultAdminDelay() returns(uint48, uint48)
    defaultAdminDelayIncreaseWait() returns(uint48) envfree
    
    // === Mutations ==

    // Default Admin
    beginDefaultAdminTransfer(address)
    cancelDefaultAdminTransfer()
    acceptDefaultAdminTransfer()

    // Default Admin Delay
    changeDefaultAdminDelay(uint48)
    rollbackDefaultAdminDelay()

    // == FV ==
    
    // Default Admin
    pendingDefaultAdmin_() returns (address) envfree
    pendingDefaultAdminSchedule_() returns (uint48) envfree
    
    // Default Admin Delay
    pendingDelay_() returns (uint48)
    pendingDelaySchedule_() returns (uint48)
    delayChangeWait_(uint48) returns (uint48)
}