Compare commits

...
A pull request between these branches already exists: ReferenceProjects/riscv-bluespec-classic#18

flake: Add missing input #18