Raoul
Formal Verification Engineer @runtimeverification
Pull Requests
83
Code Reviews
62
Top Repositories
Activity Feed (latest 50)
created a branch raoul/workspace-urls in runtimeverification/simbolik-vscode
Jul 4, 2025, 10:02 AM
created a branch raoul/virtual-file-system in runtimeverification/simbolik-vscode
Jul 1, 2025, 1:32 PM
pushed to chapter-05-raoulschaffranek in ethcluj/Ethereum-for-Everyone-ETHCluj-2025-Book
Jun 27, 2025, 8:59 AM
created a branch raoul/buildbear-sourcify in runtimeverification/simbolik-vscode
Jun 26, 2025, 11:36 AM
opened an issue in runtimeverification/kaas-vscode
Jun 16, 2025, 1:34 PM
pushed to vscode-web in solarspace-dev/solarspace.dev
Jun 14, 2025, 1:48 PM
pushed to vscode-web in solarspace-dev/solarspace.dev
Jun 14, 2025, 1:46 PM
pushed to vscode-web in solarspace-dev/solarspace.dev
Jun 14, 2025, 11:51 AM
Description of `WatchEvent` isn't defined
Jun 13, 2025, 8:36 PM
pushed to main in solarspace-dev/vscode-web
Jun 13, 2025, 8:21 PM
merged a pull request in solarspace-dev/vscode-web
Jun 13, 2025, 8:21 PM
opened a pull request in solarspace-dev/vscode-web
Jun 13, 2025, 8:21 PM
commented on issue Felx-B/vscode-web#48
Jun 13, 2025, 8:20 PM
closed a pull request in Felx-B/vscode-web
Jun 13, 2025, 8:19 PM
opened a pull request in Felx-B/vscode-web
Jun 13, 2025, 8:18 PM
created a branch fix-version in solarspace-dev/vscode-web
Jun 13, 2025, 8:18 PM
opened a pull request in solarspace-dev/solarspace.dev
Jun 13, 2025, 8:11 PM
commented on issue runtimeverification/kaas-vscode#1
Jun 12, 2025, 9:51 PM
pushed to raoul/github-sync in runtimeverification/kaas-vscode
Jun 12, 2025, 9:44 PM
pushed to raoul/github-sync in runtimeverification/kaas-vscode
Jun 12, 2025, 9:21 PM
pushed to raoul/github-sync in runtimeverification/kaas-vscode
Jun 12, 2025, 9:19 PM
Description of `WatchEvent` isn't defined
Jun 11, 2025, 4:56 PM
opened a pull request in runtimeverification/kaas-vscode
Jun 11, 2025, 2:43 PM
pushed to master in solarspace-dev/solar-damn-vulnerable-defi
Jun 10, 2025, 8:56 AM
Description of `ForkEvent` isn't defined
Jun 10, 2025, 8:50 AM
pushed to main in solarspace-dev/solarspace.dev
Jun 9, 2025, 1:55 PM
merged a pull request in solarspace-dev/solarspace.dev
Jun 9, 2025, 1:55 PM
opened a pull request in solarspace-dev/solarspace.dev
Jun 9, 2025, 1:54 PM
pushed to styling in solarspace-dev/solarspace.dev
Jun 9, 2025, 1:54 PM
pushed to main in solarspace-dev/solarspace.dev
Jun 9, 2025, 1:23 PM
merged a pull request in solarspace-dev/solarspace.dev
Jun 9, 2025, 1:23 PM
opened a pull request in solarspace-dev/solarspace.dev
Jun 9, 2025, 1:23 PM
pushed to styling in solarspace-dev/solarspace.dev
Jun 9, 2025, 12:53 PM
pushed to main in solarspace-dev/solarspace.dev
Jun 9, 2025, 12:25 PM
merged a pull request in solarspace-dev/solarspace.dev
Jun 9, 2025, 12:25 PM
opened a pull request in solarspace-dev/solarspace.dev
Jun 9, 2025, 12:25 PM
created a branch styling in solarspace-dev/solarspace.dev
Jun 9, 2025, 12:23 PM
pushed to main in RaoulSchaffranek/solar-decipherclub-calldata
Jun 9, 2025, 10:25 AM
created a branch main in RaoulSchaffranek/solar-decipherclub-calldata
Jun 9, 2025, 10:11 AM
created a repository null in RaoulSchaffranek/solar-decipherclub-calldata
Jun 9, 2025, 10:10 AM
created a branch main in RaoulSchaffranek/solar-foundry
Jun 9, 2025, 9:25 AM
created a repository null in RaoulSchaffranek/solar-foundry
Jun 9, 2025, 9:25 AM
created a repository null in RaoulSchaffranek/solar-foundry
Jun 9, 2025, 9:09 AM
created a repository null in RaoulSchaffranek/solar-foundry
Jun 9, 2025, 9:00 AM
created a repository null in RaoulSchaffranek/solar-foundry
Jun 9, 2025, 8:54 AM
pushed to main in solarspace-dev/solarspace.dev
Jun 9, 2025, 8:32 AM
merged a pull request in solarspace-dev/solarspace.dev
Jun 9, 2025, 8:32 AM
opened a pull request in solarspace-dev/solarspace.dev
Jun 9, 2025, 8:31 AM
created a branch fix-snapshop-bug in solarspace-dev/solarspace.dev
Jun 9, 2025, 8:28 AM
created a branch main in RaoulSchaffranek/tmp
Jun 9, 2025, 8:20 AM