3 ms·

Please stop reusing extensions. “.v” is already used by Coq and by V.

• dsvr 4y ago
  At the time I didn't know that. Perhaps .vely extension, I guess that would do it. Something to consider to be nice for sure. Thanks for that.
• forgotpwd16 4y ago
  And Verilog. Not that it matters much since tools can utilize heuristics to figure out the actual language used.
  • xigoi 4y ago
    How do you use heuristics when creating a new file?
    • dsvr 4y ago
      In this case, just check if there is, near the beginning of file: #include "vely.h" which has to be in every Vely .v file.
      • xigoi 4y ago
        A new file won't have that at the top. Unless you create it first by copying a template, I guess.
• hydroid7 4y ago
  And Verilog