Code

Echidna E2E #178

Code

Merged

clemlak merged 36 commits intomainprimitivefinance/portfolio:mainfrom tob/echidna-e2eprimitivefinance/portfolio:tob/echidna-e2eCopy head branch name to clipboardFeb 10, 2023

+4,754-60

Commits

Commits on Jan 25, 2023

• fix: update gitignore and add corpus

  

  Natalie Chin

  committed
  39c0387

  Copy full SHA for 39c0387

• test (unallocate): added failure cases

  

  Natalie Chin

  committed
  430dd9c

  Copy full SHA for 430dd9c

Commits on Jan 26, 2023

• Added non expired pool token getter for swaps

  

  Natalie Chin

  committed
  3729777

  Copy full SHA for 3729777

• refactor (global invars): pulls global system wide invariants into separate file

  

  Natalie Chin

  committed
  d0c3c33

  Copy full SHA for d0c3c33

• refactor (pool/pair creation): moved to separate files

  

  Natalie Chin

  committed
  94c89e3

  Copy full SHA for 94c89e3

• refactor (change params): separate file

  

  Natalie Chin

  committed
  e5458c3

  Copy full SHA for e5458c3

• refactor(fund and draw): separate file

  

  Natalie Chin

  committed
  e62a870

  Copy full SHA for e62a870

• refactor (fund,draw,deposit,allocate,unallocate): separate files

  

  Natalie Chin

  committed
  a2a9a2c

  Copy full SHA for a2a9a2c

• refactor (swaps): separate file

  

  Natalie Chin

  committed
  f5a38b2

  Copy full SHA for f5a38b2

• refactor: cleaned Echidna tests

  

  Natalie Chin

  committed
  e70514a

  Copy full SHA for e70514a

• Merge pull request #57 from trailofbits/tob/echidna-refactor

  Show description for 2ad88f0
  

  Nat Chin

  authored
  2ad88f0

  Copy full SHA for 2ad88f0

• add: swap corpus

  

  Natalie Chin

  committed
  340d9a4

  Copy full SHA for 340d9a4

Commits on Jan 27, 2023

• Added PoC for assembly code and issue 25

  

  tarunbhm

  authored and

  Natalie Chin

  committed
  8239064

  Copy full SHA for 8239064

• Add poc for issue #26 position fee

  

  tarunbhm

  authored and

  Natalie Chin

  committed
  e0c6f54

  Copy full SHA for e0c6f54

• Add poc for issue #22

  

  tarunbhm

  authored and

  Natalie Chin

  committed
  e76938a

  Copy full SHA for e76938a

• Add PoC for issue #33

  

  tarunbhm

  authored and

  Natalie Chin

  committed
  2cfe2d7

  Copy full SHA for 2cfe2d7

• fix (todos): swaps and funding

  

  Natalie Chin

  committed
  cd64638

  Copy full SHA for cd64638

• Merge pull request #59 from trailofbits/fix/todos

  Show description for 2c558f6
  

  Nat Chin

  authored
  2c558f6

  Copy full SHA for 2c558f6

• add (corpus): and swaps

  

  Natalie Chin

  committed
  97eaab3

  Copy full SHA for 97eaab3

• Merge pull request #61 from trailofbits/updates/corpus-and-swaps

  Show description for e57ca84
  

  Nat Chin

  authored
  e57ca84

  Copy full SHA for e57ca84

Commits on Jan 31, 2023

• Added corpus

  

  Natalie Chin

  committed
  8ec5e0e

  Copy full SHA for 8ec5e0e

• Merge pull request #62 from trailofbits/add-corpus

  Show description for b82dd44
  

  Nat Chin

  authored
  b82dd44

  Copy full SHA for b82dd44

• Merge pull request #63 from trailofbits/poc

  Show description for cba6aa4
  

  Nat Chin

  authored
  cba6aa4

  Copy full SHA for cba6aa4

Commits on Feb 3, 2023

• test(decimals): test-fifteen-decimals

  

  broccolirob

  committed
  07dd503

  Copy full SHA for 07dd503

• Merge pull request #64 from trailofbits/rgs/echidna-e2e

  Show description for f17d8f9
  

  Nat Chin

  authored
  f17d8f9

  Copy full SHA for f17d8f9

• removed corpus

  

  Natalie Chin

  committed
  a288f6d

  Copy full SHA for a288f6d

• Merge pull request #65 from trailofbits/corpus-removal

  Show description for 74e6a65
  

  Nat Chin

  authored
  74e6a65

  Copy full SHA for 74e6a65

• fixes compiler warnings

  

  Natalie Chin

  committed
  b14d4c7

  Copy full SHA for b14d4c7

• Merge pull request #66 from trailofbits/code-cleanup

  Show description for 27fd448
  

  Nat Chin

  authored
  27fd448

  Copy full SHA for 27fd448

• echidna stateless swaps

  

  0xPhaze

  authored and

  Natalie Chin

  committed
  af7c7b9

  Copy full SHA for af7c7b9

• fix (if statement): swap tests

  

  Natalie Chin

  committed
  374afdd

  Copy full SHA for 374afdd

• add solstat invariants

  

  0xPhaze

  authored and

  Natalie Chin

  committed
  8ac0282

  Copy full SHA for 8ac0282

• merge all swap functions

  

  Natalie Chin

  committed
  6bcd350

  Copy full SHA for 6bcd350

• Merge pull request #60 from trailofbits/swapfuzz

  Show description for a630042
  

  Nat Chin

  authored
  a630042

  Copy full SHA for a630042

• Updated solstat helper to use assert(false) instead of fail

  

  Natalie Chin

  committed
  a1a6a07

  Copy full SHA for a1a6a07

Commits on Feb 10, 2023

• Merge branch 'main' into tob/echidna-e2e

  clemlak

  authored
  464d721

  Copy full SHA for 464d721