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
903 Commits 61 Branches 4 Tags 18 MiB
d82c86bf26
Commit Graph

8 Commits

Author SHA1 Message Date
emilio
b101af21cc Fixed certora harness 2020-11-05 14:43:39 +01:00
eboado
cba766d282 Merge branch 'master' into feat/102-batch-delegation-allowance 2020-10-30 16:04:31 +01:00
pistiner
22353eeee5 Fixes to run on VariableDebtToken 2020-10-30 01:07:30 +02:00
pistiner
5cc6acce86 Updates in the specification of StableDebtToken 2020-10-29 23:19:11 +02:00
pistiner
d4f0e05f06 Fixes to run on UserConfiguration library 2020-10-29 01:58:20 +02:00
pistiner
4030d48787 Fixes to run on StableDebtToken contract 2020-10-29 01:57:15 +02:00
pistiner
a63e337222 Updated spec harness and run.sh for VariableDebtToken contract 2020-10-29 01:20:38 +02:00
pistiner
224712f9d5 Aave integration - first step 2020-10-15 00:59:12 +03:00