File | Mode | Size |
---|---|---|
boomerang.v | -rw-r--r-- | 3.7 KB |
configure | -rwxr-xr-x | 1.2 KB |
deposit.v | -rw-r--r-- | 3.7 KB |
dexter_definition.v | -rw-r--r-- | 19.7 KB |
dexter_parse.v | -rw-r--r-- | 2.3 KB |
dexter_spec.v | -rw-r--r-- | 24.0 KB |
dexter_spec_monad.v.bak | -rw-r--r-- | 1.2 KB |
dexter_spec_tez.v | -rw-r--r-- | 2.6 KB |
dexter_string.v | -rw-r--r-- | 68.3 KB |
dexter_verification.v | -rw-r--r-- | 12.5 KB |
generic_multisig.v | -rw-r--r-- | 21.2 KB |
manager.v | -rw-r--r-- | 5.4 KB |
multisig.v | -rw-r--r-- | 20.6 KB |
return_to_sender.v | -rw-r--r-- | 3.7 KB |
vote.v | -rw-r--r-- | 6.8 KB |