Cat - Liquidator
- Bite - Trigger liquidation of an unsafe Cdp (vat.grab)
Jug - Stability fees
- Drip - Trigger stability fee accumulation (vat.fold)
HEAD DELTAC | |
├ 0 ❌ ╭ ((#sizeByteArray((112 : (160 : (130 : (49 : (nthbyteof(ABI_who, 0, 32) : (nthbyteof(ABI_who, 1, 3 | |
│ │ 2) : (nthbyteof(ABI_who, 2, 32) : (nthbyteof(ABI_who, 3, 32) : (nthbyteof(ABI_who, 4, 32) : (nthbyte | |
│ │ of(ABI_who, 5, 32) : (nthbyteof(ABI_who, 6, 32) : (nthbyteof(ABI_who, 7, 32) : (nthbyteof(ABI_who, 8 | |
│ │ , 32) : (nthbyteof(ABI_who, 9, 32) : (nthbyteof(ABI_who, 10, 32) : (nthbyteof(ABI_who, 11, 32) : (nt | |
│ │ hbyteof(ABI_who, 12, 32) : (nthbyteof(ABI_who, 13, 32) : (nthbyteof(ABI_who, 14, 32) : (nthbyteof(AB | |
│ │ I_who, 15, 32) : (nthbyteof(ABI_who, 16, 32) : (nthbyteof(ABI_who, 17, 32) : (nthbyteof(ABI_who, 18, | |
│ │ 32) : (nthbyteof(ABI_who, 19, 32) : (nthbyteof(ABI_who, 20, 32) : (nthbyteo |
========================================== | |
Top term when exception was thrown: | |
========================================== | |
<kevm>(<k>(#KSequence(#popCallStack_EVM(.KList), #popWorldState_EVM(.KList), Int(#"0"), #push_EVM(.KList), R_DotVar1_1984:K)),, <exit-code>(Int(#"1")),, <mode>(NORMAL(.KList)),, <schedule>(ISTANBUL_EVM(.KList)),, <ethereum>(<evm>(<output>(VOutput_1809:WordStack),, <statusCode>(EVMC_STACK_OVERFLOW_NETWORK(.KList)),, <callStack>(VCallStack_1807:List),, <interimStates>(_2_1871:List),, <touchedAccounts>(_3_1841:Set),, <callState>(<program>(_:_WS(Int(#"96"),, _:_WS(Int(#"128"),, _:_WS(Int(#"96"),, _:_WS(Int(#"64"),, _:_WS(Int(#"82"),, _:_WS(Int(#"52"),, _:_WS(Int(#"128"),, _:_WS(Int(#"21"),, _:_WS(Int(#"97"),, _:_WS(Int(#"0"),, _:_WS(Int(#"16"),, _:_WS(Int(#"87"),, _:_WS(Int(#"96"),, _:_WS(Int(#"0"),, _:_WS(Int(#"128"),, _:_WS(Int(#"253"),, _:_WS(Int(#"91"),, _:_WS(Int(#"80"),, _:_WS(Int(#"96"),, _:_WS(Int(#"4"),, _:_WS(Int(#"54"),, _:_WS(Int(#"16"),, _:_WS(Int(#"97"),, _:_WS(Int(#"0"),, _:_WS |
requires "../rules.k" | |
requires "../bin_runtime.k" | |
module F15F5F26A88BF4A76FEBF80B6211A04A8170DD3D5CFC2AC3514D1BD95935E20D | |
imports ETHEREUM-SIMULATION | |
imports EVM | |
imports RULES | |
imports BIN_RUNTIME | |
// Mom_create |
requires "../rules.k" | |
requires "../bin_runtime.k" | |
module F87CBA36744EF68A848546773B864B33F68180DE212454D6D855448961B64AD6 | |
imports ETHEREUM-SIMULATION | |
imports EVM | |
imports RULES | |
imports BIN_RUNTIME | |
// Mom_create |
" Vim syntax file | |
" Language: Act | |
" Maintainer: dc | |
" Latest Revision: December 2019 | |
" Keywords | |
syn keyword actKeyword types storage iff if of returnsRaw | |
syn keyword actKeyword returns balance gas pc calls stack | |
syn match actKeyword "\<for all\>" | |
syn match actKeyword "\<such that\>" |
+ dapp build | |
+ dapp clean | |
+ rm -rf out | |
+ solc --overwrite ds-test/=lib/ds-test/src/ ds-test=lib/ds-test/src/index.sol --combined-json=abi,bin,bin-runtime,srcmap,srcmap-runtime,ast,metadata /=/ src/SelloutDao.sol src/SelloutDao.t.sol | |
src/SelloutDao.t.sol:48:9: Warning: Return value of low-level calls not used. | |
omg.call.value(1 ether).gas(100000)(""); | |
^-------------------------------------^ | |
+ export MOLOCH_KEY=0xcd16CBdA54af2556EBB6df4FBFd178e63c33FD89 | |
+ MOLOCH_KEY=0xcd16CBdA54af2556EBB6df4FBFd178e63c33FD89 | |
+ export MOLOCH_DELEGATE_KEY=0x72BA1965320ab5352FD6D68235Cc3C5306a6FFA2 |
Cat - The Liqidator | |
------------------------------------------------------- | |
ward(usr: address): Auth [bool] | |
ilks(ilk: bytes32): Collateral Type [Ilk] | |
flip: - Flip auction contract [address] | |
chop: - Liquidation Penalty [ray] | |
lump: - Liquidation lot size [wad] | |
live: Access flag [uint] | |
vat: Vat [address] | |
vow: Vow [address] |
○ → ./bin/mcd -C testnet --ilk=ETH-A flips 1 | |
bid 0.000000000000000000 Last bid amount | |
lot 5.000000000000000000 Lot amount | |
guy 0xcc50def2101be49ce292891e2e26bd61c6b81f90 Highest bidder | |
tic 0 Bid expiry | |
end 1559185611 Auction end | |
urn 0x27ed92643691f6f9e95e8efe11b0e130d3802847 Gem surplus recipient | |
gal 0xb955d1bb4335f19c6b24095e0e6b766e3b9a50f8 Dai recipient (vow) | |
tab 525.000000000000000000000000000000000000000000000 Debt to recover |
// Lib Note | |
{ | |
address:'0xd04e35EB1cC4a1Fabfdd22a46586980B0B2fb855', | |
blockNumber:102, | |
transactionHash:'0x3a379c2cd0daa24ef89bc29a536930d19f7d0cab49ae2f302f344d0972c89f83', | |
transactionIndex:0, | |
blockHash:'0xe2ca40fbd2ab659bf8c7ad144f78b0709869f57c9c7c10f1350006448831cca9', | |
logIndex:2, | |
removed:false, | |
id:'log_0xb24f24178e20fd300a8023ae0206b7a69a9ee4fd30fbdf2c9b2337a3436b591b', |