Pinned Loading
-
-
-
-
competition-boilerplate
competition-boilerplate PublicBoilerplate template for programming competitions
Makefile
481 contributions in the last year
Skip to contributions year listDay of Week | August Aug | September Sep | October Oct | November Nov | December Dec | January Jan | February Feb | March Mar | April Apr | May May | June Jun | July Jul | August Aug | ||||||||||||||||||||||||||||||||||||||||
Sunday Sun | |||||||||||||||||||||||||||||||||||||||||||||||||||||
Monday Mon | |||||||||||||||||||||||||||||||||||||||||||||||||||||
Tuesday Tue | |||||||||||||||||||||||||||||||||||||||||||||||||||||
Wednesday Wed | |||||||||||||||||||||||||||||||||||||||||||||||||||||
Thursday Thu | |||||||||||||||||||||||||||||||||||||||||||||||||||||
Friday Fri | |||||||||||||||||||||||||||||||||||||||||||||||||||||
Saturday Sat |
Less
No contributions.
Low contributions.
Medium-low contributions.
Medium-high contributions.
High contributions.
More
Contribution activity
August 2025
Created 23 commits in 4 repositories
Created 2 repositories
-
elopez/fuzzer-gas-metric-benchmark
Solidity
This contribution was made on Aug 2
-
elopez/test-echidna-getCode
Solidity
This contribution was made on Aug 1
Opened 9 pull requests in 3 repositories
crytic/echidna
6
merged
1
open
-
Update hevm to
9982c580ed19b88ebab9744d29d940fd2f0bd8c6
This contribution was made on Aug 12 -
Reduce test flakiness
This contribution was made on Aug 10
-
Revamp HTML coverage report
This contribution was made on Aug 9
-
Fix CI tests
This contribution was made on Aug 9
-
Test older solc versions on merge
This contribution was made on Aug 9
-
Speed up coverage filename calculation
This contribution was made on Aug 9
-
Clean up subState when setting up transactions
This contribution was made on Aug 2
crytic/medusa
1
open
-
Add coverage report filtering option
This contribution was made on Aug 9
rappie/fuzzer-gas-metric-benchmark
1
merged
-
Unify benchmarking code to avoid differences between tools
This contribution was made on Aug 2
Reviewed 9 pull requests in 4 repositories
crytic/echidna
4 pull requests
-
build(deps): bump actions/checkout from 4 to 5
This contribution was made on Aug 12
-
Add values from tuple elements into the dictionary
This contribution was made on Aug 7
-
Reworked symbolic execution code
This contribution was made on Aug 6
-
Store event changes into Echidna's corpus
This contribution was made on Aug 3
crytic/crytic-compile
3 pull requests
-
added monad testnet support in etherscan.py
This contribution was made on Aug 13
-
chore(deps): bump actions/checkout from 4 to 5
This contribution was made on Aug 12
-
chore(deps): bump actions/download-artifact from 4 to 5
This contribution was made on Aug 12
ethereum/hevm
1 pull request
-
Better error propagation in reading bytecode from JSON
This contribution was made on Aug 6
crytic/medusa
1 pull request
-
Add flag: returnBool for property testing
This contribution was made on Aug 4