X-Git-Url: https://git.llucax.com/software/sercom-old.git/blobdiff_plain/2629d689134a52c5d3210e371758931b99692a84..9912168322f3348b034c39c3f971b98cf2adb2c0:/doc/schema.sql

diff --git a/doc/schema.sql b/doc/schema.sql
index 556ef70..9743ce6 100644
--- a/doc/schema.sql
+++ b/doc/schema.sql
@@ -20,7 +20,7 @@ CREATE TABLE inscripto
     curso_id        INTEGER NOT NULL,
     -- campos
     mail            VARCHAR(150) NOT NULL,
-    activo          INTEGER(1) NOT NULL DEFAULT 1,
+    activo          BOOLEAN NOT NULL DEFAULT 1,
     UNIQUE          (padron, curso_id)
 );
 
@@ -31,7 +31,7 @@ CREATE TABLE docente
     nombre          VARCHAR(150) NOT NULL,
     -- campos
     mail            VARCHAR(150) NOT NULL,
-    corrige         INTEGER(1) NOT NULL DEFAULT 1,
+    corrige         BOOLEAN NOT NULL DEFAULT 1,
     UNIQUE          (nombre)
 );
 
@@ -65,6 +65,7 @@ CREATE TABLE entrega
     ejercicio_id    INTEGER NOT NULL,
     desde           DATE NOT NULL,
     hasta           DATE NOT NULL,
+    finalizada      BOOLEAN NOT NULL DEFAULT 1,
     UNIQUE          (curso_id, nro_ejercicio, entrega)
 );
 
@@ -75,10 +76,11 @@ CREATE TABLE caso_de_prueba
     ejercicio_id    INTEGER NOT NULL,
     nombre          VARCHAR(255) NOT NULL,
     -- campos
-    privado         INTEGER(1) NOT NULL,
-    activo          INTEGER(1) NOT NULL DEFAULT 1,
+    privado         BOOLEAN NOT NULL,
+    activo          BOOLEAN NOT NULL DEFAULT 1,
     parametros      VARCHAR(255),
-    salidas         VARCHAR(255),
+    codigo_retorno  INTEGER DEFAULT 0,
+    tiempo_cpu      FLOAT DEFAULT NULL,
     UNIQUE          (ejercicio_id, nombre)
 );
 
@@ -91,10 +93,11 @@ CREATE TABLE intento
     numero          INTEGER NOT NULL,
     -- campos
     llegada         DATE NOT NULL,
+    inicio_compila  DATE,
+    fin_compila     DATE,
     inicio_pruebas  DATE,
     fin_pruebas     DATE,
-    compila_ok      INTEGER(1),
-    notificado      INTEGER(1) NOT NULL DEFAULT 0,
+    compila         BOOLEAN,
     mail_respuesta  VARCHAR(150) NOT NULL,
     observaciones   VARCHAR(255),
     UNIQUE          (entrega_id, inscripto_id, llegada)
@@ -123,8 +126,7 @@ CREATE TABLE prueba
     -- campos
     inicio              DATE NOT NULL,
     fin                 DATE,
-    memoria_ok          INTEGER(1),
-    salida_ok           INTEGER(1),
+    pasada              BOOLEAN,
     observaciones       VARCHAR(255),
     UNIQUE              (intento_id, caso_de_prueba_id)
 );