latest 20 messages by cousteau

+ [2020-02-07T11:54:47Z] cousteau I guess some user-agent trickery
+ [2020-02-07T11:54:24Z] cousteau Hi! What's in https://github.com/User/Project.git ? I would guess it's some sort of config file with git info that the git command can read, but whenever I try to download it it just redirects me to the Github HTML webpage of the project
+ [2020-01-15T19:46:26Z] cousteau 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
+ [2020-01-15T19:41:22Z] cousteau wonders why didn't they name the files .coq ... then again Verilog hadn't been around that long when Coq was invented, and probably nobody expected a case where both would be used simultaneously
+ [2020-01-15T19:34:28Z] cousteau (also for Assembly)
+ [2020-01-15T19:34:12Z] cousteau OK so if I click Coq in this repo I don't get any results, huh??
+ [2020-01-15T19:31:59Z] cousteau So yeah no idea how the people who program Coq to Verilog compilers sleep at night
+ [2020-01-15T19:31:25Z] cousteau https://coq.inria.fr/refman/practical-tools/coq-commands.html#batch-compilation-coqc
+ [2020-01-15T19:29:11Z] cousteau I think "vernacular" :|
+ [2020-01-15T19:27:38Z] cousteau (you would think no project uses BOTH Verilog and Coq, but then you would be wrong.)
+ [2020-01-15T19:26:57Z] cousteau I heard of it but I can't remember
+ [2020-01-15T19:25:09Z] cousteau Ah, .gitattributes thanks!
+ [2020-01-15T19:24:53Z] cousteau Project is cliffordwolf/picorv32 (not mine)
+ [2020-01-15T19:23:57Z] cousteau Also the project info says it uses 20% Coq, but it's all actually Verilog
+ [2020-01-15T19:23:14Z] cousteau Hi! How does Github know how to highlight files? It seems to have incorrectly detected a Verilog file as Coq (both use .v extensions)
+ [2017-01-09T19:34:39Z] cousteau accepts his own PR
+ [2017-01-09T19:30:46Z] cousteau ah wait, I can make a pull request from the original project to mine
+ [2017-01-09T19:28:22Z] cousteau tobiasvl, can that be done from the web interface?
+ [2017-01-09T19:28:02Z] cousteau If I create a new branch, it makes a copy of master, which is out of date