7 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	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