Artefact for doctoral thesis "Verifying Optimised Parallel Code"

This thesis artifact builds all software used and developed in the thesis: "Verifying Optimised Parallel Code" from "Lars Björn van den Haak". That is:

The VerCors verifier to verify code, together with all changes discussed in Chapter 6.The HaliVer tool, updated with the latest result of the thesis.including a HaliVer tutorial.All experiments which were executed in Chapter 4, 5 and 6.The Lean proof for rewriting quantifiers from Chapter 6.All code listings displayed in the thesis are based on actuall code, which we include here.The figshare with the card sorting results from Chapter 3 is available in its own artefact.