diff options
Diffstat (limited to 'src/schema.sql')
-rw-r--r-- | src/schema.sql | 16 |
1 files changed, 11 insertions, 5 deletions
diff --git a/src/schema.sql b/src/schema.sql index 0452495..bfc9ca7 100644 --- a/src/schema.sql +++ b/src/schema.sql @@ -24,16 +24,22 @@ CREATE TABLE Inputs ( FOREIGN KEY (specification) REFERENCES Specifications (name) ); -CREATE TABLE Stamps ( - specification TEXT NOT NULL PRIMARY KEY, - stamp TEXT NOT NULL, - FOREIGN KEY (specification) REFERENCES Specifications (name) +CREATE TABLE Checkouts ( + specification TEXT NOT NULL, + revision TEXT NOT NULL, + evaluation INTEGER NOT NULL, + input TEXT NOT NULL, + directory TEXT NOT NULL, + PRIMARY KEY (specification, revision), + FOREIGN KEY (evaluation) REFERENCES Evaluations (id), + FOREIGN KEY (specification) REFERENCES Specifications (name), + FOREIGN KEY (input) REFERENCES Inputs (name) ); CREATE TABLE Evaluations ( id INTEGER NOT NULL PRIMARY KEY AUTOINCREMENT, specification TEXT NOT NULL, - commits TEXT NOT NULL, + in_progress INTEGER NOT NULL, FOREIGN KEY (specification) REFERENCES Specifications (name) ); |