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/sail
Sail architecture definition language
rems-project/lem
Lem semantic definition language
rems-project/sail-arm
Sail version of Arm ISA definition, currently for Armv9.3-A, and with the previous Sail Armv8.5-A model
rems-project/isla
Symbolic execution tool for Sail ISA specifications
rems-project/cerberus
Cerberus C semantics
rems-project/rmem
rmem public repo
rems-project/islaris
isla coq infrastructure
rems-project/cn-tutorial
rems-project/asl_to_sail
ASL to Sail translation tool
rems-project/isla-snapshots
Compiled Sail ISA snapshots for the Isla symbolic execution tool
rems-project/c-tree-carver
Tree-carve C source tree given a root file/functions
rems-project/cn-pKVM-buddy-allocator-case-study
rems-project/coq-sail
Coq support library for Sail instruction set models
rems-project/isla-testgen
ISA automatic test generator using the isla symbolic execution tool
rems-project/coq-cheri-capabilities
This repository contains an abstract implementation in Coq of CHERI capabilities, and a concrete implementation for Arm Morello.
rems-project/isla-lang
Isla-lang is an ocaml parser (and pretty printer) for isla instruction trace syntax
rems-project/isla-sail-riscv
Adaption of the RISC-V Sail model for Isla
rems-project/linux
Linux fork used in the REMS project. Mostly working of pKVM developement at: https://android-kvm.googlesource.com/linux/
rems-project/pkvm-proxy-ocaml
Ocaml library to talk to pKVM-proxy, and tests written on top of it
rems-project/pkvm-tester
Test scaffolding for pKVM
rems-project/system-litmus-harness
test harness for systems-concurrency litmus tests, as a QEMU guest
rems-project/cheribsd-ports
FreeBSD ports tree adapted for CheriBSD.
rems-project/cheribuild
Easily build and run CHERI related projects
rems-project/CN2Islaris
rems-project/keystone-ocaml
Ocaml bindings to the Keystone Engine assembler
rems-project/linux-pkvm-sliced
rems-project/linux-tests
Small user-mode test programs for linux and pKVM. Fork of https://android-kvm.googlesource.com/misc/
rems-project/llvm-project
This is the fork of CHERI LLVM for CHERI-related Clang Static Analyzer development.
rems-project/system-semantics-arm-axiomatic-models
Isla-compatible systems-level tests
rems-project/tree-sitter-core
tree-sitter grammar for Cerberus Core language