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

feat: execution traces #199

Merged
merged 52 commits into from
Oct 10, 2023
Merged

feat: execution traces #199

Show file tree
Hide file tree
Changes from 36 commits
Commits
Show all changes
52 commits
Select commit Hold shift + click to select a range
c812c60
fix: don't abort on unsupported console functions
karmacoma-eth Aug 17, 2023
2448961
chore: add black commit to .git-blame-ignore-revs
karmacoma-eth Aug 17, 2023
5297c36
WIP: calldata refactor
karmacoma-eth Aug 19, 2023
23618cb
WIP: message calls and event logs abstraction
karmacoma-eth Aug 19, 2023
7f3f193
[WIP] basic trace render
karmacoma-eth Aug 24, 2023
1346eef
WIP refactor messages and call frames
karmacoma-eth Aug 24, 2023
55c8daa
WIP add unit tests for traces
karmacoma-eth Aug 25, 2023
dbf6493
WIP fix event test
karmacoma-eth Aug 25, 2023
5d9b63d
add simple subcall tests
karmacoma-eth Aug 26, 2023
54527b4
fix: throw when running SSTORE in a static context
karmacoma-eth Aug 26, 2023
1c1f4d9
Add support for symbolic subcalls
karmacoma-eth Aug 31, 2023
95d2cb2
add support for symbolic create
karmacoma-eth Sep 1, 2023
a7a12f8
add log tests + revert when executing LOGx in static context
karmacoma-eth Sep 2, 2023
fdddbba
add defensive check in Contract constructor
karmacoma-eth Sep 12, 2023
c7774c1
refactor: rename CallFrame to CallContext
karmacoma-eth Sep 12, 2023
c594dac
fix: wire context output correctly
karmacoma-eth Sep 13, 2023
f2de9b3
display traces at different verbosity levels
karmacoma-eth Sep 13, 2023
013304a
fix: display "0x" for empty output
karmacoma-eth Sep 13, 2023
fd91dbf
fix handling of vm.fail() cheatcode
karmacoma-eth Sep 13, 2023
881eb6f
record call scheme and fix static context propagation
karmacoma-eth Sep 14, 2023
d119520
tweak trace output
karmacoma-eth Sep 18, 2023
2f3be31
add virtual subcontext to trace for failed CREATE2
karmacoma-eth Sep 19, 2023
08bf7bd
add static contexts test
karmacoma-eth Sep 21, 2023
f711276
add virtual trace element for cheatcodes
karmacoma-eth Sep 22, 2023
70b7e14
Call setUp() and test functions with 0 value
karmacoma-eth Sep 22, 2023
4dc3225
add logic for stuck paths
karmacoma-eth Sep 27, 2023
e88166f
fix: abort current path on HalmosException in create subcalls
karmacoma-eth Sep 27, 2023
eadd615
fix: exit with error code when setUp() fails
karmacoma-eth Sep 27, 2023
6772f4d
tests: add StaticContextsTest to all.json
karmacoma-eth Sep 27, 2023
e1321b2
tests: update create2 and getter tests
karmacoma-eth Sep 28, 2023
812f82c
fix unknown contract calls
karmacoma-eth Sep 28, 2023
782352a
fix UnsupportedOpcode test
karmacoma-eth Sep 28, 2023
a94a833
rename CTest to AssertTest
karmacoma-eth Sep 29, 2023
72001ca
add test for message depth limit
karmacoma-eth Sep 29, 2023
0cd1847
address PR feedback
karmacoma-eth Oct 2, 2023
623a464
improve support for out of bounds index slicing
karmacoma-eth Oct 3, 2023
2fa17b4
test: add context test
daejunpark Oct 3, 2023
3a4a2f6
fix misc context semantics
karmacoma-eth Oct 4, 2023
bba3fe8
minor cosmetic changes
karmacoma-eth Oct 4, 2023
0846368
Merge branch 'main' into exec-traces
karmacoma-eth Oct 4, 2023
2146d2a
fix merge aftermath
karmacoma-eth Oct 5, 2023
54d33b6
fix imports
karmacoma-eth Oct 5, 2023
8de72a0
temporary fix: ignore test_traces.py for now
karmacoma-eth Oct 5, 2023
91fc32e
fix: submodule merge conflicts
daejunpark Oct 6, 2023
b13a785
test: update expected
daejunpark Oct 6, 2023
eef7175
feat: print setup failure traces for only -vv or higher
daejunpark Oct 6, 2023
bb136a3
test: rename test file
daejunpark Oct 6, 2023
1eeb604
test: update expected
daejunpark Oct 6, 2023
09ae40f
test: fix forge remappings ds-test for windows
daejunpark Oct 7, 2023
ffb708b
tmp: ci debugging
daejunpark Oct 9, 2023
b10c904
Revert "tmp: ci debugging"
daejunpark Oct 9, 2023
88f6cfa
tmp fix: BrokenProcessPool with reused thread pools
daejunpark Oct 9, 2023
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
1 change: 1 addition & 0 deletions .git-blame-ignore-revs
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,2 +1,3 @@
# Migrate code style to Black
449404c7a2b318b8203dbccbeac11c87d20c422f
00cc14c20659cbf717594451dfc7906b295dca98
Loading