Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Echidna E2E #178

Merged
merged 36 commits into from
Feb 10, 2023
Merged

Echidna E2E #178

merged 36 commits into from
Feb 10, 2023

Conversation

0xicingdeath
Copy link
Collaborator

@0xicingdeath 0xicingdeath commented Jan 25, 2023 •
edited
Loading

  • Adds corpus/ to gitignore and adds corpus zip
  • Refactors all invariants into separate files
  • Swap tests

@0xicingdeath 0xicingdeath marked this pull request as draft January 25, 2023 19:57
Natalie Chin and others added 28 commits January 25, 2023 15:18
test (unallocate): added failure cases
430dd9c
Added non expired pool token getter for swaps
3729777
refactor (global invars): pulls global system wide invariants into se…
d0c3c33 
…parate file
refactor (pool/pair creation): moved to separate files
94c89e3
refactor (change params): separate file
e5458c3
refactor(fund and draw): separate file
e62a870
refactor (fund,draw,deposit,allocate,unallocate): separate files
a2a9a2c
refactor (swaps): separate file
f5a38b2
refactor: cleaned Echidna tests
e70514a
Merge pull request #57 from trailofbits/tob/echidna-refactor
2ad88f0 
Echidna Test Suite Refactor
add: swap corpus
340d9a4
@tarunbhm
Added PoC for assembly code and issue 25
8239064
@tarunbhm
Add poc for issue #26 position fee
e0c6f54
@tarunbhm
Add poc for issue #22
e76938a
@tarunbhm
Add PoC for issue #33
2cfe2d7
fix (todos): swaps and funding
cd64638
Merge pull request #59 from trailofbits/fix/todos
2c558f6 
fix (todos): swaps and funding
add (corpus): and swaps
97eaab3
Merge pull request #61 from trailofbits/updates/corpus-and-swaps
e57ca84 
add (corpus): and swaps
Added corpus
8ec5e0e
Merge pull request #62 from trailofbits/add-corpus
b82dd44 
Added corpus
Merge pull request #63 from trailofbits/poc
cba6aa4 
Poc
test(decimals): test-fifteen-decimals
07dd503
Merge pull request #64 from trailofbits/rgs/echidna-e2e
f17d8f9 
test(decimals): test-fifteen-decimals
removed corpus
a288f6d
Merge pull request #65 from trailofbits/corpus-removal
74e6a65 
removed corpus
fixes compiler warnings
b14d4c7
Merge pull request #66 from trailofbits/code-cleanup
27fd448 
fixes compiler warnings
@Alexangelj Alexangelj marked this pull request as ready for review February 3, 2023 18:14
@clemlak clemlak merged commit e407aeb into main Feb 10, 2023
@Alexangelj Alexangelj deleted the tob/echidna-e2e branch March 11, 2023 21:03
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
4 participants
@0xicingdeath @clemlak @tarunbhm @0xPhaze