├── .env.example ├── .github └── workflows │ ├── certora.yml │ └── test.yml ├── .gitignore ├── .gitmodules ├── LICENSE ├── Makefile ├── README.md ├── audits ├── ChainSecurity_MakerDAO_PSM_Lite_audit.pdf └── report-review-makerdao-dss-lite-psm.pdf ├── certora ├── DssLitePsm.conf ├── DssLitePsm.spec └── mocks │ ├── Dai.sol │ ├── DaiJoin.sol │ ├── GemMock.sol │ └── Vat.sol ├── foundry.toml ├── script ├── DssLitePsmDeploy.s.sol ├── input │ └── 1 │ │ ├── README.md │ │ └── template-dss-lite-psm-deploy.json └── output │ └── 1 │ └── README.md └── src ├── DssLitePsm.sol ├── DssLitePsm.t.integration.sol ├── DssLitePsmMom.sol ├── DssLitePsmMom.t.integration.sol └── deployment ├── DssLitePsmDeploy.sol ├── DssLitePsmInit.sol ├── DssLitePsmInit.t.integration.sol ├── DssLitePsmInstance.sol ├── DssLitePsmMigration.sol ├── DssLitePsmMigration.t.integration.sol ├── phase-1 ├── DssLitePsmMigrationPhase1.sol └── DssLitePsmMigrationPhase1.t.integration.sol ├── phase-2 ├── DssLitePsmMigrationPhase2.sol └── DssLitePsmMigrationPhase2.t.integration.sol └── phase-3 ├── DssLitePsmMigrationPhase3.sol └── DssLitePsmMigrationPhase3.t.integration.sol /.env.example: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sky-ecosystem/dss-lite-psm/HEAD/.env.example -------------------------------------------------------------------------------- /.github/workflows/certora.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sky-ecosystem/dss-lite-psm/HEAD/.github/workflows/certora.yml -------------------------------------------------------------------------------- /.github/workflows/test.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sky-ecosystem/dss-lite-psm/HEAD/.github/workflows/test.yml -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sky-ecosystem/dss-lite-psm/HEAD/.gitignore -------------------------------------------------------------------------------- /.gitmodules: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sky-ecosystem/dss-lite-psm/HEAD/.gitmodules -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sky-ecosystem/dss-lite-psm/HEAD/LICENSE -------------------------------------------------------------------------------- /Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sky-ecosystem/dss-lite-psm/HEAD/Makefile -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sky-ecosystem/dss-lite-psm/HEAD/README.md -------------------------------------------------------------------------------- /audits/ChainSecurity_MakerDAO_PSM_Lite_audit.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sky-ecosystem/dss-lite-psm/HEAD/audits/ChainSecurity_MakerDAO_PSM_Lite_audit.pdf -------------------------------------------------------------------------------- /audits/report-review-makerdao-dss-lite-psm.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sky-ecosystem/dss-lite-psm/HEAD/audits/report-review-makerdao-dss-lite-psm.pdf -------------------------------------------------------------------------------- /certora/DssLitePsm.conf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sky-ecosystem/dss-lite-psm/HEAD/certora/DssLitePsm.conf -------------------------------------------------------------------------------- /certora/DssLitePsm.spec: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sky-ecosystem/dss-lite-psm/HEAD/certora/DssLitePsm.spec -------------------------------------------------------------------------------- /certora/mocks/Dai.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sky-ecosystem/dss-lite-psm/HEAD/certora/mocks/Dai.sol -------------------------------------------------------------------------------- /certora/mocks/DaiJoin.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sky-ecosystem/dss-lite-psm/HEAD/certora/mocks/DaiJoin.sol -------------------------------------------------------------------------------- /certora/mocks/GemMock.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sky-ecosystem/dss-lite-psm/HEAD/certora/mocks/GemMock.sol -------------------------------------------------------------------------------- /certora/mocks/Vat.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sky-ecosystem/dss-lite-psm/HEAD/certora/mocks/Vat.sol -------------------------------------------------------------------------------- /foundry.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sky-ecosystem/dss-lite-psm/HEAD/foundry.toml -------------------------------------------------------------------------------- /script/DssLitePsmDeploy.s.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sky-ecosystem/dss-lite-psm/HEAD/script/DssLitePsmDeploy.s.sol -------------------------------------------------------------------------------- /script/input/1/README.md: -------------------------------------------------------------------------------- 1 | Inputs for Mainnet scripts. 2 | -------------------------------------------------------------------------------- /script/input/1/template-dss-lite-psm-deploy.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sky-ecosystem/dss-lite-psm/HEAD/script/input/1/template-dss-lite-psm-deploy.json -------------------------------------------------------------------------------- /script/output/1/README.md: -------------------------------------------------------------------------------- 1 | Outputs for Mainnet scripts. 2 | -------------------------------------------------------------------------------- /src/DssLitePsm.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sky-ecosystem/dss-lite-psm/HEAD/src/DssLitePsm.sol -------------------------------------------------------------------------------- /src/DssLitePsm.t.integration.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sky-ecosystem/dss-lite-psm/HEAD/src/DssLitePsm.t.integration.sol -------------------------------------------------------------------------------- /src/DssLitePsmMom.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sky-ecosystem/dss-lite-psm/HEAD/src/DssLitePsmMom.sol -------------------------------------------------------------------------------- /src/DssLitePsmMom.t.integration.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sky-ecosystem/dss-lite-psm/HEAD/src/DssLitePsmMom.t.integration.sol -------------------------------------------------------------------------------- /src/deployment/DssLitePsmDeploy.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sky-ecosystem/dss-lite-psm/HEAD/src/deployment/DssLitePsmDeploy.sol -------------------------------------------------------------------------------- /src/deployment/DssLitePsmInit.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sky-ecosystem/dss-lite-psm/HEAD/src/deployment/DssLitePsmInit.sol -------------------------------------------------------------------------------- /src/deployment/DssLitePsmInit.t.integration.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sky-ecosystem/dss-lite-psm/HEAD/src/deployment/DssLitePsmInit.t.integration.sol -------------------------------------------------------------------------------- /src/deployment/DssLitePsmInstance.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sky-ecosystem/dss-lite-psm/HEAD/src/deployment/DssLitePsmInstance.sol -------------------------------------------------------------------------------- /src/deployment/DssLitePsmMigration.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sky-ecosystem/dss-lite-psm/HEAD/src/deployment/DssLitePsmMigration.sol -------------------------------------------------------------------------------- /src/deployment/DssLitePsmMigration.t.integration.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sky-ecosystem/dss-lite-psm/HEAD/src/deployment/DssLitePsmMigration.t.integration.sol -------------------------------------------------------------------------------- /src/deployment/phase-1/DssLitePsmMigrationPhase1.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sky-ecosystem/dss-lite-psm/HEAD/src/deployment/phase-1/DssLitePsmMigrationPhase1.sol -------------------------------------------------------------------------------- /src/deployment/phase-1/DssLitePsmMigrationPhase1.t.integration.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sky-ecosystem/dss-lite-psm/HEAD/src/deployment/phase-1/DssLitePsmMigrationPhase1.t.integration.sol -------------------------------------------------------------------------------- /src/deployment/phase-2/DssLitePsmMigrationPhase2.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sky-ecosystem/dss-lite-psm/HEAD/src/deployment/phase-2/DssLitePsmMigrationPhase2.sol -------------------------------------------------------------------------------- /src/deployment/phase-2/DssLitePsmMigrationPhase2.t.integration.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sky-ecosystem/dss-lite-psm/HEAD/src/deployment/phase-2/DssLitePsmMigrationPhase2.t.integration.sol -------------------------------------------------------------------------------- /src/deployment/phase-3/DssLitePsmMigrationPhase3.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sky-ecosystem/dss-lite-psm/HEAD/src/deployment/phase-3/DssLitePsmMigrationPhase3.sol -------------------------------------------------------------------------------- /src/deployment/phase-3/DssLitePsmMigrationPhase3.t.integration.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sky-ecosystem/dss-lite-psm/HEAD/src/deployment/phase-3/DssLitePsmMigrationPhase3.t.integration.sol --------------------------------------------------------------------------------