├── .gitignore ├── .gitmodules ├── Dockerfile ├── Jenkinsfile ├── LICENSE ├── Makefile ├── README.md ├── _config.yml ├── cat.md ├── dai.md ├── end.md ├── fixed-int.md ├── flap.md ├── flip.md ├── flop.md ├── gem.md ├── join.md ├── jug.md ├── kmcd ├── kmcd-data.md ├── kmcd-driver.md ├── kmcd-prelude.md ├── kmcd-props.md ├── kmcd.md ├── mcd-pyk.py ├── pot.md ├── spot.md ├── tests ├── attacks │ ├── blocked-flop.mcd │ ├── blocked-flop.mcd.run.expected │ ├── lucash-flap-end.mcd │ ├── lucash-flap-end.mcd.run.expected │ ├── lucash-flap-end.random.mcd │ ├── lucash-flap-end.random.mcd.run.expected │ ├── lucash-flip-end.mcd │ ├── lucash-flip-end.mcd.run.expected │ ├── lucash-flip-end.random.mcd │ ├── lucash-flip-end.random.mcd.run.expected │ ├── lucash-pot-end.mcd │ ├── lucash-pot-end.mcd.run.expected │ ├── lucash-pot-end.random.mcd │ ├── lucash-pot-end.random.mcd.run.expected │ ├── lucash-pot.mcd │ ├── lucash-pot.mcd.run.expected │ ├── lucash-pot.random.mcd │ └── lucash-pot.random.mcd.run.expected ├── fixes │ ├── attackPrelude.mcd │ ├── attackPrelude.mcd.run.expected │ ├── debtBoundDSR.mcd │ ├── debtBoundDSR.mcd.run.expected │ ├── deployPrelude.mcd │ ├── deployPrelude.mcd.run.expected │ ├── potChiPieDai.mcd │ └── potChiPieDai.mcd.run.expected └── solidity-test │ └── MkrMcdSpecSolTests.sol ├── vat.md └── vow.md /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sky-ecosystem/mkr-mcd-spec/HEAD/.gitignore -------------------------------------------------------------------------------- /.gitmodules: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sky-ecosystem/mkr-mcd-spec/HEAD/.gitmodules -------------------------------------------------------------------------------- /Dockerfile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sky-ecosystem/mkr-mcd-spec/HEAD/Dockerfile -------------------------------------------------------------------------------- /Jenkinsfile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sky-ecosystem/mkr-mcd-spec/HEAD/Jenkinsfile -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sky-ecosystem/mkr-mcd-spec/HEAD/LICENSE -------------------------------------------------------------------------------- /Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sky-ecosystem/mkr-mcd-spec/HEAD/Makefile -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sky-ecosystem/mkr-mcd-spec/HEAD/README.md -------------------------------------------------------------------------------- /_config.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sky-ecosystem/mkr-mcd-spec/HEAD/_config.yml -------------------------------------------------------------------------------- /cat.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sky-ecosystem/mkr-mcd-spec/HEAD/cat.md -------------------------------------------------------------------------------- /dai.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sky-ecosystem/mkr-mcd-spec/HEAD/dai.md -------------------------------------------------------------------------------- /end.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sky-ecosystem/mkr-mcd-spec/HEAD/end.md -------------------------------------------------------------------------------- /fixed-int.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sky-ecosystem/mkr-mcd-spec/HEAD/fixed-int.md -------------------------------------------------------------------------------- /flap.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sky-ecosystem/mkr-mcd-spec/HEAD/flap.md -------------------------------------------------------------------------------- /flip.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sky-ecosystem/mkr-mcd-spec/HEAD/flip.md -------------------------------------------------------------------------------- /flop.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sky-ecosystem/mkr-mcd-spec/HEAD/flop.md -------------------------------------------------------------------------------- /gem.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sky-ecosystem/mkr-mcd-spec/HEAD/gem.md -------------------------------------------------------------------------------- /join.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sky-ecosystem/mkr-mcd-spec/HEAD/join.md -------------------------------------------------------------------------------- /jug.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sky-ecosystem/mkr-mcd-spec/HEAD/jug.md -------------------------------------------------------------------------------- /kmcd: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sky-ecosystem/mkr-mcd-spec/HEAD/kmcd -------------------------------------------------------------------------------- /kmcd-data.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sky-ecosystem/mkr-mcd-spec/HEAD/kmcd-data.md -------------------------------------------------------------------------------- /kmcd-driver.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sky-ecosystem/mkr-mcd-spec/HEAD/kmcd-driver.md -------------------------------------------------------------------------------- /kmcd-prelude.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sky-ecosystem/mkr-mcd-spec/HEAD/kmcd-prelude.md -------------------------------------------------------------------------------- /kmcd-props.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sky-ecosystem/mkr-mcd-spec/HEAD/kmcd-props.md -------------------------------------------------------------------------------- /kmcd.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sky-ecosystem/mkr-mcd-spec/HEAD/kmcd.md -------------------------------------------------------------------------------- /mcd-pyk.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sky-ecosystem/mkr-mcd-spec/HEAD/mcd-pyk.py -------------------------------------------------------------------------------- /pot.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sky-ecosystem/mkr-mcd-spec/HEAD/pot.md -------------------------------------------------------------------------------- /spot.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sky-ecosystem/mkr-mcd-spec/HEAD/spot.md -------------------------------------------------------------------------------- /tests/attacks/blocked-flop.mcd: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sky-ecosystem/mkr-mcd-spec/HEAD/tests/attacks/blocked-flop.mcd -------------------------------------------------------------------------------- /tests/attacks/blocked-flop.mcd.run.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sky-ecosystem/mkr-mcd-spec/HEAD/tests/attacks/blocked-flop.mcd.run.expected -------------------------------------------------------------------------------- /tests/attacks/lucash-flap-end.mcd: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sky-ecosystem/mkr-mcd-spec/HEAD/tests/attacks/lucash-flap-end.mcd -------------------------------------------------------------------------------- /tests/attacks/lucash-flap-end.mcd.run.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sky-ecosystem/mkr-mcd-spec/HEAD/tests/attacks/lucash-flap-end.mcd.run.expected -------------------------------------------------------------------------------- /tests/attacks/lucash-flap-end.random.mcd: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sky-ecosystem/mkr-mcd-spec/HEAD/tests/attacks/lucash-flap-end.random.mcd -------------------------------------------------------------------------------- /tests/attacks/lucash-flap-end.random.mcd.run.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sky-ecosystem/mkr-mcd-spec/HEAD/tests/attacks/lucash-flap-end.random.mcd.run.expected -------------------------------------------------------------------------------- /tests/attacks/lucash-flip-end.mcd: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sky-ecosystem/mkr-mcd-spec/HEAD/tests/attacks/lucash-flip-end.mcd -------------------------------------------------------------------------------- /tests/attacks/lucash-flip-end.mcd.run.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sky-ecosystem/mkr-mcd-spec/HEAD/tests/attacks/lucash-flip-end.mcd.run.expected -------------------------------------------------------------------------------- /tests/attacks/lucash-flip-end.random.mcd: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sky-ecosystem/mkr-mcd-spec/HEAD/tests/attacks/lucash-flip-end.random.mcd -------------------------------------------------------------------------------- /tests/attacks/lucash-flip-end.random.mcd.run.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sky-ecosystem/mkr-mcd-spec/HEAD/tests/attacks/lucash-flip-end.random.mcd.run.expected -------------------------------------------------------------------------------- /tests/attacks/lucash-pot-end.mcd: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sky-ecosystem/mkr-mcd-spec/HEAD/tests/attacks/lucash-pot-end.mcd -------------------------------------------------------------------------------- /tests/attacks/lucash-pot-end.mcd.run.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sky-ecosystem/mkr-mcd-spec/HEAD/tests/attacks/lucash-pot-end.mcd.run.expected -------------------------------------------------------------------------------- /tests/attacks/lucash-pot-end.random.mcd: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sky-ecosystem/mkr-mcd-spec/HEAD/tests/attacks/lucash-pot-end.random.mcd -------------------------------------------------------------------------------- /tests/attacks/lucash-pot-end.random.mcd.run.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sky-ecosystem/mkr-mcd-spec/HEAD/tests/attacks/lucash-pot-end.random.mcd.run.expected -------------------------------------------------------------------------------- /tests/attacks/lucash-pot.mcd: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sky-ecosystem/mkr-mcd-spec/HEAD/tests/attacks/lucash-pot.mcd -------------------------------------------------------------------------------- /tests/attacks/lucash-pot.mcd.run.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sky-ecosystem/mkr-mcd-spec/HEAD/tests/attacks/lucash-pot.mcd.run.expected -------------------------------------------------------------------------------- /tests/attacks/lucash-pot.random.mcd: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sky-ecosystem/mkr-mcd-spec/HEAD/tests/attacks/lucash-pot.random.mcd -------------------------------------------------------------------------------- /tests/attacks/lucash-pot.random.mcd.run.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sky-ecosystem/mkr-mcd-spec/HEAD/tests/attacks/lucash-pot.random.mcd.run.expected -------------------------------------------------------------------------------- /tests/fixes/attackPrelude.mcd: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sky-ecosystem/mkr-mcd-spec/HEAD/tests/fixes/attackPrelude.mcd -------------------------------------------------------------------------------- /tests/fixes/attackPrelude.mcd.run.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sky-ecosystem/mkr-mcd-spec/HEAD/tests/fixes/attackPrelude.mcd.run.expected -------------------------------------------------------------------------------- /tests/fixes/debtBoundDSR.mcd: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sky-ecosystem/mkr-mcd-spec/HEAD/tests/fixes/debtBoundDSR.mcd -------------------------------------------------------------------------------- /tests/fixes/debtBoundDSR.mcd.run.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sky-ecosystem/mkr-mcd-spec/HEAD/tests/fixes/debtBoundDSR.mcd.run.expected -------------------------------------------------------------------------------- /tests/fixes/deployPrelude.mcd: -------------------------------------------------------------------------------- 1 | STEPS ( DEPLOY-PRELUDE ) 2 | 3 | .MCDSteps 4 | -------------------------------------------------------------------------------- /tests/fixes/deployPrelude.mcd.run.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sky-ecosystem/mkr-mcd-spec/HEAD/tests/fixes/deployPrelude.mcd.run.expected -------------------------------------------------------------------------------- /tests/fixes/potChiPieDai.mcd: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sky-ecosystem/mkr-mcd-spec/HEAD/tests/fixes/potChiPieDai.mcd -------------------------------------------------------------------------------- /tests/fixes/potChiPieDai.mcd.run.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sky-ecosystem/mkr-mcd-spec/HEAD/tests/fixes/potChiPieDai.mcd.run.expected -------------------------------------------------------------------------------- /tests/solidity-test/MkrMcdSpecSolTests.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sky-ecosystem/mkr-mcd-spec/HEAD/tests/solidity-test/MkrMcdSpecSolTests.sol -------------------------------------------------------------------------------- /vat.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sky-ecosystem/mkr-mcd-spec/HEAD/vat.md -------------------------------------------------------------------------------- /vow.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sky-ecosystem/mkr-mcd-spec/HEAD/vow.md --------------------------------------------------------------------------------