Skip to content
Closed
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
48 changes: 48 additions & 0 deletions src/app/archive/create_schema.sql
Original file line number Diff line number Diff line change
Expand Up @@ -150,6 +150,30 @@ CREATE TABLE zkapp_states_nullable
, element5 int REFERENCES zkapp_field(id)
, element6 int REFERENCES zkapp_field(id)
, element7 int REFERENCES zkapp_field(id)
, element8 int REFERENCES zkapp_field(id)
, element9 int REFERENCES zkapp_field(id)
, element10 int REFERENCES zkapp_field(id)
, element11 int REFERENCES zkapp_field(id)
, element12 int REFERENCES zkapp_field(id)
, element13 int REFERENCES zkapp_field(id)
, element14 int REFERENCES zkapp_field(id)
, element15 int REFERENCES zkapp_field(id)
, element16 int REFERENCES zkapp_field(id)
, element17 int REFERENCES zkapp_field(id)
, element18 int REFERENCES zkapp_field(id)
, element19 int REFERENCES zkapp_field(id)
, element20 int REFERENCES zkapp_field(id)
, element21 int REFERENCES zkapp_field(id)
, element22 int REFERENCES zkapp_field(id)
, element23 int REFERENCES zkapp_field(id)
, element24 int REFERENCES zkapp_field(id)
, element25 int REFERENCES zkapp_field(id)
, element26 int REFERENCES zkapp_field(id)
, element27 int REFERENCES zkapp_field(id)
, element28 int REFERENCES zkapp_field(id)
, element29 int REFERENCES zkapp_field(id)
, element30 int REFERENCES zkapp_field(id)
, element31 int REFERENCES zkapp_field(id)
);

/* like zkapp_states_nullable, but elements are not NULL */
Expand All @@ -163,6 +187,30 @@ CREATE TABLE zkapp_states
, element5 int NOT NULL REFERENCES zkapp_field(id)
, element6 int NOT NULL REFERENCES zkapp_field(id)
, element7 int NOT NULL REFERENCES zkapp_field(id)
, element8 int NOT NULL REFERENCES zkapp_field(id)
, element9 int NOT NULL REFERENCES zkapp_field(id)
, element10 int NOT NULL REFERENCES zkapp_field(id)
, element11 int NOT NULL REFERENCES zkapp_field(id)
, element12 int NOT NULL REFERENCES zkapp_field(id)
, element13 int NOT NULL REFERENCES zkapp_field(id)
, element14 int NOT NULL REFERENCES zkapp_field(id)
, element15 int NOT NULL REFERENCES zkapp_field(id)
, element16 int NOT NULL REFERENCES zkapp_field(id)
, element17 int NOT NULL REFERENCES zkapp_field(id)
, element18 int NOT NULL REFERENCES zkapp_field(id)
, element19 int NOT NULL REFERENCES zkapp_field(id)
, element20 int NOT NULL REFERENCES zkapp_field(id)
, element21 int NOT NULL REFERENCES zkapp_field(id)
, element22 int NOT NULL REFERENCES zkapp_field(id)
, element23 int NOT NULL REFERENCES zkapp_field(id)
, element24 int NOT NULL REFERENCES zkapp_field(id)
, element25 int NOT NULL REFERENCES zkapp_field(id)
, element26 int NOT NULL REFERENCES zkapp_field(id)
, element27 int NOT NULL REFERENCES zkapp_field(id)
, element28 int NOT NULL REFERENCES zkapp_field(id)
, element29 int NOT NULL REFERENCES zkapp_field(id)
, element30 int NOT NULL REFERENCES zkapp_field(id)
, element31 int NOT NULL REFERENCES zkapp_field(id)
);

/* like zkapp_states, but for action states */
Expand Down