Pull Requests
3,671
Code Reviews
18
Top Repositories
Activity Feed (latest 50)
pushed to jh/sym-write-mem in runtimeverification/riscv-semantics
Jun 23, 2025, 2:40 PM
pushed to _update-deps/runtimeverification/riscv-semantics in runtimeverification/zkevm-harness
Jun 23, 2025, 12:58 PM
opened a pull request in runtimeverification/zkevm-harness
Jun 23, 2025, 12:58 PM
created a branch _update-deps/runtimeverification/riscv-semantics in runtimeverification/zkevm-harness
Jun 23, 2025, 12:58 PM
pushed to _update-deps/runtimeverification/evm-semantics in runtimeverification/kontrol
Jun 23, 2025, 12:26 PM
pushed to gh-pages in runtimeverification/k
Jun 23, 2025, 8:34 AM
pushed to _update-deps/runtimeverification/k in runtimeverification/mir-semantics
Jun 23, 2025, 8:28 AM
pushed to _update-deps/runtimeverification/k in runtimeverification/riscv-semantics
Jun 23, 2025, 8:28 AM
pushed to _update-deps/runtimeverification/k in runtimeverification/imp-semantics
Jun 23, 2025, 8:28 AM
opened a pull request in runtimeverification/haskell-backend
Jun 23, 2025, 8:27 AM
created a branch _update-deps/runtimeverification/k in runtimeverification/haskell-backend
Jun 23, 2025, 8:27 AM
pushed to _update-deps/runtimeverification/k in runtimeverification/evm-semantics
Jun 23, 2025, 8:27 AM
opened a pull request in runtimeverification/mir-semantics
Jun 23, 2025, 8:27 AM
pushed to _update-deps/runtimeverification/k in runtimeverification/wasm-semantics
Jun 23, 2025, 8:27 AM
created a branch _update-deps/runtimeverification/k in runtimeverification/mir-semantics
Jun 23, 2025, 8:27 AM
pushed to _update-deps/runtimeverification/k in runtimeverification/blockchain-k-plugin
Jun 23, 2025, 8:27 AM
pushed to _update-deps/runtimeverification/k in runtimeverification/pl-tutorial
Jun 23, 2025, 8:27 AM
pushed to _update-deps/runtimeverification/k in runtimeverification/imp-semantics
Jun 23, 2025, 8:27 AM
pushed to _update-deps/runtimeverification/k in runtimeverification/riscv-semantics
Jun 23, 2025, 8:27 AM
pushed to jh/move-end in runtimeverification/riscv-semantics
Jun 23, 2025, 8:18 AM
pushed to master in runtimeverification/homebrew-k
Jun 23, 2025, 8:07 AM
Description of `ReleaseEvent` isn't defined
Jun 23, 2025, 7:29 AM
created a tag v7.1.271 in runtimeverification/k
Jun 23, 2025, 7:29 AM
pushed to master in runtimeverification/k
Jun 23, 2025, 7:28 AM
pushed to _update-deps/runtimeverification/mir-semantics in runtimeverification/kompass
Jun 23, 2025, 12:21 AM
pushed to _update-deps/runtimeverification/mir-semantics in runtimeverification/kompass
Jun 23, 2025, 12:21 AM
created a tag release-0.4.10 in runtimeverification/mir-semantics
Jun 23, 2025, 12:15 AM
pushed to release in runtimeverification/mir-semantics
Jun 23, 2025, 12:15 AM
pushed to _update-deps/runtimeverification/haskell-backend in runtimeverification/k
Jun 21, 2025, 2:29 AM
pushed to _update-deps/runtimeverification/haskell-backend in runtimeverification/k
Jun 21, 2025, 2:27 AM
pushed to release in runtimeverification/haskell-backend
Jun 21, 2025, 2:09 AM
created a tag release-0.1.131 in runtimeverification/haskell-backend
Jun 21, 2025, 2:09 AM
created a tag release-1.0.164 in runtimeverification/kontrol
Jun 20, 2025, 5:43 PM
pushed to release in runtimeverification/kontrol
Jun 20, 2025, 5:43 PM
pushed to _update-deps/runtimeverification/k in runtimeverification/riscv-semantics
Jun 20, 2025, 3:04 PM
pushed to _update-deps/runtimeverification/k in runtimeverification/riscv-semantics
Jun 20, 2025, 3:03 PM
pushed to _update-deps/runtimeverification/riscv-semantics in runtimeverification/zkevm-harness
Jun 20, 2025, 1:12 PM
pushed to _update-deps/runtimeverification/riscv-semantics in runtimeverification/zkevm-harness
Jun 20, 2025, 1:11 PM
pushed to _update-deps/runtimeverification/mir-semantics in runtimeverification/kompass
Jun 20, 2025, 1:03 PM
pushed to _update-deps/runtimeverification/mir-semantics in runtimeverification/kompass
Jun 20, 2025, 1:02 PM
pushed to _update-deps/runtimeverification/mir-semantics in runtimeverification/kompass
Jun 20, 2025, 1:02 PM
pushed to release in runtimeverification/mir-semantics
Jun 20, 2025, 12:56 PM
created a tag release-0.4.9 in runtimeverification/mir-semantics
Jun 20, 2025, 12:56 PM
pushed to jh/divu in runtimeverification/riscv-semantics
Jun 20, 2025, 12:56 PM
pushed to _update-deps/runtimeverification/k in runtimeverification/mir-semantics
Jun 20, 2025, 12:35 PM
pushed to _update-deps/runtimeverification/riscv-semantics in runtimeverification/zkevm-harness
Jun 20, 2025, 12:31 PM
opened a pull request in runtimeverification/zkevm-harness
Jun 20, 2025, 12:30 PM
created a branch _update-deps/runtimeverification/riscv-semantics in runtimeverification/zkevm-harness
Jun 20, 2025, 12:30 PM
pushed to gh-pages in runtimeverification/k
Jun 20, 2025, 12:12 PM
pushed to _update-deps/runtimeverification/k in runtimeverification/riscv-semantics
Jun 20, 2025, 12:05 PM