├── .github └── workflows │ └── ci.yml ├── .gitignore ├── .gitmodules ├── LICENSE ├── Makefile ├── README.md ├── audits ├── cantinasec-dss-conduits.pdf └── chainsecurity-dss-conduits.pdf ├── certora ├── ArrangerConduit.conf ├── ArrangerConduit.spec └── Auxiliar.sol ├── foundry.toml ├── remappings.txt ├── src ├── ArrangerConduit.sol └── interfaces │ └── IArrangerConduit.sol └── test └── arranger-conduit ├── ArrangerConduitHarness.sol ├── ArrangerConduitHarness.t.sol ├── AuthFunctions.t.sol ├── CancelFundRequest.t.sol ├── ConduitTestBase.sol ├── Constructor.t.sol ├── Deposit.t.sol ├── DrawFunds.t.sol ├── EventsData.t.sol ├── RequestFunds.t.sol ├── ReturnFunds.t.sol ├── ViewFunctions.t.sol ├── Withdraw.t.sol └── invariants ├── BoundedInvariants.t.sol ├── InvariantTestBase.t.sol ├── handlers ├── Arranger.sol ├── HandlerBase.sol ├── Operator.sol └── Transferer.sol └── interfaces └── Interfaces.sol /.github/workflows/ci.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sky-ecosystem/dss-conduits/HEAD/.github/workflows/ci.yml -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sky-ecosystem/dss-conduits/HEAD/.gitignore -------------------------------------------------------------------------------- /.gitmodules: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sky-ecosystem/dss-conduits/HEAD/.gitmodules -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sky-ecosystem/dss-conduits/HEAD/LICENSE -------------------------------------------------------------------------------- /Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sky-ecosystem/dss-conduits/HEAD/Makefile -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sky-ecosystem/dss-conduits/HEAD/README.md -------------------------------------------------------------------------------- /audits/cantinasec-dss-conduits.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sky-ecosystem/dss-conduits/HEAD/audits/cantinasec-dss-conduits.pdf -------------------------------------------------------------------------------- /audits/chainsecurity-dss-conduits.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sky-ecosystem/dss-conduits/HEAD/audits/chainsecurity-dss-conduits.pdf -------------------------------------------------------------------------------- /certora/ArrangerConduit.conf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sky-ecosystem/dss-conduits/HEAD/certora/ArrangerConduit.conf -------------------------------------------------------------------------------- /certora/ArrangerConduit.spec: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sky-ecosystem/dss-conduits/HEAD/certora/ArrangerConduit.spec -------------------------------------------------------------------------------- /certora/Auxiliar.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sky-ecosystem/dss-conduits/HEAD/certora/Auxiliar.sol -------------------------------------------------------------------------------- /foundry.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sky-ecosystem/dss-conduits/HEAD/foundry.toml -------------------------------------------------------------------------------- /remappings.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sky-ecosystem/dss-conduits/HEAD/remappings.txt -------------------------------------------------------------------------------- /src/ArrangerConduit.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sky-ecosystem/dss-conduits/HEAD/src/ArrangerConduit.sol -------------------------------------------------------------------------------- /src/interfaces/IArrangerConduit.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sky-ecosystem/dss-conduits/HEAD/src/interfaces/IArrangerConduit.sol -------------------------------------------------------------------------------- /test/arranger-conduit/ArrangerConduitHarness.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sky-ecosystem/dss-conduits/HEAD/test/arranger-conduit/ArrangerConduitHarness.sol -------------------------------------------------------------------------------- /test/arranger-conduit/ArrangerConduitHarness.t.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sky-ecosystem/dss-conduits/HEAD/test/arranger-conduit/ArrangerConduitHarness.t.sol -------------------------------------------------------------------------------- /test/arranger-conduit/AuthFunctions.t.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sky-ecosystem/dss-conduits/HEAD/test/arranger-conduit/AuthFunctions.t.sol -------------------------------------------------------------------------------- /test/arranger-conduit/CancelFundRequest.t.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sky-ecosystem/dss-conduits/HEAD/test/arranger-conduit/CancelFundRequest.t.sol -------------------------------------------------------------------------------- /test/arranger-conduit/ConduitTestBase.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sky-ecosystem/dss-conduits/HEAD/test/arranger-conduit/ConduitTestBase.sol -------------------------------------------------------------------------------- /test/arranger-conduit/Constructor.t.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sky-ecosystem/dss-conduits/HEAD/test/arranger-conduit/Constructor.t.sol -------------------------------------------------------------------------------- /test/arranger-conduit/Deposit.t.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sky-ecosystem/dss-conduits/HEAD/test/arranger-conduit/Deposit.t.sol -------------------------------------------------------------------------------- /test/arranger-conduit/DrawFunds.t.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sky-ecosystem/dss-conduits/HEAD/test/arranger-conduit/DrawFunds.t.sol -------------------------------------------------------------------------------- /test/arranger-conduit/EventsData.t.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sky-ecosystem/dss-conduits/HEAD/test/arranger-conduit/EventsData.t.sol -------------------------------------------------------------------------------- /test/arranger-conduit/RequestFunds.t.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sky-ecosystem/dss-conduits/HEAD/test/arranger-conduit/RequestFunds.t.sol -------------------------------------------------------------------------------- /test/arranger-conduit/ReturnFunds.t.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sky-ecosystem/dss-conduits/HEAD/test/arranger-conduit/ReturnFunds.t.sol -------------------------------------------------------------------------------- /test/arranger-conduit/ViewFunctions.t.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sky-ecosystem/dss-conduits/HEAD/test/arranger-conduit/ViewFunctions.t.sol -------------------------------------------------------------------------------- /test/arranger-conduit/Withdraw.t.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sky-ecosystem/dss-conduits/HEAD/test/arranger-conduit/Withdraw.t.sol -------------------------------------------------------------------------------- /test/arranger-conduit/invariants/BoundedInvariants.t.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sky-ecosystem/dss-conduits/HEAD/test/arranger-conduit/invariants/BoundedInvariants.t.sol -------------------------------------------------------------------------------- /test/arranger-conduit/invariants/InvariantTestBase.t.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sky-ecosystem/dss-conduits/HEAD/test/arranger-conduit/invariants/InvariantTestBase.t.sol -------------------------------------------------------------------------------- /test/arranger-conduit/invariants/handlers/Arranger.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sky-ecosystem/dss-conduits/HEAD/test/arranger-conduit/invariants/handlers/Arranger.sol -------------------------------------------------------------------------------- /test/arranger-conduit/invariants/handlers/HandlerBase.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sky-ecosystem/dss-conduits/HEAD/test/arranger-conduit/invariants/handlers/HandlerBase.sol -------------------------------------------------------------------------------- /test/arranger-conduit/invariants/handlers/Operator.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sky-ecosystem/dss-conduits/HEAD/test/arranger-conduit/invariants/handlers/Operator.sol -------------------------------------------------------------------------------- /test/arranger-conduit/invariants/handlers/Transferer.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sky-ecosystem/dss-conduits/HEAD/test/arranger-conduit/invariants/handlers/Transferer.sol -------------------------------------------------------------------------------- /test/arranger-conduit/invariants/interfaces/Interfaces.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/sky-ecosystem/dss-conduits/HEAD/test/arranger-conduit/invariants/interfaces/Interfaces.sol --------------------------------------------------------------------------------