Skip to content

Commit 88469f7

Browse files
kbroch-rivosinckbroch-rivosinc
committed
auto-corrected formatting from pre-commit prettier hook
1 parent a2587fc commit 88469f7

File tree

8 files changed

+101
-59
lines changed

8 files changed

+101
-59
lines changed

‎.devcontainer/devcontainer.json‎

Lines changed: 1 addition & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -35,7 +35,5 @@
3535
]
3636
}
3737
},
38-
"forwardPorts": [
39-
8000, 8080
40-
]
38+
"forwardPorts": [8000, 8080]
4139
}

‎schemas/arch_schema.json‎

Lines changed: 3 additions & 8 deletions
Original file line numberDiff line numberDiff line change
@@ -3,17 +3,12 @@
33

44
"type": "object",
55
"title": "Unified Architecture Specification",
6-
"required": [
7-
"type",
8-
"extensions",
9-
"csrs",
10-
"instructions"
11-
],
6+
"required": ["type", "extensions", "csrs", "instructions"],
127
"allOf": [
138
{
149
"if": {
1510
"properties": {
16-
"type": { "enum": ["fully configured"]}
11+
"type": { "enum": ["fully configured"] }
1712
}
1813
},
1914
"then": {
@@ -111,7 +106,7 @@
111106
"profile_releases": {
112107
"type": "object",
113108
"items": {
114-
"type": "string"
109+
"type": "string"
115110
}
116111
},
117112
"manuals": {

‎schemas/config_schema.json‎

Lines changed: 3 additions & 11 deletions
Original file line numberDiff line numberDiff line change
@@ -35,10 +35,7 @@
3535
"properties": {
3636
"XLEN": {
3737
"type": "integer",
38-
"enum": [
39-
32,
40-
64
41-
],
38+
"enum": [32, 64],
4239
"description": "Base instruction set datapath width (e.g., RV32 or RV64)\n"
4340
},
4441
"NAME": {
@@ -52,7 +49,7 @@
5249
},
5350
"M_MODE_ENDIANESS": {
5451
"type": "integer",
55-
"enum": [ 0, 1, 2],
52+
"enum": [0, 1, 2],
5653
"description": "Endianess of data in M-mode. Can be one of:\n\n * 0: M-mode data is always little endian\n * 1: M-mode data is always big endian\n * 2: M-mode data can be either little or big endian, depending on the RW CSR field mstatus.MBE\n"
5754
},
5855
"S_MODE_ENDIANESS": {
@@ -390,8 +387,6 @@
390387
"description": "When true, vstval is written with the casue when a SoftwareCheck exception occurs.\nWhen false, vstval is written with 0"
391388
},
392389

393-
394-
395390
"CONFIG_PTR_ADDRESS": {
396391
"type": "integer",
397392
"minimum": 0,
@@ -510,10 +505,7 @@
510505
}
511506
},
512507
"type": "object",
513-
"required": [
514-
"params",
515-
"extensions"
516-
],
508+
"required": ["params", "extensions"],
517509
"properties": {
518510
"params": {
519511
"$ref": "#/$defs/params"

‎schemas/csr_schema.json‎

Lines changed: 17 additions & 7 deletions
Original file line numberDiff line numberDiff line change
@@ -164,7 +164,16 @@
164164
},
165165
"csr_register": {
166166
"type": "object",
167-
"required": ["$schema", "kind", "name", "long_name", "length", "description", "priv_mode", "definedBy"],
167+
"required": [
168+
"$schema",
169+
"kind",
170+
"name",
171+
"long_name",
172+
"length",
173+
"description",
174+
"priv_mode",
175+
"definedBy"
176+
],
168177

169178
"properties": {
170179
"$schema": {
@@ -202,11 +211,11 @@
202211
"type": "object",
203212
"description": "A full Asciidoc description of the CSR, intended to be used as documentation.",
204213
"properties": {
205-
"$copy" : {
206-
"type": "string",
207-
"format": "uri-reference"
208-
}
209-
},
214+
"$copy": {
215+
"type": "string",
216+
"format": "uri-reference"
217+
}
218+
},
210219
"additionalProperties": false
211220
}
212221
]
@@ -230,7 +239,8 @@
230239
"default": false,
231240
"description": "Whether or not the CSR is accessible via an indirect address"
232241
},
233-
"virtual_address": true, "$comment": "Conditionally required; see below",
242+
"virtual_address": true,
243+
"$comment": "Conditionally required; see below",
234244
"priv_mode": {
235245
"enum": ["M", "S", "U", "VS"]
236246
},

‎schemas/ext_schema.json‎

Lines changed: 50 additions & 18 deletions
Original file line numberDiff line numberDiff line change
@@ -39,7 +39,14 @@
3939
},
4040
"ext_data": {
4141
"type": "object",
42-
"required": ["$schema", "kind", "name", "description", "long_name", "versions"],
42+
"required": [
43+
"$schema",
44+
"kind",
45+
"name",
46+
"description",
47+
"long_name",
48+
"versions"
49+
],
4350
"properties": {
4451
"$schema": {
4552
"type": "string",
@@ -101,24 +108,29 @@
101108
"description": "Extension(s) that conflict with this extension; both cannot be implemented at the same time",
102109
"oneOf": [
103110
{ "$ref": "schema_defs.json#/$defs/extension_requirement" },
104-
{ "type": "array", "items": { "$ref": "schema_defs.json#/$defs/extension_requirement" }}
111+
{
112+
"type": "array",
113+
"items": {
114+
"$ref": "schema_defs.json#/$defs/extension_requirement"
115+
}
116+
}
105117
]
106118
},
107119
"versions": {
108120
"type": "array",
109121
"items": {
110122
"type": "object",
111123
"required": ["version", "state"],
112-
"if": {
113-
"properties": {
114-
"state": {
115-
"const": "ratified"
116-
}
124+
"if": {
125+
"properties": {
126+
"state": {
127+
"const": "ratified"
117128
}
118-
},
119-
"then": {
120-
"required": ["ratification_date"]
121-
},
129+
}
130+
},
131+
"then": {
132+
"required": ["ratification_date"]
133+
},
122134
"properties": {
123135
"version": {
124136
"$ref": "schema_defs.json#/$defs/extension_version"
@@ -147,10 +159,19 @@
147159
},
148160
"ratification_date": {
149161
"oneOf": [
150-
{"type": "string", "pattern": "^20[0-9][0-9]-(0[1-9]|1[0-2])$", "$comment": "When ratification date is known",
151-
"description": "A specific year and month in YYYY-MM format", "examples": ["2019-01", "2024-12"] },
152-
{"type": "string", "pattern": "^unknown$", "$comment": "When ratification date is unknown" },
153-
{"type": "null", "$comment": "When version isn't ratified" }
162+
{
163+
"type": "string",
164+
"pattern": "^20[0-9][0-9]-(0[1-9]|1[0-2])$",
165+
"$comment": "When ratification date is known",
166+
"description": "A specific year and month in YYYY-MM format",
167+
"examples": ["2019-01", "2024-12"]
168+
},
169+
{
170+
"type": "string",
171+
"pattern": "^unknown$",
172+
"$comment": "When ratification date is unknown"
173+
},
174+
{ "type": "null", "$comment": "When version isn't ratified" }
154175
]
155176
},
156177
"changes": {
@@ -160,12 +181,23 @@
160181
},
161182
"description": "Changes since last version"
162183
},
163-
"url": { "type": "string", "format": "uri", "description": "Link to ratified document" },
184+
"url": {
185+
"type": "string",
186+
"format": "uri",
187+
"description": "Link to ratified document"
188+
},
164189
"implies": {
165190
"description": "Extension(s) implied by this extension (i.e., any subextensions)",
166191
"oneOf": [
167-
{ "$ref": "schema_defs.json#/$defs/extension_name_and_version" },
168-
{ "type": "array", "items": { "$ref": "schema_defs.json#/$defs/extension_name_and_version" }}
192+
{
193+
"$ref": "schema_defs.json#/$defs/extension_name_and_version"
194+
},
195+
{
196+
"type": "array",
197+
"items": {
198+
"$ref": "schema_defs.json#/$defs/extension_name_and_version"
199+
}
200+
}
169201
]
170202
},
171203
"requires": {

‎schemas/inst_schema.json‎

Lines changed: 12 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -50,7 +50,7 @@
5050
"description": "Specific value(s) that are not permitted for this field."
5151
}
5252
},
53-
"required": [ "location" ],
53+
"required": ["location"],
5454
"additionalProperties": false
5555
},
5656
"field": {
@@ -146,7 +146,16 @@
146146
},
147147
"inst_data": {
148148
"type": "object",
149-
"required": ["$schema", "kind", "name", "long_name", "description", "definedBy", "access", "assembly"],
149+
"required": [
150+
"$schema",
151+
"kind",
152+
"name",
153+
"long_name",
154+
"description",
155+
"definedBy",
156+
"access",
157+
"assembly"
158+
],
150159
"additionalProperties": false,
151160
"properties": {
152161
"$schema": {
@@ -278,5 +287,5 @@
278287
}
279288
},
280289

281-
"$ref": "#/$defs/inst_data"
290+
"$ref": "#/$defs/inst_data"
282291
}

‎schemas/manual_version_schema.json‎

Lines changed: 8 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -50,7 +50,14 @@
5050
},
5151

5252
"type": "object",
53-
"required": ["manual", "version", "name", "marketing_version", "state", "volumes"],
53+
"required": [
54+
"manual",
55+
"version",
56+
"name",
57+
"marketing_version",
58+
"state",
59+
"volumes"
60+
],
5461
"properties": {
5562
"name": {
5663
"type": "string",

‎schemas/schema_defs.json‎

Lines changed: 7 additions & 8 deletions
Original file line numberDiff line numberDiff line change
@@ -15,8 +15,12 @@
1515
},
1616
"field_location": {
1717
"oneOf": [
18-
{"type": "number", "description": "Location of a single bit"},
19-
{"type": "string", "pattern": "^[0-9]+-[0-9]+$", "description": "Location range of a multi-bit field"}
18+
{ "type": "number", "description": "Location of a single bit" },
19+
{
20+
"type": "string",
21+
"pattern": "^[0-9]+-[0-9]+$",
22+
"description": "Location range of a multi-bit field"
23+
}
2024
],
2125
"description": "Location of a field in a register"
2226
},
@@ -58,11 +62,7 @@
5862
"oneOf": [
5963
{
6064
"type": "string",
61-
"enum": [
62-
"mandatory",
63-
"optional",
64-
"prohibited"
65-
]
65+
"enum": ["mandatory", "optional", "prohibited"]
6666
},
6767
{
6868
"type": "object",
@@ -138,7 +138,6 @@
138138
"additionalProperties": false
139139
}
140140
]
141-
142141
},
143142
"requires_entry": {
144143
"oneOf": [

0 commit comments

Comments
 (0)