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/linksem
Semantic model for aspects of ELF static linking and DWARF debug information
rems-project/rmem
rmem public repo
rems-project/islaris
isla coq infrastructure
rems-project/cn-tutorial
rems-project/sail-x86-from-acl2
Sail x86 model automatically translated from the ACL2 model
rems-project/asl_to_sail
ASL to Sail translation tool
rems-project/archsem
rems-project/isla-snapshots
Compiled Sail ISA snapshots for the Isla symbolic execution tool
rems-project/casemate
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/coq-cheri-capabilities
This repository contains an abstract implementation in Coq of CHERI capabilities, and a concrete implementation for Arm Morello.
rems-project/sail-tiny-arm
rems-project/isla-lang
Isla-lang is an ocaml parser (and pretty printer) for isla instruction trace syntax
rems-project/linux
Linux fork used in the REMS project. Mostly working off pKVM development at: https://android-kvm.googlesource.com/linux/
rems-project/linux-tools
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/system-semantics-arm-axiomatic-models
Isla-compatible systems-level tests
rems-project/tree-sitter-core
tree-sitter grammar for Cerberus Core language
rems-project/cheribsd-ports
FreeBSD ports tree adapted for CheriBSD.
rems-project/cheribuild
Easily build and run CHERI related projects
rems-project/llvm-project
This is the fork of CHERI LLVM for CHERI-related Clang Static Analyzer development.