# Architecture Decision Records

This folder is designated to contain our ADRs (Architecture
Decision Records) - documentation for why specific decision
where taken at the time they were, so that future maintainers
can more easily identify constraints that shaped the architecture
of the system and the surrounding infrastructure.

## Symex ready goto form
\subpage symex-ready-goto

## Release & Packaging

* \subpage release-process
* \subpage homebrew-tap-instructions
* \subpage cpp-api-and-modularisation
