This is an extension/rework for GARUDA. The repository is a little outdated and archived right now, but the old commits could be useful for following the design flow of this system.
This repository is currently tested to work using Ubuntu 18.04 and Coq 8.11.
The paper is in a seperate repository because of Overleaf. Find the paper here.
- Written by:
- Sage Sefton - [email protected]
- With help from:
- Dr. Avinash Karanth
- Dr. Gordon Stewart