Automated Testing of Atomic Instructions (LR/SC) Implementations in Selfie

This release references the last commit involving the bachelor thesis titled "Automated Testing of Atomic Instructions (LR/SC) Implementations in Selfie" by Luis Thiele.

Linear-Time Static Analysis of RISC-V Binary Code

This release is referenced in the bachelor thesis titled "Linear-Time Static Analysis of RISC-V Binary Code" by Thomas Wulz.

RISC-U Binary Optimization for Selfie

Code release for "RISC-U Binary Optimization for Selfie" bachelor's thesis by David Pape.

RISC-V Bare-Metal Library Operating System for Selfie

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.

RISC-V S-Mode-Hosted Bare-Metal Selfie

This release is referenced in the bachelor thesis titled "RISC-V S-Mode-Hosted Bare-Metal Selfie" by Martin Fischer.

Conservative Garbage Collection in Kernel and Mutator Space

This release is referenced in the bachelor thesis titled "Conservative Garbage Collection in Kernel and Mutator Space" by Gregor Bachinger.

Generating Path Conditions for Bounded Model Checking of RISC-V Code in Selfie

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.

Implementation and Application of a Parser for Boolector's Witness Format

This release is referenced in the bachelor thesis titled "Implementation and Application of a Parser for Boolector's Witness Format" by Christoph Swiller.

Hybrid Symbolic Execution and Bounded Model Checking Engine

This release is referenced in the bachelor thesis titled "A Hybrid Symbolic Execution and Bounded Model Checking Engine in Selfie" by Christian Edelmayer.

RISC-V to x86-64 Binary Translation

This release is referenced in the bachelor thesis titled "Selfie - RISC-V to x86-64 Binary Translation" by Alexander Kollert.