Code

PR end of Care-X #12

Code

Open

Baraa42 wants to merge 10 commits intoCertora:mainCertora/badger-onchain-rewards:mainfrom Baraa42:mainBaraa42/badger-onchain-rewards:mainCopy head branch name to clipboard

+2,108-23

Commits

Commits on Mar 14, 2022

• added properties

  Baraa42

  committed
  519640a

Commits on Mar 23, 2022

• update properties and spec

  Baraa42

  committed
  03bbbc8

• update properties and spec

  Baraa42

  committed
  789c59f

• update properties

  Baraa42

  committed
  9db9ca4

Commits on Mar 25, 2022

• scripts

  Baraa42

  committed
  c1ff7af

• added scripts1

  Baraa42

  committed
  78d2766

• added scripts

  Baraa42

  committed
  7fa3594

• added scripts

  Baraa42

  committed
  d5f110a

Commits on Apr 1, 2022

• edit to submit

  Baraa42

  committed
  8a54130

Commits on Apr 3, 2022

• delete basic script

  RedLikeRosesss

  authored
  b56b1f6