Pull Requests
174
Code Reviews
835
Top Repositories
Activity Feed (latest 50)
pushed to kjezek/proof-race-condition in 0xsoniclabs/carmen
Jul 4, 2025, 7:17 AM
pushed to kjezek/introduces-read-access-visitors in 0xsoniclabs/carmen
Jul 4, 2025, 6:59 AM
reviewed a pull request in 0xsoniclabs/norma
Jul 4, 2025, 6:37 AM
commented on pull request 0xsoniclabs/carmen#30
Jul 4, 2025, 6:34 AM
reviewed a pull request in 0xsoniclabs/carmen
Jul 4, 2025, 6:34 AM
commented on pull request 0xsoniclabs/carmen#30
Jul 4, 2025, 6:33 AM
reviewed a pull request in 0xsoniclabs/carmen
Jul 4, 2025, 6:33 AM
pushed to kjezek/introduces-read-access-visitors in 0xsoniclabs/carmen
Jul 4, 2025, 6:33 AM
commented on pull request 0xsoniclabs/carmen#30
Jul 4, 2025, 6:07 AM
reviewed a pull request in 0xsoniclabs/carmen
Jul 4, 2025, 6:07 AM
pushed to kjezek/introduces-read-access-visitors in 0xsoniclabs/carmen
Jul 3, 2025, 7:52 PM
commented on pull request 0xsoniclabs/carmen#30
Jul 3, 2025, 7:44 PM
reviewed a pull request in 0xsoniclabs/carmen
Jul 3, 2025, 7:44 PM
commented on pull request 0xsoniclabs/carmen#30
Jul 3, 2025, 7:44 PM
reviewed a pull request in 0xsoniclabs/carmen
Jul 3, 2025, 7:44 PM
commented on pull request 0xsoniclabs/carmen#30
Jul 3, 2025, 7:44 PM
reviewed a pull request in 0xsoniclabs/carmen
Jul 3, 2025, 7:44 PM
commented on pull request 0xsoniclabs/carmen#30
Jul 3, 2025, 7:44 PM
reviewed a pull request in 0xsoniclabs/carmen
Jul 3, 2025, 7:44 PM
commented on pull request 0xsoniclabs/carmen#30
Jul 3, 2025, 7:43 PM
reviewed a pull request in 0xsoniclabs/carmen
Jul 3, 2025, 7:43 PM
pushed to kjezek/introduces-read-access-visitors in 0xsoniclabs/carmen
Jul 3, 2025, 7:40 PM
deleted branch kjezek/introduces-hash-access-visitor at 0xsoniclabs/carmen
Jul 3, 2025, 7:39 PM
pushed to main in 0xsoniclabs/carmen
Jul 3, 2025, 7:39 PM
merged a pull request in 0xsoniclabs/carmen
Jul 3, 2025, 7:39 PM
reviewed a pull request in 0xsoniclabs/carmen
Jul 2, 2025, 1:40 PM
reviewed a pull request in 0xsoniclabs/sonic
Jul 2, 2025, 11:46 AM
reviewed a pull request in 0xsoniclabs/sonic
Jul 2, 2025, 10:32 AM
opened a pull request in 0xsoniclabs/carmen
Jul 2, 2025, 7:46 AM
created a branch kjezek/limit-reincarnation-map-25M in 0xsoniclabs/carmen
Jul 2, 2025, 7:42 AM
reviewed a pull request in 0xsoniclabs/norma
Jul 2, 2025, 7:24 AM
deleted branch kjezek/cap-reinc-map-size at 0xsoniclabs/carmen
Jul 2, 2025, 7:20 AM
pushed to main in 0xsoniclabs/carmen
Jul 2, 2025, 7:20 AM
merged a pull request in 0xsoniclabs/carmen
Jul 2, 2025, 7:20 AM
pushed to kjezek/cap-reinc-map-size in 0xsoniclabs/carmen
Jul 2, 2025, 5:59 AM
commented on pull request 0xsoniclabs/norma#94
Jul 2, 2025, 4:50 AM
reviewed a pull request in 0xsoniclabs/norma
Jul 2, 2025, 4:51 AM
reviewed a pull request in 0xsoniclabs/norma
Jul 2, 2025, 4:51 AM
reviewed a pull request in 0xsoniclabs/carmen
Jul 1, 2025, 1:53 PM
pushed to kjezek/introduces-hash-access-visitor in 0xsoniclabs/carmen
Jul 1, 2025, 1:41 PM
deleted branch ws/codecov at 0xsoniclabs/carmen
Jul 1, 2025, 1:40 PM
pushed to main in 0xsoniclabs/carmen
Jul 1, 2025, 1:40 PM
merged a pull request in 0xsoniclabs/carmen
Jul 1, 2025, 1:40 PM
reviewed a pull request in 0xsoniclabs/carmen
Jul 1, 2025, 12:56 PM
pushed to kjezek/cap-reinc-map-size in 0xsoniclabs/carmen
Jul 1, 2025, 12:25 PM
reviewed a pull request in 0xsoniclabs/carmen
Jul 1, 2025, 12:23 PM
commented on pull request 0xsoniclabs/carmen#33
Jul 1, 2025, 12:23 PM
pushed to kjezek/cap-reinc-map-size in 0xsoniclabs/carmen
Jul 1, 2025, 12:22 PM
pushed to kjezek/cap-reinc-map-size in 0xsoniclabs/carmen
Jul 1, 2025, 12:21 PM
pushed to kjezek/introduces-hash-access-visitor in 0xsoniclabs/carmen
Jul 1, 2025, 9:14 AM