Instadapp/aave-protocol-v2
1
0
Fork 0
mirror of https://github.com/Instadapp/aave-protocol-v2.git synced 2024-07-29 21:47:30 +00:00
Code Issues Packages Projects Releases Wiki Activity
1bf28602a3
aave-protocol-v2/specs
History
David Racero 46c753cea1 Solve conflicts
2021-01-12 12:11:03 +01:00
..
harness Solve conflicts 2021-01-12 12:11:03 +01:00
StableDebtToken.spec Updated integirtyBalanceOfTotalSupplyOnBurn rule for StableDebtToken. 2020-11-23 19:25:47 +02:00
UserConfiguration.spec Fix compilation errors 2020-12-03 17:20:11 +02:00
VariableDebtToken.spec Updates to the VariableDebtToken spec 2020-11-22 22:20:43 +02:00