Pull Requests
164
Code Reviews
1,068
Top Repositories
Activity Feed (latest 43)
commented on issue informalsystems/malachite#1104
Jun 23, 2025, 1:23 PM
commented on pull request informalsystems/malachite#1095
Jun 23, 2025, 1:18 PM
reviewed a pull request in informalsystems/malachite
Jun 23, 2025, 1:18 PM
commented on issue informalsystems/malachite#1104
Jun 23, 2025, 1:09 PM
commented on pull request informalsystems/malachite#1095
Jun 23, 2025, 3:12 AM
reviewed a pull request in informalsystems/malachite
Jun 23, 2025, 3:12 AM
created a branch anca/try_request_fsm in informalsystems/malachite
Jun 23, 2025, 3:05 AM
commented on pull request informalsystems/malachite#1095
Jun 23, 2025, 2:39 AM
reviewed a pull request in informalsystems/malachite
Jun 23, 2025, 2:39 AM
reviewed a pull request in informalsystems/malachite
Jun 19, 2025, 1:25 PM
reviewed a pull request in informalsystems/malachite
Jun 19, 2025, 1:22 PM
commented on issue informalsystems/malachite#1094
Jun 19, 2025, 5:03 AM
commented on pull request informalsystems/malachite#1094
Jun 19, 2025, 4:59 AM
reviewed a pull request in informalsystems/malachite
Jun 19, 2025, 4:59 AM
commented on pull request informalsystems/malachite#1094
Jun 19, 2025, 4:22 AM
reviewed a pull request in informalsystems/malachite
Jun 19, 2025, 4:22 AM
commented on pull request informalsystems/malachite#1093
Jun 19, 2025, 2:40 AM
reviewed a pull request in informalsystems/malachite
Jun 19, 2025, 2:40 AM
commented on pull request informalsystems/malachite#1093
Jun 19, 2025, 2:31 AM
reviewed a pull request in informalsystems/malachite
Jun 19, 2025, 2:31 AM
commented on pull request informalsystems/malachite#1093
Jun 19, 2025, 2:10 AM
reviewed a pull request in informalsystems/malachite
Jun 19, 2025, 2:10 AM
commented on pull request informalsystems/malachite#1093
Jun 19, 2025, 2:10 AM
reviewed a pull request in informalsystems/malachite
Jun 19, 2025, 2:10 AM
commented on issue informalsystems/malachite#1091
Jun 19, 2025, 1:47 AM
commented on pull request informalsystems/malachite#1091
Jun 19, 2025, 1:43 AM
reviewed a pull request in informalsystems/malachite
Jun 19, 2025, 1:43 AM
commented on pull request informalsystems/malachite#1082
Jun 14, 2025, 1:20 PM
reviewed a pull request in informalsystems/malachite
Jun 14, 2025, 1:20 PM
commented on issue informalsystems/malachite#1082
Jun 14, 2025, 1:09 PM
commented on issue informalsystems/malachite#1082
Jun 14, 2025, 12:43 PM
commented on issue informalsystems/malachite#1082
Jun 13, 2025, 2:37 PM
commented on pull request informalsystems/malachite#1082
Jun 13, 2025, 2:30 PM
reviewed a pull request in informalsystems/malachite
Jun 13, 2025, 2:30 PM
commented on pull request informalsystems/malachite#1082
Jun 13, 2025, 2:30 PM
reviewed a pull request in informalsystems/malachite
Jun 13, 2025, 2:30 PM
commented on issue informalsystems/malachite#1071
Jun 10, 2025, 11:52 PM
reviewed a pull request in informalsystems/malachite
Jun 10, 2025, 11:43 PM
commented on pull request informalsystems/malachite#1078
Jun 6, 2025, 9:57 PM
reviewed a pull request in informalsystems/malachite
Jun 6, 2025, 9:57 PM
commented on pull request informalsystems/malachite#1078
Jun 6, 2025, 4:55 PM
reviewed a pull request in informalsystems/malachite
Jun 6, 2025, 4:55 PM
commented on issue informalsystems/malachite#1074
Jun 4, 2025, 4:33 PM