Commits

Branch selector

 master

User selector

orpistiner

Datepicker

All time

Commit History

Commits on Dec 3, 2020

• Updated runners

  orpistiner

  committed
  2fb5319

  Copy full SHA for 2fb5319

• Merge branch 'certora/integrationStep2' of https://gitlab.com/aave-tech/protocol-v2 into certora/integrationStep2

  orpistiner

  committed
  169dbdd

  Copy full SHA for 169dbdd

• Updated runners

  orpistiner

  committed
  38039a3

  Copy full SHA for 38039a3

• Fixed compilation errors

  orpistiner

  committed
  291b92b

  Copy full SHA for 291b92b

• Fixed imports

  orpistiner

  committed
  0293b08

  Copy full SHA for 0293b08

• Merge branch 'master' of https://gitlab.com/aave-tech/protocol-v2 into certora/integrationStep2

  orpistiner

  committed
  a7ba382

  Copy full SHA for a7ba382

• Fix compilation errors

  orpistiner

  committed
  6b9bed6

  Copy full SHA for 6b9bed6

• Fixed imports

  orpistiner

  committed
  1ce83f2

  Copy full SHA for 1ce83f2

• Fixed imports

  orpistiner

  committed
  68b9459

  Copy full SHA for 68b9459

Commits on Nov 24, 2020

• Merge branch 'certora/integrationStep2' of https://gitlab.com/aave-tech/protocol-v2 into certora/integrationStep2

  orpistiner

  committed
  8289fa7

  Copy full SHA for 8289fa7

• fixed syntax error

  orpistiner

  committed
  7c53ad8

  Copy full SHA for 7c53ad8

• Updated import paths

  orpistiner

  committed
  bb52ba0

  Copy full SHA for bb52ba0

• Merged master into certora/integrationStep2

  orpistiner

  committed
  70ab16b

  Copy full SHA for 70ab16b

• Updated running script of UserConfiguration library.

  orpistiner

  committed
  66bb895

  Copy full SHA for 66bb895

Commits on Nov 23, 2020

• Merge branch 'certora/integrationStep2' of https://gitlab.com/aave-tech/protocol-v2 into certora/integrationStep2

  orpistiner

  committed
  9be3115

  Copy full SHA for 9be3115

• Updated integirtyBalanceOfTotalSupplyOnBurn rule for StableDebtToken.

  orpistiner

  committed
  296f104

  Copy full SHA for 296f104

Commits on Nov 22, 2020

• Merge branch 'certora/integrationStep2' of https://gitlab.com/aave-tech/protocol-v2 into certora/integrationStep2

  orpistiner

  committed
  9e07c03

  Copy full SHA for 9e07c03

• Updated StableDebtToken spec

  orpistiner

  committed
  f90e532

  Copy full SHA for f90e532

• Updated running script of VariableDebtToken

  orpistiner

  committed
  219d765

  Copy full SHA for 219d765

• Merge branch 'master' of https://gitlab.com/aave-tech/protocol-v2 into certora/integrationStep2

  orpistiner

  committed
  21edab3

  Copy full SHA for 21edab3

• Updates to the VariableDebtToken spec

  orpistiner

  committed
  dd0e306

  Copy full SHA for dd0e306

Commits on Nov 12, 2020

• Changes in /LendingPoolHarnessForVariableDebtToken

  orpistiner

  committed
  5ad4182

  Copy full SHA for 5ad4182

• Merged origin/master into certora/integrationStep2

  orpistiner

  committed
  81f566b

  Copy full SHA for 81f566b

• Changes in harness of VariableDebtToken

  orpistiner

  committed
  e0be3a3

  Copy full SHA for e0be3a3

Commits on Oct 29, 2020

• Fixes to run on VariableDebtToken

  orpistiner

  committed
  22353ee

  Copy full SHA for 22353ee

• Merge branch 'master' of https://gitlab.com/aave-tech/protocol-v2 into certora/integration

  orpistiner

  committed
  9da3fef

  Copy full SHA for 9da3fef

• Updates in the specification of StableDebtToken

  orpistiner

  committed
  5cc6acc

  Copy full SHA for 5cc6acc

Commits on Oct 28, 2020

• Fixes to run on UserConfiguration library

  orpistiner

  committed
  d4f0e05

  Copy full SHA for d4f0e05

• Fixes to run on StableDebtToken contract

  orpistiner

  committed
  4030d48

  Copy full SHA for 4030d48

• Updated spec harness and run.sh for VariableDebtToken contract

  orpistiner

  committed
  a63e337

  Copy full SHA for a63e337

• merge master into certora/integration

  orpistiner

  committed
  85a1ec0

  Copy full SHA for 85a1ec0

Commits on Oct 14, 2020

• Aave integration - first step

  orpistiner

  committed
  224712f

  Copy full SHA for 224712f