aave-protocol-v2/specs
2020-11-24 14:53:34 +01:00
..
harness - Moved data types (structs and enum) to a DataTypes library, to simplify interfaces 2020-11-24 14:53:34 +01:00
StableDebtToken.spec Updates in the specification of StableDebtToken 2020-10-29 23:19:11 +02:00
UserConfiguration.spec Aave integration - first step 2020-10-15 00:59:12 +03:00
VariableDebtToken.spec Updated spec harness and run.sh for VariableDebtToken contract 2020-10-29 01:20:38 +02:00