Saurabh Singh

- Remove old makefile-based compliance verification - Use the new RISCOF framework for compliance testing

All verbose information should be printed on **stderr** stream while the program's output should be printed on the **stdout**. Therefore one can easily route them to two different files if...

Unable to download the standard input data file

1

I'm trying to download the data file using the provided drive link in the README but it says permission denied. Link: https://drive.google.com/file/d/1IItjFFUIfANgrUUI7jebNS9rfSEe32lZ/view?usp=sharing Thanks for your help!