🐫
Static analysis & compiler engineer. Passionate about programming languages.
-
Certora
- London, UK
- phreppo.github.io
- in/francesco-parolini
Pinned Loading
1,890 contributions in the last year
Day of Week | April Apr | May May | June Jun | July Jul | August Aug | September Sep | October Oct | November Nov | December Dec | January Jan | February Feb | March Mar | |||||||||||||||||||||||||||||||||||||||||
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
Activity overview
Contributed to
Certora/SolanaExamples,
phreppo/phreppo.github.io,
Certora/cvlr
and 12 other
repositories
Loading
Contribution activity
April 2025
Created 2 commits in 1 repository
Opened 3 pull requests in 1 repository
Certora/SolanaExamples
1
open
2
merged
-
CPI calls
This contribution was made on Apr 7
-
Run cargo update
This contribution was made on Apr 3
-
Update PROJECT_DIR, SOURCES, and EXECUTABLES paths in build scripts
This contribution was made on Apr 3
Reviewed 2 pull requests in 2 repositories
Certora/Documentation
1 pull request
-
Solana Livestats update
This contribution was made on Apr 2
Certora/SolanaExamples
1 pull request
-
Add support for running regressions on pr
This contribution was made on Apr 1
11
contributions
in private repositories
Apr 2 – Apr 7