File | Mode | Size |
---|---|---|
boomerang.v | -rw-r--r-- | 3.2 KB |
configure | -rwxr-xr-x | 1.2 KB |
contract_components.v | -rw-r--r-- | 258 bytes |
deposit.v | -rw-r--r-- | 3.1 KB |
fa12_camlcase.v | -rw-r--r-- | 8.6 KB |
fa12_camlcase_spec.v | -rw-r--r-- | 5.4 KB |
fa12_camlcase_string.v | -rw-r--r-- | 8.2 KB |
fa12_camlcase_verif.v | -rw-r--r-- | 13.3 KB |
fa12_dexter.v | -rw-r--r-- | 8.7 KB |
fa12_dexter_spec.v | -rw-r--r-- | 5.9 KB |
fa12_dexter_string.v | -rw-r--r-- | 7.6 KB |
fa12_dexter_verif.v | -rw-r--r-- | 15.6 KB |
fa12_edukera.v | -rw-r--r-- | 7.6 KB |
fa12_edukera_spec.v | -rw-r--r-- | 5.2 KB |
fa12_edukera_string.v | -rw-r--r-- | 8.5 KB |
fa12_edukera_verif.v | -rw-r--r-- | 12.6 KB |
fa12_interface.v | -rw-r--r-- | 7.0 KB |
fa12_spec.v | -rw-r--r-- | 5.1 KB |
fa12_verif.v | -rw-r--r-- | 10.2 KB |
generic_multisig.v | -rw-r--r-- | 18.5 KB |
manager.v | -rw-r--r-- | 5.2 KB |
multisig.v | -rw-r--r-- | 18.3 KB |
spending_limit_contract_definition.v | -rw-r--r-- | 12.1 KB |
spending_limit_contract_parsing.v | -rw-r--r-- | 2.1 KB |
spending_limit_contract_string.v | -rw-r--r-- | 9.7 KB |
spending_limit_contract_verification.v | -rw-r--r-- | 39.9 KB |
utils.v | -rw-r--r-- | 10.9 KB |
vesting_tez.v | -rw-r--r-- | 15.1 KB |
vesting_tez_string.v | -rw-r--r-- | 3.9 KB |
vote.v | -rw-r--r-- | 5.5 KB |