Assignment 2 for the Operating Systems course.
An expansion/adjustment of the ads algorithm from Lee/Yannakakis.
Heavily builds upon the existing implementation found at https://gitlab.science.ru.nl/moerman/hybrid-ads.
C++ crash reporting library for UNIX systems (macOS/Linux/FreeBSD)
Hybrid adaptive distinguishing sequences for FSM-based complete testing
Implementation of PEP primitives including zero knowledge proofs, based on the Ristretto version of libsodium.
Software to run the pipelines, work with database, etc.
New implementation of diagonalization code, written for python wrapping.