Pull Requests
3,666
Code Reviews
18
Top Repositories
Activity Feed (latest 50)
pushed to _update-deps/runtimeverification/llvm-backend in runtimeverification/k
Jun 19, 2025, 12:19 PM
pushed to master in runtimeverification/homebrew-k
Jun 19, 2025, 12:18 PM
opened a pull request in runtimeverification/k
Jun 19, 2025, 12:17 PM
created a branch _update-deps/runtimeverification/llvm-backend in runtimeverification/k
Jun 19, 2025, 12:17 PM
pushed to master in runtimeverification/llvm-backend
Jun 19, 2025, 12:02 PM
Description of `ReleaseEvent` isn't defined
Jun 19, 2025, 11:43 AM
created a tag v7.1.269 in runtimeverification/k
Jun 19, 2025, 11:43 AM
pushed to master in runtimeverification/k
Jun 19, 2025, 11:43 AM
pushed to _update-deps/runtimeverification/riscv-semantics in runtimeverification/zkevm-harness
Jun 19, 2025, 9:03 AM
pushed to _update-deps/runtimeverification/riscv-semantics in runtimeverification/zkevm-harness
Jun 19, 2025, 9:02 AM
pushed to jh/rhs-0 in runtimeverification/riscv-semantics
Jun 19, 2025, 8:46 AM
pushed to usage-docs-and-dockerfile in runtimeverification/kompass
Jun 19, 2025, 4:42 AM
created a tag release-0.4.8 in runtimeverification/mir-semantics
Jun 18, 2025, 11:55 PM
pushed to release in runtimeverification/mir-semantics
Jun 18, 2025, 11:55 PM
pushed to jh/substr-int2bytes in runtimeverification/riscv-semantics
Jun 18, 2025, 3:39 PM
pushed to jh/rhs-0 in runtimeverification/riscv-semantics
Jun 18, 2025, 11:56 AM
pushed to _update-deps/runtimeverification/riscv-semantics in runtimeverification/zkevm-harness
Jun 18, 2025, 10:46 AM
pushed to _update-deps/runtimeverification/riscv-semantics in runtimeverification/zkevm-harness
Jun 18, 2025, 10:45 AM
pushed to _update-deps/runtimeverification/evm-semantics in runtimeverification/kontrol
Jun 18, 2025, 7:16 AM
pushed to _update-deps/runtimeverification/evm-semantics in runtimeverification/kontrol
Jun 18, 2025, 7:12 AM
created a tag release-1.0.847 in runtimeverification/evm-semantics
Jun 18, 2025, 7:02 AM
pushed to release in runtimeverification/evm-semantics
Jun 18, 2025, 7:02 AM
pushed to jh/go-0617 in runtimeverification/riscv-semantics
Jun 18, 2025, 1:29 AM
pushed to _update-deps/runtimeverification/blockchain-k-plugin in runtimeverification/evm-semantics
Jun 17, 2025, 1:47 PM
pushed to _update-deps/runtimeverification/riscv-semantics in runtimeverification/zkevm-harness
Jun 17, 2025, 8:11 AM
opened a pull request in runtimeverification/zkevm-harness
Jun 17, 2025, 8:10 AM
created a branch _update-deps/runtimeverification/riscv-semantics in runtimeverification/zkevm-harness
Jun 17, 2025, 8:10 AM
pushed to jh/fix-bytes-int in runtimeverification/riscv-semantics
Jun 17, 2025, 7:24 AM
pushed to _update-deps/runtimeverification/mir-semantics in runtimeverification/kompass
Jun 17, 2025, 5:53 AM
created a tag release-0.4.7 in runtimeverification/mir-semantics
Jun 17, 2025, 5:46 AM
pushed to release in runtimeverification/mir-semantics
Jun 17, 2025, 5:46 AM
pushed to _update-deps/runtimeverification/haskell-backend in runtimeverification/k
Jun 17, 2025, 1:12 AM
opened a pull request in runtimeverification/k
Jun 17, 2025, 1:11 AM
created a branch _update-deps/runtimeverification/haskell-backend in runtimeverification/k
Jun 17, 2025, 1:11 AM
created a tag release-0.1.130 in runtimeverification/haskell-backend
Jun 17, 2025, 12:52 AM
pushed to release in runtimeverification/haskell-backend
Jun 17, 2025, 12:52 AM
pushed to _update-deps/runtimeverification/mir-semantics in runtimeverification/kompass
Jun 17, 2025, 12:49 AM
pushed to _update-deps/runtimeverification/mir-semantics in runtimeverification/kompass
Jun 17, 2025, 12:48 AM
created a tag release-0.4.6 in runtimeverification/mir-semantics
Jun 17, 2025, 12:41 AM
pushed to release in runtimeverification/mir-semantics
Jun 17, 2025, 12:41 AM
pushed to deps/update-vscode in runtimeverification/kaas-vscode
Jun 16, 2025, 8:02 PM
pushed to _update-deps/runtimeverification/evm-semantics in runtimeverification/kontrol
Jun 16, 2025, 6:15 PM
pushed to _update-deps/runtimeverification/evm-semantics in runtimeverification/kontrol
Jun 16, 2025, 6:12 PM
created a tag release-1.0.846 in runtimeverification/evm-semantics
Jun 16, 2025, 6:02 PM
pushed to release in runtimeverification/evm-semantics
Jun 16, 2025, 6:02 PM
pushed to _update-deps/runtimeverification/wasm-semantics in runtimeverification/komet
Jun 16, 2025, 5:28 PM
pushed to _update-deps/runtimeverification/wasm-semantics in runtimeverification/komet
Jun 16, 2025, 5:27 PM
pushed to _update-deps/runtimeverification/k in runtimeverification/mir-semantics
Jun 16, 2025, 5:02 PM
pushed to _update-deps/runtimeverification/k in runtimeverification/evm-semantics
Jun 16, 2025, 4:57 PM
pushed to _update-deps/runtimeverification/k in runtimeverification/wasm-semantics
Jun 16, 2025, 4:56 PM