open-s4c / vsyncer
Verification and optimization tool for concurrent code
☆15Updated 2 weeks ago
Related projects: ⓘ
- A verified library of synchronization primitives and concurrent data structures☆17Updated 2 weeks ago
- Generic model checker for concurrent C programs (mirror repository)☆104Updated last week
- ALLVM Tools☆55Updated 2 years ago
- rmem public repo☆40Updated last month
- ☆8Updated last month
- A translation validation framework for MLIR☆71Updated last year
- Semantic model for aspects of ELF static linking and DWARF debug information☆42Updated last year
- ☆30Updated 2 years ago
- Rust RISC-V Virtual Machine☆84Updated last year
- ☆44Updated 2 years ago
- Sail version of Arm ISA definition, currently for Armv9.3-A, and with the previous Sail Armv8.5-A model☆70Updated 3 weeks ago
- ☆31Updated 2 years ago
- Compiling finite generators to digital logic. WIP☆14Updated 4 years ago
- A formalization of the RVWMO (RISC-V) memory model☆30Updated 2 years ago
- A verification tool for many memory models☆74Updated this week
- Verification of BPF JIT compilers☆54Updated last year
- A (concrete or symbolic) implementation of IEEE-754 / SMT-LIB floating-point☆38Updated 2 years ago
- ☆15Updated last year
- What if everything is a io_uring?☆15Updated last year
- QEMU with support for CHERI☆52Updated 2 weeks ago
- outline and links for PLDI 2022 tutorial☆17Updated 2 years ago
- Example implementation of Arm's Architecture Specification Language (ASL)☆107Updated 5 years ago
- LFI: Practical, Efficient, and Secure Software-based Sandboxing☆38Updated this week
- InstLatX64_Demo☆41Updated last month
- Microbenchmarks for x86_64 kernel entry methods☆18Updated 2 years ago
- Booting multi-processors on x86 bare-metal.☆11Updated 2 years ago
- Symbolic execution tool for Sail ISA specifications☆62Updated this week
- Tutorial for LLVM Dev Conference 2019.☆14Updated 4 years ago
- ☆26Updated last year
- Example implementation of Arm's Architecture Specification Language (ASL)☆34Updated 2 years ago