├── .gitattributes ├── .github └── workflows │ ├── certora.yml │ ├── echidna.yml │ └── tests.yml ├── .gitignore ├── .gitmodules ├── LICENSE ├── Makefile ├── README.md ├── audits ├── ABDK_DSSVest_Audit5a.pdf └── ChainSecurity_MakerDAO_DSS_Vest_audit.pdf ├── certora ├── DssVestMintable.conf ├── DssVestMintable.spec ├── DssVestSuckable.conf ├── DssVestSuckable.spec ├── DssVestTransferrable.conf ├── DssVestTransferrable.spec └── harness │ ├── ChainLog.sol │ ├── DSToken.sol │ ├── Dai.sol │ ├── DaiJoin.sol │ ├── MockAuthority.sol │ └── Vat.sol ├── echidna.config.ci.yml ├── echidna.config.yml ├── echidna ├── ChainLog.sol ├── DSToken.sol ├── Dai.sol ├── DaiJoin.sol ├── DssVestMintableEchidnaTest.sol ├── DssVestSuckableEchidnaTest.sol ├── DssVestTransferrableEchidnaTest.sol ├── Vat.sol └── echidna.sh ├── src ├── DssVest.sol └── DssVest.t.sol └── test.sh /.gitattributes: -------------------------------------------------------------------------------- 1 | *.sol linguist-language=Solidity 2 | -------------------------------------------------------------------------------- /.github/workflows/certora.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sky-ecosystem/dss-vest/HEAD/.github/workflows/certora.yml -------------------------------------------------------------------------------- /.github/workflows/echidna.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sky-ecosystem/dss-vest/HEAD/.github/workflows/echidna.yml -------------------------------------------------------------------------------- /.github/workflows/tests.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sky-ecosystem/dss-vest/HEAD/.github/workflows/tests.yml -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sky-ecosystem/dss-vest/HEAD/.gitignore -------------------------------------------------------------------------------- /.gitmodules: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sky-ecosystem/dss-vest/HEAD/.gitmodules -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sky-ecosystem/dss-vest/HEAD/LICENSE -------------------------------------------------------------------------------- /Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sky-ecosystem/dss-vest/HEAD/Makefile -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sky-ecosystem/dss-vest/HEAD/README.md -------------------------------------------------------------------------------- /audits/ABDK_DSSVest_Audit5a.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sky-ecosystem/dss-vest/HEAD/audits/ABDK_DSSVest_Audit5a.pdf -------------------------------------------------------------------------------- /audits/ChainSecurity_MakerDAO_DSS_Vest_audit.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sky-ecosystem/dss-vest/HEAD/audits/ChainSecurity_MakerDAO_DSS_Vest_audit.pdf -------------------------------------------------------------------------------- /certora/DssVestMintable.conf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sky-ecosystem/dss-vest/HEAD/certora/DssVestMintable.conf -------------------------------------------------------------------------------- /certora/DssVestMintable.spec: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sky-ecosystem/dss-vest/HEAD/certora/DssVestMintable.spec -------------------------------------------------------------------------------- /certora/DssVestSuckable.conf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sky-ecosystem/dss-vest/HEAD/certora/DssVestSuckable.conf -------------------------------------------------------------------------------- /certora/DssVestSuckable.spec: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sky-ecosystem/dss-vest/HEAD/certora/DssVestSuckable.spec -------------------------------------------------------------------------------- /certora/DssVestTransferrable.conf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sky-ecosystem/dss-vest/HEAD/certora/DssVestTransferrable.conf -------------------------------------------------------------------------------- /certora/DssVestTransferrable.spec: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sky-ecosystem/dss-vest/HEAD/certora/DssVestTransferrable.spec -------------------------------------------------------------------------------- /certora/harness/ChainLog.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sky-ecosystem/dss-vest/HEAD/certora/harness/ChainLog.sol -------------------------------------------------------------------------------- /certora/harness/DSToken.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sky-ecosystem/dss-vest/HEAD/certora/harness/DSToken.sol -------------------------------------------------------------------------------- /certora/harness/Dai.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sky-ecosystem/dss-vest/HEAD/certora/harness/Dai.sol -------------------------------------------------------------------------------- /certora/harness/DaiJoin.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sky-ecosystem/dss-vest/HEAD/certora/harness/DaiJoin.sol -------------------------------------------------------------------------------- /certora/harness/MockAuthority.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sky-ecosystem/dss-vest/HEAD/certora/harness/MockAuthority.sol -------------------------------------------------------------------------------- /certora/harness/Vat.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sky-ecosystem/dss-vest/HEAD/certora/harness/Vat.sol -------------------------------------------------------------------------------- /echidna.config.ci.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sky-ecosystem/dss-vest/HEAD/echidna.config.ci.yml -------------------------------------------------------------------------------- /echidna.config.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sky-ecosystem/dss-vest/HEAD/echidna.config.yml -------------------------------------------------------------------------------- /echidna/ChainLog.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sky-ecosystem/dss-vest/HEAD/echidna/ChainLog.sol -------------------------------------------------------------------------------- /echidna/DSToken.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sky-ecosystem/dss-vest/HEAD/echidna/DSToken.sol -------------------------------------------------------------------------------- /echidna/Dai.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sky-ecosystem/dss-vest/HEAD/echidna/Dai.sol -------------------------------------------------------------------------------- /echidna/DaiJoin.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sky-ecosystem/dss-vest/HEAD/echidna/DaiJoin.sol -------------------------------------------------------------------------------- /echidna/DssVestMintableEchidnaTest.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sky-ecosystem/dss-vest/HEAD/echidna/DssVestMintableEchidnaTest.sol -------------------------------------------------------------------------------- /echidna/DssVestSuckableEchidnaTest.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sky-ecosystem/dss-vest/HEAD/echidna/DssVestSuckableEchidnaTest.sol -------------------------------------------------------------------------------- /echidna/DssVestTransferrableEchidnaTest.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sky-ecosystem/dss-vest/HEAD/echidna/DssVestTransferrableEchidnaTest.sol -------------------------------------------------------------------------------- /echidna/Vat.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sky-ecosystem/dss-vest/HEAD/echidna/Vat.sol -------------------------------------------------------------------------------- /echidna/echidna.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sky-ecosystem/dss-vest/HEAD/echidna/echidna.sh -------------------------------------------------------------------------------- /src/DssVest.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sky-ecosystem/dss-vest/HEAD/src/DssVest.sol -------------------------------------------------------------------------------- /src/DssVest.t.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sky-ecosystem/dss-vest/HEAD/src/DssVest.t.sol -------------------------------------------------------------------------------- /test.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sky-ecosystem/dss-vest/HEAD/test.sh --------------------------------------------------------------------------------