Pull Requests
193
Code Reviews
355
Top Repositories
Activity Feed (latest 50)
Description of `MemberEvent` isn't defined
Jul 1, 2025, 11:40 AM
deleted branch rsoeldner/fix-tc at kadena-io/pact-5
Jun 17, 2025, 3:36 PM
pushed to master in kadena-io/pact-5
Jun 17, 2025, 3:36 PM
merged a pull request in kadena-io/pact-5
Jun 17, 2025, 3:36 PM
pushed to rsoeldner/fix-tc in kadena-io/pact-5
Jun 17, 2025, 2:58 PM
opened a pull request in kadena-io/pact-5
Jun 17, 2025, 1:35 PM
created a branch rsoeldner/fix-tc in kadena-io/pact-5
Jun 17, 2025, 1:35 PM
pushed to rs in rsoeldner/smart-contracts
Jun 17, 2025, 1:04 PM
reviewed a pull request in Kadena-ISS/smart-contracts
Jun 17, 2025, 1:01 PM
commented on pull request Kadena-ISS/smart-contracts#11
Jun 17, 2025, 1:01 PM
pushed to rs in rsoeldner/smart-contracts
Jun 17, 2025, 1:01 PM
pushed to rs in rsoeldner/smart-contracts
Jun 17, 2025, 12:53 PM
pushed to rs in rsoeldner/smart-contracts
Jun 17, 2025, 12:47 PM
pushed to rs in rsoeldner/smart-contracts
Jun 17, 2025, 12:39 PM
opened a pull request in Kadena-ISS/smart-contracts
Jun 17, 2025, 12:08 PM
created a branch rs in rsoeldner/smart-contracts
Jun 17, 2025, 12:06 PM
Description of `ForkEvent` isn't defined
Jun 17, 2025, 5:58 AM
opened an issue in HOL-Theorem-Prover/hol4-vscode
Jun 16, 2025, 1:12 PM
commented on issue verifereum/verifereum#60
Jun 16, 2025, 8:17 AM
closed a pull request in verifereum/verifereum
Jun 16, 2025, 8:17 AM
reviewed a pull request in kadena-io/pact-5
Jun 12, 2025, 7:02 PM
opened a pull request in HOL-Theorem-Prover/hol4-vscode
Jun 12, 2025, 6:21 PM
pushed to main in rsoeldner/hol4-vscode
Jun 12, 2025, 6:20 PM
Description of `ForkEvent` isn't defined
Jun 12, 2025, 6:20 PM
commented on pull request kadena-docs/kadena-docs#135
Jun 12, 2025, 5:27 PM
reviewed a pull request in kadena-docs/kadena-docs
Jun 12, 2025, 5:27 PM
pushed to main in rsoeldner/mdbook-hol4
Jun 11, 2025, 8:35 PM
created a branch main in rsoeldner/mdbook-hol4
Jun 11, 2025, 8:34 PM
created a repository null in rsoeldner/mdbook-hol4
Jun 11, 2025, 8:33 PM
commented on pull request HOL-Theorem-Prover/HOL#1520
Jun 11, 2025, 7:11 PM
reviewed a pull request in HOL-Theorem-Prover/HOL
Jun 11, 2025, 7:11 PM
pushed to rename-set_parents in rsoeldner/HOL
Jun 11, 2025, 7:11 PM
pushed to rename-set_parents in rsoeldner/HOL
Jun 10, 2025, 5:34 PM
created a branch rename-set_parents in rsoeldner/HOL
Jun 10, 2025, 5:22 PM
opened a pull request in HOL-Theorem-Prover/HOL
Jun 10, 2025, 5:13 PM
pushed to gh-action in verifereum/verifereum
Jun 8, 2025, 8:13 PM
pushed to gh-action in verifereum/verifereum
Jun 8, 2025, 7:26 PM
pushed to gh-action in rsoeldner/verifereum
Jun 8, 2025, 6:55 PM
pushed to gh-action in rsoeldner/verifereum
Jun 8, 2025, 6:50 PM
pushed to gh-action in rsoeldner/verifereum
Jun 8, 2025, 6:37 PM
pushed to gh-action in rsoeldner/verifereum
Jun 8, 2025, 6:19 PM
pushed to gh-action in rsoeldner/verifereum
Jun 8, 2025, 5:57 PM
pushed to gh-action in rsoeldner/verifereum
Jun 8, 2025, 5:52 PM
pushed to gh-action in rsoeldner/verifereum
Jun 8, 2025, 5:46 PM
created a branch gh-action in rsoeldner/verifereum
Jun 8, 2025, 5:34 PM
pushed to bls12381 in rsoeldner/verifereum
Jun 8, 2025, 11:07 AM
pushed to bls12381 in rsoeldner/verifereum
Jun 6, 2025, 8:05 PM
pushed to rsoeldner/sp1-verifier in kadena-io/chainweb-node
Jun 6, 2025, 11:16 AM
pushed to rsoeldner/sp1-verifier in kadena-io/chainweb-node
Jun 6, 2025, 11:12 AM
pushed to rsoeldner/sp1-verifier in kadena-io/chainweb-node
Jun 6, 2025, 11:08 AM