Cat - Liquidator
- Bite - Trigger liquidation of an unsafe Cdp (vat.grab)
Jug - Stability fees
- Drip - Trigger stability fee accumulation (vat.fold)
dc desaperados
desaperados
/ status-js
Created
February 20, 2020 08:47
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| 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 |
desaperados
/ heal.err.log
Created
February 20, 2020 06:09
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| ========================================== | |
| 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 |
desaperados
/ out.k
Last active
January 31, 2020 01:02
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| requires "../rules.k" | |
| requires "../bin_runtime.k" | |
| module F15F5F26A88BF4A76FEBF80B6211A04A8170DD3D5CFC2AC3514D1BD95935E20D | |
| imports ETHEREUM-SIMULATION | |
| imports EVM | |
| imports RULES | |
| imports BIN_RUNTIME | |
| // Mom_create |
desaperados
/ out.k
Created
January 30, 2020 22:23
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| requires "../rules.k" | |
| requires "../bin_runtime.k" | |
| module F87CBA36744EF68A848546773B864B33F68180DE212454D6D855448961B64AD6 | |
| imports ETHEREUM-SIMULATION | |
| imports EVM | |
| imports RULES | |
| imports BIN_RUNTIME | |
| // Mom_create |
desaperados
/ act.vim
Last active
February 5, 2020 09:54
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| " 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\>" |
desaperados
/ test.sh
Created
August 27, 2019 21:45
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| + 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 |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| 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] |
desaperados
/ actions.md
Last active
June 4, 2019 12:20
desaperados
/ tick.sh
Created
May 28, 2019 07:45
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| ○ → ./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 |
desaperados
/ note.js
Last active
May 24, 2019 07:44
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| // Lib Note | |
| { | |
| address:'0xd04e35EB1cC4a1Fabfdd22a46586980B0B2fb855', | |
| blockNumber:102, | |
| transactionHash:'0x3a379c2cd0daa24ef89bc29a536930d19f7d0cab49ae2f302f344d0972c89f83', | |
| transactionIndex:0, | |
| blockHash:'0xe2ca40fbd2ab659bf8c7ad144f78b0709869f57c9c7c10f1350006448831cca9', | |
| logIndex:2, | |
| removed:false, | |
| id:'log_0xb24f24178e20fd300a8023ae0206b7a69a9ee4fd30fbdf2c9b2337a3436b591b', |
NewerOlder