CREATE TYPE JUDGE AS ENUM ('Absolute', 'Points');
CREATE TABLE users (
- id TEXT PRIMARY KEY,
+ id TEXT PRIMARY KEY,
+ passphrase TEXT NOT NULL,
+ admin BOOLEAN NOT NULL DEFAULT FALSE,
name TEXT, -- NOT NULL,
email TEXT, -- NOT NULL,
+ phone TEXT, -- NOT NULL,
town TEXT, -- NOT NULL,
university TEXT, -- NOT NULL,
level TEXT, --ULEVEL NOT NULL,
CREATE TABLE problems (
id TEXT PRIMARY KEY,
- author TEXT NOT NULL,
+ author TEXT,
+ writer TEXT,
generator GENERATOR NOT NULL,
judge JUDGE NOT NULL,
level PLEVEL NOT NULL,
runner RUNNER NOT NULL,
statement TEXT NOT NULL,
testcnt INT NOT NULL,
+ tests TEXT,
timeout REAL NOT NULL,
value INT,
+ genformat TEXT,
+ gensource TEXT,
verformat TEXT,
versource TEXT
);
problem TEXT NOT NULL REFERENCES problems,
result INT,
result_text TEXT,
- results JSON,
+ results TEXT,
source TEXT NOT NULL,
owner TEXT NOT NULL REFERENCES users
);