aave-protocol-v2/specs
2021-07-16 18:21:33 +02:00
..
harness refactor: updated the ETH references in getUserAccountData 2021-07-16 18:21:33 +02: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