Pull Requests
503
Code Reviews
562
Top Repositories
Activity Feed (latest 50)
created a tag v0.3.0 in a16z/halmos
Jun 20, 2025, 8:47 PM
Description of `ReleaseEvent` isn't defined
Jun 20, 2025, 8:47 PM
deleted branch feat/save-timeout-queries at a16z/halmos
Jun 20, 2025, 8:12 PM
pushed to main in a16z/halmos
Jun 20, 2025, 8:12 PM
merged a pull request in a16z/halmos
Jun 20, 2025, 8:12 PM
commented on pull request a16z/halmos#552
Jun 20, 2025, 8:10 PM
reviewed a pull request in a16z/halmos
Jun 20, 2025, 8:10 PM
commented on pull request a16z/halmos#552
Jun 20, 2025, 8:06 PM
reviewed a pull request in a16z/halmos
Jun 20, 2025, 8:06 PM
pushed to feat/save-timeout-queries in a16z/halmos
Jun 20, 2025, 8:04 PM
pushed to feat/save-timeout-queries in a16z/halmos
Jun 20, 2025, 2:59 AM
opened a pull request in a16z/halmos
Jun 20, 2025, 2:15 AM
pushed to feat/save-timeout-queries in a16z/halmos
Jun 20, 2025, 2:08 AM
created a branch feat/save-timeout-queries in a16z/halmos
Jun 20, 2025, 2:07 AM
reviewed a pull request in a16z/halmos
Jun 20, 2025, 12:02 AM
deleted branch docs/readme-invariants at a16z/halmos
Jun 19, 2025, 9:47 PM
pushed to main in a16z/halmos
Jun 19, 2025, 9:47 PM
merged a pull request in a16z/halmos
Jun 19, 2025, 9:47 PM
pushed to docs/readme-invariants in a16z/halmos
Jun 19, 2025, 9:46 PM
commented on issue a16z/halmos#546
Jun 19, 2025, 9:39 PM
pushed to docs/readme-invariants in a16z/halmos
Jun 19, 2025, 9:37 PM
pushed to docs/readme-invariants in a16z/halmos
Jun 19, 2025, 8:45 PM
pushed to docs/readme-invariants in a16z/halmos
Jun 19, 2025, 8:44 PM
opened a pull request in a16z/halmos
Jun 19, 2025, 8:39 PM
pushed to docs/readme-invariants in a16z/halmos
Jun 19, 2025, 8:39 PM
pushed to docs/readme-invariants in a16z/halmos
Jun 19, 2025, 8:34 PM
created a branch docs/readme-invariants in a16z/halmos
Jun 19, 2025, 8:22 PM
Description of `WatchEvent` isn't defined
Jun 19, 2025, 6:41 PM
deleted branch docs/invariant-test-examples at a16z/halmos
Jun 18, 2025, 8:50 PM
pushed to main in a16z/halmos
Jun 18, 2025, 8:50 PM
merged a pull request in a16z/halmos
Jun 18, 2025, 8:50 PM
pushed to docs/invariant-test-examples in a16z/halmos
Jun 18, 2025, 8:31 PM
reviewed a pull request in a16z/halmos
Jun 18, 2025, 2:51 AM
commented on pull request a16z/halmos#548
Jun 18, 2025, 2:51 AM
pushed to docs/invariant-test-examples in a16z/halmos
Jun 18, 2025, 2:49 AM
pushed to docs/invariant-test-examples in a16z/halmos
Jun 18, 2025, 2:42 AM
reviewed a pull request in a16z/halmos
Jun 18, 2025, 2:13 AM
commented on pull request a16z/halmos#548
Jun 18, 2025, 2:13 AM
reviewed a pull request in a16z/halmos
Jun 18, 2025, 2:10 AM
commented on pull request a16z/halmos#548
Jun 18, 2025, 2:10 AM
commented on pull request a16z/halmos#548
Jun 18, 2025, 2:08 AM
reviewed a pull request in a16z/halmos
Jun 18, 2025, 2:08 AM
pushed to docs/invariant-test-examples in a16z/halmos
Jun 18, 2025, 1:51 AM
pushed to docs/invariant-test-examples in a16z/halmos
Jun 18, 2025, 12:59 AM
opened a pull request in a16z/halmos
Jun 17, 2025, 11:01 PM
pushed to docs/invariant-test-examples in a16z/halmos
Jun 17, 2025, 11:01 PM
created a branch docs/invariant-test-examples in a16z/halmos
Jun 17, 2025, 10:55 PM
deleted branch fix/ci-timeout at a16z/halmos
Jun 17, 2025, 7:32 PM
pushed to main in a16z/halmos
Jun 17, 2025, 7:32 PM
merged a pull request in a16z/halmos
Jun 17, 2025, 7:32 PM