Pinned Repositories
bare-metal-aarch64
Fiddling with aarch64 exception levels on a Raspberry Pi 3.
cpython
The Python programming language
csbot
An IRC bot and plugin system for the #cs-york channel on irc.freenode.net
cz_generic
dotfiles
My personal dotfiles - be careful!
isla
Symbolic execution tool for Sail ISA specifications
kvm-unit-tests
speccer
Property-based testing in Python
bensimner's Repositories
bensimner/speccer
Property-based testing in Python
bensimner/bare-metal-aarch64
Fiddling with aarch64 exception levels on a Raspberry Pi 3.
bensimner/cpython
The Python programming language
bensimner/csbot
An IRC bot and plugin system for the #cs-york channel on irc.freenode.net
bensimner/cz_generic
bensimner/dotfiles
My personal dotfiles - be careful!
bensimner/isla
Symbolic execution tool for Sail ISA specifications
bensimner/kvm-unit-tests
bensimner/rmem
rmem public repo
bensimner/rufous
Rufous!
bensimner/starling-tool
An automatic verifier for concurrent algorithms.
bensimner/leancheck
cholesterol-free property-based testing for Haskell
bensimner/list-tree
Python command-line utility to list files like 'ls' but in a tree format.
bensimner/litmus_example
SB.litmus as generated by litmus7
bensimner/pkvm-tester
Test scaffolding for pKVM
bensimner/qemu-litmus
bensimner/rattle
bensimner/rems-ifetch-harness
rems project stuff
bensimner/sail-arm
Sail version of ARM ISA definition, currently for ARMv8.5-A
bensimner/system-litmus-harness
test harness for systems-concurrency litmus tests, as a QEMU guest
bensimner/systems-isla-tests
Isla-compatible systems-level tests