No description
Find a file
2026-04-07 10:51:14 +02:00
.nix/overlay Update flake to include required libs for building weakmemory/imm 2025-12-14 12:31:37 +01:00
CompCert@a4ad87b178
compcert-mt@b3b4f03a0c wip 2026-04-07 10:51:14 +02:00
compcert-tso@7a14d34c66
notes Update 2026-01-15 15:26:30 +01:00
paper
weakmemory-imm@16637a922a Add weakmemory-imm and compcert-mt submodules 2025-12-12 08:50:07 +01:00
.envrc
.gitignore
.gitmodules Add weakmemory-imm and compcert-mt submodules 2025-12-12 08:50:07 +01:00
flake.lock Update flake to include required libs for building weakmemory/imm 2025-12-14 12:31:37 +01:00
flake.nix More housekeeping 2025-12-14 12:38:48 +01:00
README.md Repo housekeeping 2025-12-14 12:37:17 +01:00

MSc Thesis

This repo contains all things related to my masters thesis at the Delft University of Technology.

Directories

notes: General (and often disorganized) notes about the thesis.
paper: Latex sources for the final paper.
CompCert: The version of compcert that we based our work on.
compcert-tso: The version of compcert-tso that we based our work on.
weakmemory-imm: The version of weakmemory/imm that we based our work on.
compcert-mt: Our version of the compcert compiler extended with support for compiling multi-threaded programs.