From bc92dc60d425eeb30f2c6ba0e13a95242a391471 Mon Sep 17 00:00:00 2001 From: atusa17 Date: Thu, 14 Mar 2019 10:51:38 -0600 Subject: [PATCH] PAN-52 created the proofs table --- persistence/scripts/mysql/local_development.sql | 12 ++++++++++++ 1 file changed, 12 insertions(+) diff --git a/persistence/scripts/mysql/local_development.sql b/persistence/scripts/mysql/local_development.sql index 87984f0..87186c4 100644 --- a/persistence/scripts/mysql/local_development.sql +++ b/persistence/scripts/mysql/local_development.sql @@ -32,4 +32,16 @@ referenced_definitions json, referenced_theorems json, proven_status boolean default false, version int default 1 +); +CREATE TABLE proofs +( + id INT NOT NULL AUTO_INCREMENT, + username VARCHAR(50) NOT NULL, + branch VARCHAR(512) NOT NULL, + referenced_definitions JSON, + referenced_theorems JSON, + date_added DATE, + last_updated DATE, + version INT DEFAULT 1, + PRIMARY KEY (id) ) \ No newline at end of file