bblum / landslide-simics
the landslide codebase (old simics version)
☆11Updated 6 years ago
Alternatives and similar repositories for landslide-simics:
Users that are interested in landslide-simics are comparing it to the libraries listed below
- C3-Simulator is a Simics-based functional simulator for the X86 C3 processor, including library and kernel support for pointer and data e…☆18Updated last month
- ☆19Updated 10 years ago
- Enable user-mode access to ARMv7/Linux performance counters☆42Updated 8 years ago
- sel4 benchmarking applications and support library.☆20Updated last month
- ☆16Updated 5 years ago
- memTrace, a framework for lightweight memory tracing☆58Updated 5 years ago
- Used to build Fedora/RISC-V stage4 disk images☆9Updated 7 years ago
- Port of linux kernel jump labels to userspace. Uses GCC goto asm extension.☆18Updated 10 years ago
- jSMTLIB is an open source implementation of SMT-LIB in Java, as a command-line tool, an Eclipse plugin, and an API, with interfaces to ma…☆26Updated 2 years ago
- A set of tools for visualizing and inspecting LLVM bitcode modules☆31Updated 10 years ago
- L3 based MIPS specification and emulator☆15Updated 3 years ago
- PTLsim and QEMU based Computer Architecture Research Simulator☆128Updated 3 years ago
- An executable specification of the RISCV ISA in L3.☆42Updated 6 years ago
- Rigorous Floating-Point Mixed-Precision Tuner☆14Updated 4 years ago
- DragonEgg has been migrated to GCC 8 and LLVM 6 but also able to work for GCC 4.8 and LLVM 3.3☆19Updated 5 years ago
- dthreads: Efficient Deterministic Multithreading☆51Updated 10 years ago
- Kernel coredump file access☆27Updated 3 months ago
- No-assurance libraries for rapid-prototyping of seL4 apps.☆53Updated 3 weeks ago
- DWARF explorer☆14Updated 9 years ago
- This repo contains the artifact for our SOSP'19 paper on Serval☆30Updated 5 years ago
- PipeProof☆11Updated 5 years ago
- ☆31Updated 6 years ago
- CheriOS -- a minimal microkernel that demonstrates "clean-slate" CHERI memory protection and object capabilities☆40Updated 2 years ago
- Automatically generated litmus tests for validation LISA-language Linux-kernel memory models☆24Updated 3 months ago
- A false sharing detection and repair tool☆14Updated 5 years ago
- Nidhugg is a bug-finding tool which targets bugs caused by concurrency and relaxed memory consistency in concurrent programs. It is parti…☆81Updated 4 months ago
- Memory Bandwidth Reservation System for Efficient Performance Isolation in Multi-core Processors☆51Updated 3 months ago
- A fork of cscope from sourceforge with assignment searches added, with enhancements to support pycscope☆23Updated 13 years ago
- Easy the setup and startup of the IBM POWER Functional Simulator. It automatizes all the required procedures like dependencies installati…☆22Updated 7 years ago
- Scripts for Installation and Execution of SPEC CPU 2006 on Ubuntu Xenial (16.04) and Bionic (18.04)☆9Updated 5 years ago