Commits

Breadcrumbs

History for

onmaster

User selector

All users

Datepicker

All time

Commit History

Commits on Jan 12, 2021

• Solve conflicts

  kartojal

  committed
  46c753c

  Copy full SHA for 46c753c

Commits on Dec 3, 2020

• Fixed compilation errors

  orpistiner

  committed
  291b92b

  Copy full SHA for 291b92b

• Fixed imports

  orpistiner

  committed
  0293b08

  Copy full SHA for 0293b08

• 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

• Updated ReserveMap and UserMap

  

  The3D

  committed
  126458c

  Copy full SHA for 126458c

• fixed syntax error

  orpistiner

  committed
  7c53ad8

  Copy full SHA for 7c53ad8

• - Moved data types (structs and enum) to a DataTypes library, to simplify interfaces

  eboadom

  committed
  5532ebd

  Copy full SHA for 5532ebd

• Updated import paths

  orpistiner

  committed
  bb52ba0

  Copy full SHA for bb52ba0

• Merged master into certora/integrationStep2

  orpistiner

  committed
  70ab16b

  Copy full SHA for 70ab16b

Commits on Nov 23, 2020

• Updated integirtyBalanceOfTotalSupplyOnBurn rule for StableDebtToken.

  orpistiner

  committed
  296f104

  Copy full SHA for 296f104

• Merge branch 'master' into feat/153-improve-docs

  eboadom

  committed
  0bca8c6

  Copy full SHA for 0bca8c6

• - Improved docs on LendingPool and interface

  eboadom

  committed
  f98335c

  Copy full SHA for f98335c

Commits on Nov 22, 2020

• Updated StableDebtToken spec

  orpistiner

  committed
  f90e532

  Copy full SHA for f90e532

• 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 20, 2020

• Removed the ^ on solidity version

  

  The3D

  committed
  f1778b8

  Copy full SHA for f1778b8

• Updated solidity version

  

  The3D

  committed
  8c03180

  Copy full SHA for 8c03180

Commits on Nov 12, 2020

• Changes in /LendingPoolHarnessForVariableDebtToken

  orpistiner

  committed
  5ad4182

  Copy full SHA for 5ad4182

Commits on Nov 5, 2020

• Fixed certora harness

  The-3D

  committed
  b101af2

  Copy full SHA for b101af2

Commits on Oct 30, 2020

• Merge branch 'master' into feat/102-batch-delegation-allowance

  eboadom

  committed
  cba766d

  Copy full SHA for cba766d

Commits on Oct 29, 2020

• Fixes to run on VariableDebtToken

  orpistiner

  committed
  22353ee

  Copy full SHA for 22353ee

• 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

Commits on Oct 14, 2020

• Aave integration - first step

  orpistiner

  committed
  224712f

  Copy full SHA for 224712f

Loading