Pull Requests
556
Code Reviews
1,821
Top Repositories
Activity Feed (latest 50)
commented on pull request ethereum/hevm#765
Jul 1, 2025, 9:04 AM
reviewed a pull request in ethereum/hevm
Jul 1, 2025, 9:04 AM
reviewed a pull request in ethereum/hevm
Jul 1, 2025, 8:35 AM
deleted branch test-uf-more-checks at d3sformal/yaga
Jul 1, 2025, 8:18 AM
merged a pull request in d3sformal/yaga
Jul 1, 2025, 8:18 AM
pushed to master in d3sformal/yaga
Jul 1, 2025, 8:18 AM
opened a pull request in d3sformal/yaga
Jun 30, 2025, 1:12 PM
created a branch test-uf-more-checks in d3sformal/yaga
Jun 30, 2025, 1:12 PM
merged a pull request in d3sformal/yaga
Jun 30, 2025, 8:35 AM
pushed to master in d3sformal/yaga
Jun 30, 2025, 8:35 AM
reviewed a pull request in d3sformal/yaga
Jun 30, 2025, 8:33 AM
commented on issue d3sformal/yaga#13
Jun 30, 2025, 8:32 AM
commented on issue d3sformal/yaga#13
Jun 29, 2025, 1:11 PM
commented on issue ethereum/hevm#781
Jun 27, 2025, 8:55 AM
pushed to update-nixpkgs in ethereum/hevm
Jun 27, 2025, 6:47 AM
pushed to update-nixpkgs in ethereum/hevm
Jun 27, 2025, 6:02 AM
pushed to update-nixpkgs in ethereum/hevm
Jun 27, 2025, 5:53 AM
pushed to update-nixpkgs in ethereum/hevm
Jun 27, 2025, 5:25 AM
pushed to update-nixpkgs in ethereum/hevm
Jun 27, 2025, 5:21 AM
pushed to update-nixpkgs in ethereum/hevm
Jun 26, 2025, 11:04 PM
pushed to update-nixpkgs in ethereum/hevm
Jun 26, 2025, 10:55 PM
pushed to update-nixpkgs in ethereum/hevm
Jun 26, 2025, 10:52 PM
pushed to update-nixpkgs in ethereum/hevm
Jun 26, 2025, 10:42 PM
pushed to update-nixpkgs in ethereum/hevm
Jun 26, 2025, 10:32 PM
pushed to update-nixpkgs in ethereum/hevm
Jun 26, 2025, 10:23 PM
pushed to update-nixpkgs in ethereum/hevm
Jun 26, 2025, 9:29 PM
pushed to update-nixpkgs in ethereum/hevm
Jun 26, 2025, 9:22 PM
pushed to update-nixpkgs in ethereum/hevm
Jun 26, 2025, 9:06 PM
pushed to update-nixpkgs in ethereum/hevm
Jun 26, 2025, 2:47 PM
pushed to update-nixpkgs in ethereum/hevm
Jun 26, 2025, 2:17 PM
pushed to update-nixpkgs in ethereum/hevm
Jun 26, 2025, 1:43 PM
pushed to update-nixpkgs in ethereum/hevm
Jun 26, 2025, 1:31 PM
pushed to update-nixpkgs in ethereum/hevm
Jun 26, 2025, 1:04 PM
pushed to update-nixpkgs in ethereum/hevm
Jun 26, 2025, 12:44 PM
opened a pull request in ethereum/hevm
Jun 26, 2025, 12:41 PM
created a branch smt-encoding-small-changes in ethereum/hevm
Jun 26, 2025, 12:40 PM
reviewed a pull request in ethereum/hevm
Jun 24, 2025, 11:06 AM
commented on issue ethereum/hevm#776
Jun 19, 2025, 10:24 PM
reviewed a pull request in ethereum/hevm
Jun 19, 2025, 10:49 AM
reviewed a pull request in ethereum/hevm
Jun 19, 2025, 8:48 AM
reviewed a pull request in ethereum/hevm
Jun 19, 2025, 8:46 AM
reviewed a pull request in ethereum/hevm
Jun 17, 2025, 1:25 PM
reviewed a pull request in usi-verification-and-security/opensmt
Jun 16, 2025, 2:20 PM
reviewed a pull request in usi-verification-and-security/opensmt
Jun 13, 2025, 8:24 AM
commented on issue usi-verification-and-security/opensmt#844
Jun 12, 2025, 6:59 PM
commented on issue usi-verification-and-security/opensmt#844
Jun 12, 2025, 12:55 PM
commented on issue usi-verification-and-security/opensmt#844
Jun 12, 2025, 11:12 AM
commented on issue chc-comp/chc-comp25-scripts#1
Jun 9, 2025, 6:23 PM
created a tag v0.8.1 in usi-verification-and-security/golem
Jun 9, 2025, 5:51 PM
Description of `ReleaseEvent` isn't defined
Jun 9, 2025, 5:51 PM