21 Commits

Author	SHA1	Message	Date
pistiner	68b94593be	Fixed imports	2020-12-03 16:59:20 +02:00
The3D	126458c7aa	Updated ReserveMap and UserMap	2020-11-24 16:17:27 +01:00
pistiner	7c53ad84fa	fixed syntax error	2020-11-24 16:08:23 +02:00
eboado	5532ebdc8a	- Moved data types (structs and enum) to a DataTypes library, to simplify interfaces	2020-11-24 14:53:34 +01:00
pistiner	bb52ba0659	Updated import paths	2020-11-24 15:46:09 +02:00
pistiner	70ab16b3f6	Merged master into certora/integrationStep2	2020-11-24 15:26:35 +02:00
pistiner	296f1046ad	Updated integirtyBalanceOfTotalSupplyOnBurn rule for StableDebtToken.	2020-11-23 19:25:47 +02:00
eboado	0bca8c6519	Merge branch 'master' into feat/153-improve-docs	2020-11-23 11:15:31 +01:00
eboado	f98335cb68	- Improved docs on LendingPool and interface	2020-11-23 10:58:04 +01:00
pistiner	21edab306b	Merge branch 'master' of https://gitlab.com/aave-tech/protocol-v2 into certora/integrationStep2	2020-11-22 22:21:03 +02:00
pistiner	dd0e3064e3	Updates to the VariableDebtToken spec	2020-11-22 22:20:43 +02:00
The3D	f1778b88d4	Removed the ^ on solidity version	2020-11-20 11:45:20 +01:00
The3D	8c03180f89	Updated solidity version	2020-11-20 11:41:58 +01:00
pistiner	5ad4182508	Changes in /LendingPoolHarnessForVariableDebtToken	2020-11-12 10:54:47 +02:00
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