Permalink
Browse files

Add support for .psl, .e, .ckt, .sv/svh, .vg/vh, .irunargs/xrunargs (#…

…152)

File formats:

- Property Specification Language (.psl)
- Specman E (.e)
- SPICE netlist (.ckt)
- SystemVerilog (.sv, .svh)
- Verilog (.vg, .vh)
  - Note that .v files are **the default** for Verilog files, but at the moment
    that clashes with Coq files. How can that be resolved?
- Verilog Run Argument files (.irunargs, .xrunargs)
  • Loading branch information...
kaushalmodi authored and Aaronepower committed Nov 30, 2017
1 parent 86ffefd commit 043a780cf2236682e49e5c40a5abdaf384c6363d
Showing with 56 additions and 1 deletion.
  1. +6 −0 README.md
  2. +50 −1 languages.json
View
@@ -341,6 +341,7 @@ Polly
Processing
Prolog
Protocol Buffers
PSL Assertions
PureScript
Python
QCL
@@ -357,9 +358,12 @@ Scala
Scons
SRecode Template
Standard ML
Specman e
SPICE Netlists
SQL
SVG
Swift
SystemVerilog
TCL
TeX
Plain Text
@@ -368,6 +372,8 @@ TypeScript
Unreal Script
Ur/Web
Vala
Verilog
Verilog argument files
VHDL
Vim Script
Wolfram
View
@@ -948,6 +948,13 @@
"pro"
]
},
"PSL":{
"name":"PSL Assertion",
"base":"c",
"extensions":[
"psl"
]
},
"Protobuf":{
"name":"Protocol Buffers",
"line_comment":[
@@ -1101,14 +1108,35 @@
"sconscript"
]
},
"Sml":{
"name":"Standard ML (SML)",
"base":"func",
"extensions":[
"sml"
]
},
"SpecmanE":{
"name":"Specman e",
"line_comment":[
"--",
"//"
],
"multi_line":[
["'>", "<'"]
],
"extensions":[
"e"
]
},
"Spice":{
"name":"Spice Netlist",
"line_comment":[
"*"
],
"extensions":[
"ckt"
]
},
"Sql":{
"name":"SQL",
"line_comment":[
@@ -1147,6 +1175,13 @@
"swift"
]
},
"SystemVerilog":{
"base":"c",
"extensions":[
"sv",
"svh"
]
},
"Tcl":{
"name":"TCL",
"base":"hash",
@@ -1233,6 +1268,20 @@
"vala"
]
},
"Verilog":{
"base":"c",
"extensions":[
"vg",
"vh"
]
},
"VerilogArgsFile":{
"name":"Verilog Args File",
"extensions":[
"irunargs",
"xrunargs"
]
},
"Vhdl":{
"name":"VHDL",
"line_comment":[

0 comments on commit 043a780

Please sign in to comment.