Skip to content

shilangyu/pikevm-systemf

Repository files navigation

Verification of realistic regex matching

This repository documents my master thesis at EPFL in the SYSTEMF lab.

Supervised by Aurèle Barrière and Clément Pit-Claudel.

Repository structure

./proposal

The presentation and textual proposal of the project before work has begun on it.

./meeting_notes

Weekly notes taken for progress tracking and for recording action items from meetings with my supervisors.

./progress_presentation

Script and graphics used for a progress presentation.

./report

The written report of the entire project. See the GitHub action for instructions on how to lint and compile the report.

./public

The deployed website of this thesis.