Skip to content

Commit e0a9dca

Browse files
committed
add serialization schema
1 parent d3fffee commit e0a9dca

File tree

4 files changed

+48
-0
lines changed

4 files changed

+48
-0
lines changed

specification/schema/hugr_schema_live.json

Lines changed: 12 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1307,6 +1307,18 @@
13071307
"default": null,
13081308
"description": "The name of the encoder used to generate the Hugr.",
13091309
"title": "Encoder"
1310+
},
1311+
"entrypoint": {
1312+
"anyOf": [
1313+
{
1314+
"type": "integer"
1315+
},
1316+
{
1317+
"type": "null"
1318+
}
1319+
],
1320+
"default": null,
1321+
"title": "Entrypoint"
13101322
}
13111323
},
13121324
"required": [

specification/schema/hugr_schema_strict_live.json

Lines changed: 12 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1307,6 +1307,18 @@
13071307
"default": null,
13081308
"description": "The name of the encoder used to generate the Hugr.",
13091309
"title": "Encoder"
1310+
},
1311+
"entrypoint": {
1312+
"anyOf": [
1313+
{
1314+
"type": "integer"
1315+
},
1316+
{
1317+
"type": "null"
1318+
}
1319+
],
1320+
"default": null,
1321+
"title": "Entrypoint"
13101322
}
13111323
},
13121324
"required": [

specification/schema/testing_hugr_schema_live.json

Lines changed: 12 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1306,6 +1306,18 @@
13061306
"default": null,
13071307
"description": "The name of the encoder used to generate the Hugr.",
13081308
"title": "Encoder"
1309+
},
1310+
"entrypoint": {
1311+
"anyOf": [
1312+
{
1313+
"type": "integer"
1314+
},
1315+
{
1316+
"type": "null"
1317+
}
1318+
],
1319+
"default": null,
1320+
"title": "Entrypoint"
13091321
}
13101322
},
13111323
"required": [

specification/schema/testing_hugr_schema_strict_live.json

Lines changed: 12 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1306,6 +1306,18 @@
13061306
"default": null,
13071307
"description": "The name of the encoder used to generate the Hugr.",
13081308
"title": "Encoder"
1309+
},
1310+
"entrypoint": {
1311+
"anyOf": [
1312+
{
1313+
"type": "integer"
1314+
},
1315+
{
1316+
"type": "null"
1317+
}
1318+
],
1319+
"default": null,
1320+
"title": "Entrypoint"
13091321
}
13101322
},
13111323
"required": [

0 commit comments

Comments
 (0)