Pull Requests
184
Code Reviews
317
Top Repositories
Activity Feed (latest 26)
opened a pull request in iotaledger/wasp
Jul 1, 2025, 11:09 AM
pushed to fix-mempool-dup-nonce-leak in iotaledger/wasp
Jul 1, 2025, 11:07 AM
commented on issue tlaplus/tlapm#225
Jun 24, 2025, 8:37 PM
commented on issue tlaplus/tlapm#224
Jun 24, 2025, 1:10 PM
commented on issue tlaplus/tlapm#224
Jun 24, 2025, 5:01 AM
commented on issue tlaplus/tlapm#222
Jun 22, 2025, 3:57 PM
opened a pull request in tlaplus/tlapm
Jun 22, 2025, 2:53 PM
created a branch updated_enabled_cdot-fix-lsp-perf-v2 in tlaplus/tlapm
Jun 22, 2025, 2:49 PM
pushed to updated_enabled_cdot in tlaplus/tlapm
Jun 22, 2025, 11:26 AM
commented on issue tlaplus/tlapm#148
Jun 22, 2025, 11:09 AM
pushed to updated_enabled_cdot in tlaplus/tlapm
Jun 22, 2025, 10:52 AM
closed a pull request in tlaplus/tlapm
Jun 22, 2025, 10:51 AM
opened a pull request in tlaplus/tlapm
Jun 22, 2025, 10:51 AM
created a branch revert-186-updated_enabled_cdot-fix-lsp-perf in tlaplus/tlapm
Jun 22, 2025, 10:50 AM
reviewed a pull request in tlaplus/tlapm
Jun 21, 2025, 10:22 AM
pushed to updated_enabled_cdot in tlaplus/tlapm
Jun 21, 2025, 10:16 AM
merged a pull request in tlaplus/tlapm
Jun 21, 2025, 10:16 AM
commented on issue tlaplus/tlapm#217
Jun 21, 2025, 9:24 AM
opened a pull request in tlaplus/tlapm
Jun 21, 2025, 9:21 AM
created a branch isabelle2025-small-proof-fixes in kape1395/tlapm
Jun 21, 2025, 9:19 AM
commented on issue tlaplus/tlapm#217
Jun 16, 2025, 9:29 PM
pushed to master in tlaplus/vscode-tlaplus
Jun 9, 2025, 8:24 PM
merged a pull request in tlaplus/vscode-tlaplus
Jun 9, 2025, 8:24 PM
reviewed a pull request in tlaplus/vscode-tlaplus
Jun 9, 2025, 8:17 PM
commented on issue tlaplus/vscode-tlaplus#389
Jun 9, 2025, 8:17 PM
commented on issue tlaplus/vscode-tlaplus#389
Jun 8, 2025, 12:48 PM