Pinned Repositories
cerberus
Cerberus C semantics
isla
Symbolic execution tool for Sail ISA specifications
islaris
isla coq infrastructure
lem
Lem semantic definition language
linksem
Semantic model for aspects of ELF static linking and DWARF debug information
netsem
Network Semantics
reviewing-good-and-bad-reasons
rmem
rmem public repo
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
REMS's Repositories
rems-project/netsem
Network Semantics
rems-project/linksem
Semantic model for aspects of ELF static linking and DWARF debug information
rems-project/reviewing-good-and-bad-reasons
rems-project/extract
extract tool
rems-project/mra_tools
Tools to process ARM's Machine Readable Architecture Specification
rems-project/read-dwarf
Binary analysis tool
rems-project/sail-x86-from-acl2
Sail x86 model automatically translated from the ACL2 model
rems-project/armv8a-address-translation
ARMv8-A Address Translation: Isabelle Proof Scripts
rems-project/minisail
A core language for Sail
rems-project/c-verif-mark
rems-project/riscv_config2sail
Program to convert RISC-V yaml config to Sail
rems-project/armv8a-address-translation-coq
Port of Isabelle address translation proof (WIP)
rems-project/CN-pKVM-early-allocator-case-study
CN pKVM early allocator case study
rems-project/asl-interpreter
Example implementation of Arm's Architecture Specification Language (ASL)
rems-project/sail-riscv-test-generation
RISC-V random instruction generator based on the Sail model
rems-project/stdpp_MC
iris's stdpp modified
rems-project/linux-pkvm-verif
copy of upstream https://android-kvm.googlesource.com/linux for pKVM verification
rems-project/opam-repository
REMS Project package repository for OPAM
rems-project/riscv-isa-manual
RISC-V Instruction Set Manual
rems-project/cn-lsp-client
LSP client for CN type system
rems-project/cn-lsp-server
LSP Server for C using CN
rems-project/herdtools7-litmus-translator
The Herd toolsuite to deal with .cat memory models (version 7.xx)
rems-project/linux-pkvm-verif-kcov
rems-project/morello-esr-decode
Quick hack to decode Morello Exception Syndrome Registers
rems-project/morello-generated-tests