An educational software system of a tiny self-compiling C compiler, a tiny self-executing RISC-V emulator, and a tiny self-hosting RISC-V hypervisor.
This release references the last commit involving the bachelor thesis titled "Automated Testing of Atomic Instructions (LR/SC) Implementations in Selfie" by Luis Thiele.
Code release for "RISC-U Binary Optimization for Selfie" bachelor's thesis by David Pape.
This release is referenced in the bachelor thesis titled "Linear-Time Static Analysis of RISC-V Binary Code" by Thomas Wulz.
This release references the commit that the bachelor's thesis "RISC-V Bare-Metal Library Operating System for Selfie" by Marcell Haritopoulos has been based on.
This release is referenced in the bachelor thesis titled "RISC-V S-Mode-Hosted Bare-Metal Selfie" by Martin Fischer.
This release is referenced in the bachelor thesis titled "Conservative Garbage Collection in Kernel and Mutator Space" by Gregor Bachinger.
This release is referenced in the bachelor thesis titled "Generating Path Conditions for Bounded Model Checking of RISC-V Code in Selfie" by Sebastian Landl.
This release is referenced in the bachelor thesis titled "Implementation and Application of a Parser for Boolector's Witness Format" by Christoph Swiller.
This release is referenced in the bachelor thesis titled "Selfie - RISC-V to x86-64 Binary Translation" by Alexander Kollert.
This release is referenced in the bachelor thesis titled "A Hybrid Symbolic Execution and Bounded Model Checking Engine in Selfie" by Christian Edelmayer.