Code

feat: superc20 kontrol tests#36

Code

Merged

0xDiscotech merged 50 commits intofeat/symbolic-testingdefi-wonderland/optimism:feat/symbolic-testingfrom refactor/migrate-to-kontroldefi-wonderland/optimism:refactor/migrate-to-kontrolCopy head branch name to clipboardSep 18, 2024

+1,792

Commits

Commits on Aug 15, 2024

• chore: configure medusa with basic supERC20 self-bridging

  Show description for 73236b4
  0xteddybear

  committed
  73236b4

• fix: delete dead code

  0xteddybear

  committed
  6f386a5

• test: give the fuzzer a head start

  0xteddybear

  committed
  e8d42b8

• docs: fix properties order

  0xteddybear

  committed
  326366b

• test: document & implement assertions 22, 23 and 24

  0xteddybear

  committed
  7a66ae6

• fix: fixes from self-review

  0xteddybear

  committed
  fa4cf29

• test: guide the fuzzer a little bit less

  Show description for 8173ee7
  0xteddybear

  committed
  8173ee7

• fix: fixes after lovely feedback by disco

  0xteddybear

  committed
  ec29415

• docs: merge both documents and categorized properties by their milestone

  0xteddybear

  committed
  75f6977

• fix: fixes from parti's review

  0xteddybear

  committed
  d761fa9

Commits on Aug 16, 2024

• fix: feedback from disco

  0xteddybear

  committed
  51a72e3

• fix: feedback from doc

  0xteddybear

  committed
  745dcbc

Commits on Aug 19, 2024

• refactor: separate state transitions from pure properties

  0xteddybear

  committed
  07ca17e

• docs: update tested properties

  0xteddybear

  committed
  f23d8ff

• refactor: move all assertions into properties contract

  0xteddybear

  committed
  590a3ba

• fix: move function without assertions back into handler

  0xteddybear

  committed
  51bf7fd

Commits on Aug 20, 2024

• test: only use assertion mode

  0xteddybear

  committed
  79bf5e5

• fix: improve justfile recipie for medusa

  0xteddybear

  committed
  6e13fd2

Commits on Aug 21, 2024

• Merge pull request #19 from defi-wonderland/chore/setup-medusa

  Show description for 407cc76
  0xteddybear

  authored
  407cc76

Commits on Aug 23, 2024

• feat: halmos symbolic tests (#21)

  Show description for 7e6fdbc
  

  4 peopleauthored
  7e6fdbc

Commits on Aug 26, 2024

• feat: test properties 22 and 23

  Show description for 773a1d8
  

  0xDiscotech

  authored and

  0xteddybear

  committed
  773a1d8

Commits on Aug 29, 2024

• feat: checkpoint of superc20 kontrol tests

  0xDiscotech

  committed
  8c4e7c6

• feat: setup kontrol

  0xDiscotech

  committed
  8b379dc

Commits on Sep 1, 2024

• feat: external computation diff state wip

  0xDiscotech

  committed
  c29990e

Commits on Sep 2, 2024

• fix(test): init glob var in state diff generator

  simon-something

  committed
  2934238

• Revert "fix(test): init glob var in state diff generator"

  Show description for 98e443a
  0xDiscotech

  committed
  98e443a

Commits on Sep 3, 2024

• chore: update setup on kontrol tests and add assumes

  Show description for 8307536
  0xDiscotech

  committed
  8307536

• refactor: mock messenger storage layout wip due failing tests

  0xDiscotech

  committed
  e40c1c1

Commits on Sep 4, 2024

• chore: replicate new scenarios on foundry debug

  0xDiscotech

  committed
  342f33f

Commits on Sep 5, 2024

• refactor: cross domain sender logic on mock messenger

  0xDiscotech

  committed
  79158b8

• chore: remove event, add a boolean and update cross domain sender visibility on mock messenger

  0xDiscotech

  committed
  dc0c2c4

• chore: unnecessary remove 0 address asingment

  0xDiscotech

  committed
  befba99

• chore: update failing scenario on foundry debug tests

  0xDiscotech

  committed
  498f85f

Commits on Sep 6, 2024

• refactor: use symoblic storage cheatcode

  0xDiscotech

  committed
  51efcda

• chore: optimize tests and apply symbolic storage everywhere possible

  0xDiscotech

  committed
  d89717f

Commits on Sep 7, 2024

• chore: remove symbolik storage feature since it failed

  0xDiscotech

  committed
  d6d46da

• chore: add quotes on kontrol toml

  0xDiscotech

  committed
  6b83938

• chore: update models to run on foundry debug, they dont fail on foundry

  0xDiscotech

  committed
  b4dd8df

Commits on Sep 9, 2024

• fix: kontrol toml file

  0xDiscotech

  committed
  9633e79

• fix: kontrol toml

  0xDiscotech

  committed
  f6a03ef

• chore: remove unnecessary changes

  0xDiscotech

  committed
  6a9b8bd

Commits on Sep 10, 2024

• Merge branch 'feat/symbolic-testing' into refactor/migrate-to-kontrol

  0xDiscotech

  committed
  b6a4b94

• chore: remove halmos

  0xDiscotech

  committed
  a9b3050

• chore: update properties tackled

  0xDiscotech

  committed
  8e39079

• chore: remove outdated properties file

  0xDiscotech

  committed
  6342513

• chore: remove medusa stuff

  0xDiscotech

  committed
  763a538

Commits on Sep 13, 2024

• chore: update tackled properties and polish natspec

  0xDiscotech

  committed
  413ae97

Commits on Sep 16, 2024

• chore: update natspec on debug file

  0xDiscotech

  committed
  9c914ef

Commits on Sep 17, 2024

• chore: update comments and attribution

  0xDiscotech

  committed
  602589f

• chore: update mock messenger description comment

  0xDiscotech

  committed
  b714f0e