PAN-52 Added findByName and findByBranch methods to the repository, and created first couple of methods and corresponding tests in the ProofController

2019-03-14 11:43:01 -06:00
parent 4bd1936a7a
commit 7af41d4235
5 changed files with 187 additions and 10 deletions
@@ -36,6 +36,7 @@ version int default 1
 CREATE TABLE proofs
 (
  id                       INT NOT NULL AUTO_INCREMENT,
+  name                     VARCHAR(512) NOT NULL,
  branch                   VARCHAR(512) NOT NULL,
  referenced_definitions   JSON,
  referenced_theorems      JSON,