Pull Requests
193
Code Reviews
1,491
Top Repositories
Activity Feed (latest 50)
deleted branch 314-remove-unnecessary-ci at GaloisInc/cryptol-specs
Jun 30, 2025, 2:12 PM
pushed to master in GaloisInc/cryptol-specs
Jun 30, 2025, 2:12 PM
closed an issue in GaloisInc/cryptol-specs
Jun 30, 2025, 2:12 PM
merged a pull request in GaloisInc/cryptol-specs
Jun 30, 2025, 2:12 PM
commented on issue GaloisInc/cryptol-specs#314
Jun 27, 2025, 2:57 PM
opened a pull request in GaloisInc/cryptol-specs
Jun 27, 2025, 2:56 PM
pushed to 314-remove-unnecessary-ci in GaloisInc/cryptol-specs
Jun 27, 2025, 2:55 PM
pushed to 314-remove-unnecessary-ci in GaloisInc/cryptol-specs
Jun 27, 2025, 2:51 PM
created a branch 314-remove-unnecessary-ci in GaloisInc/cryptol-specs
Jun 27, 2025, 2:49 PM
pushed to test-z3-4.15.1 in GaloisInc/saw-script
Jun 24, 2025, 6:52 PM
pushed to test-z3-4.15.1 in GaloisInc/saw-script
Jun 24, 2025, 5:46 PM
pushed to test-z3-4.15.1 in GaloisInc/saw-script
Jun 24, 2025, 5:30 PM
opened a pull request in GaloisInc/saw-script
Jun 24, 2025, 5:22 PM
created a branch test-z3-4.15.1 in GaloisInc/saw-script
Jun 24, 2025, 5:13 PM
created a branch test-z3-4.15.1 in GaloisInc/saw-script
Jun 24, 2025, 5:13 PM
commented on issue GaloisInc/what4-solvers#70
Jun 24, 2025, 4:26 PM
pushed to try-updated-z3 in GaloisInc/cryptol
Jun 24, 2025, 3:22 PM
pushed to try-updated-z3 in GaloisInc/cryptol
Jun 24, 2025, 3:21 PM
created a branch try-updated-z3 in GaloisInc/cryptol
Jun 24, 2025, 3:13 PM
commented on pull request GaloisInc/cryptol-specs#315
Jun 23, 2025, 4:22 PM
reviewed a pull request in GaloisInc/cryptol-specs
Jun 23, 2025, 4:22 PM
commented on pull request GaloisInc/cryptol-specs#315
Jun 23, 2025, 3:43 PM
reviewed a pull request in GaloisInc/cryptol-specs
Jun 23, 2025, 3:44 PM
reviewed a pull request in GaloisInc/cryptol-specs
Jun 23, 2025, 3:44 PM
commented on pull request GaloisInc/cryptol-specs#296
Jun 23, 2025, 3:35 PM
reviewed a pull request in GaloisInc/cryptol-specs
Jun 23, 2025, 3:38 PM
reviewed a pull request in GaloisInc/cryptol-specs
Jun 23, 2025, 3:38 PM
opened an issue in GaloisInc/cryptol-specs
Jun 17, 2025, 6:11 PM
commented on issue GaloisInc/cryptol-specs#272
Jun 13, 2025, 7:33 PM
closed an issue in GaloisInc/cryptol-specs
Jun 13, 2025, 7:33 PM
commented on pull request GaloisInc/cryptol-specs#311
Jun 13, 2025, 6:43 PM
commented on pull request GaloisInc/cryptol-specs#311
Jun 13, 2025, 6:42 PM
commented on pull request GaloisInc/cryptol-specs#311
Jun 13, 2025, 6:46 PM
commented on pull request GaloisInc/cryptol-specs#311
Jun 13, 2025, 4:52 PM
commented on pull request GaloisInc/cryptol-specs#311
Jun 13, 2025, 4:16 PM
commented on pull request GaloisInc/cryptol-specs#311
Jun 13, 2025, 4:35 PM
commented on pull request GaloisInc/cryptol-specs#311
Jun 13, 2025, 4:37 PM
reviewed a pull request in GaloisInc/cryptol-specs
Jun 13, 2025, 6:50 PM
reviewed a pull request in GaloisInc/cryptol-specs
Jun 13, 2025, 6:50 PM
deleted branch test/specs-caching at GaloisInc/cryptol-specs
Jun 11, 2025, 5:54 PM
commented on issue GaloisInc/cryptol-specs#312
Jun 11, 2025, 5:54 PM
closed a pull request in GaloisInc/cryptol-specs
Jun 11, 2025, 5:54 PM
opened a pull request in GaloisInc/cryptol-specs
Jun 11, 2025, 5:52 PM
created a branch test/specs-caching in GaloisInc/cryptol-specs
Jun 11, 2025, 5:51 PM
commented on issue GaloisInc/cryptol#1863
Jun 11, 2025, 2:11 PM
commented on pull request GaloisInc/curve25519-dalek#1
Jun 10, 2025, 4:28 PM
reviewed a pull request in GaloisInc/curve25519-dalek
Jun 10, 2025, 5:04 PM
commented on pull request GaloisInc/curve25519-dalek#1
Jun 10, 2025, 4:23 PM
closed an issue in GaloisInc/cryptol-specs
Jun 10, 2025, 4:53 PM
commented on pull request GaloisInc/curve25519-dalek#1
Jun 10, 2025, 4:24 PM