This repository contains exercises to prepare for the exam. You can find a PDF in the docs/ directory.
You can contribute to exercises by adding questions and/or solutions to the src/ directory.
Make sure that pdflatex src/document.tex produces a valid PDF document and open a pull request, when you are done.
This pull request should not include files in the docs directory.
For liveness analysis, you should follow the structure of liveness-gcd.tex and use commands from commands.tex.
Note that the example in liveness-gcd.tex is not solved completely.