Pinned Repositories
sail-cheri-riscv
CHERI-RISC-V model written in Sail
hol-c
A proof-of-concept LCF-style interactive theorem prover for HOL(C)
martinberger.github.io
n-queens-with-lines
A toy repo to demonstrate to students the use of GitHub actions
paresy
Artifacts for the PLDI 2023 paper "Search-Based Regular Expression Inference on a GPU"
sail
Sail architecture definition language
sail-arm
Sail version of Arm ISA definition, currently for Armv9.3-A, and with the previous Sail Armv8.5-A model
riscv-debug-spec
Working Draft of the RISC-V Debug Specification Standard
sail-riscv
Sail RISC-V model
rars
RARS -- RISC-V Assembler and Runtime Simulator
martinberger's Repositories
martinberger/hol-c
A proof-of-concept LCF-style interactive theorem prover for HOL(C)
martinberger/n-queens-with-lines
A toy repo to demonstrate to students the use of GitHub actions
martinberger/martinberger.github.io