snarkVM
snarkVM copied to clipboard
[Bug] Remove unused code from the repository
The compile code has a directory with unused code. It shouldn't be necessary to keep dead code around in the repository since it has maintenance cost if only when it appears in searches, and it can always be brought back when necessary from the git history.