message no. 176439
Posted by cousteau in #github at 2020-01-15T19:46:26Z
https://github.com/cliffordwolf/picorv32/search?l=verilog&p=4 Now THIS is weird. See picorv32.v in that list? Well, that's the file being erroneously identified as Coq when you open it in github