The different parts of this repository are:
- Folder "Veritas": Scala project, which contains the main Veritas code - see separate README for a description
- Folder "VeritasSpoofax": Old code; contains the original Veritas code as a Spoofax project (SDF/Stratego)
- Folder "benchmarking": Various scripts used for encoding comparison studies (process prover logs, create cluster job scripts, layout data for graphs, R script for generating comparison graphs etc.)
- Folder "scala-spoofax-interop": Tutorial on how to connect a Scala and a Spoofax project (with an old Spoofax version)