- DOMjudge-devel - domjudge.org

Re: [DOMjudge-commits] Checktestdata branch master updated.
by Jaap Eldering 01 Jan '17

01 Jan '17

Hi Jeroen, Could you add a description or Makefile documenting how to build this? I tried to do so by installing cabal, and the required packages, but failed. I think I didn't have exactly the right versions, and even then, the Setup binary complained that none of the packages were available. Jaap On 01-01-17 10:42, DOMjudge wrote: > The branch, master has been updated > from c525f8b20c1d59e54db2b6399fb5dab9475bb903 (commit) > via c6bcd2e71281bf990b0ca9f6254236622d4ebc97 (commit) > via d7fea2aabc5ad165ce93589d47398cc99a3f0765 (commit) > > - Log ----------------------------------------------------------------- > ----------------------------------------------------------------------- > https://www.domjudge.org/gitweb/?p=checktestdata.git;a=commitdiff;h=c6bcd2e7 > commit c6bcd2e71281bf990b0ca9f6254236622d4ebc97 > Author: Jeroen Bransen <jeroen(a)chordify.net> > Date: Sun Jan 1 13:38:25 2017 +0100 > > [haskell_edsl] Add regex support > > diff --git a/haskell_edsl/checktestdata.cabal b/haskell_edsl/checktestdata.cabal > index 42babc6..9e42a30 100644 > --- a/haskell_edsl/checktestdata.cabal > +++ b/haskell_edsl/checktestdata.cabal > @@ -27,6 +27,7 @@ library > containers >=0.5 && <0.6, > either >=4.3 && <4.5, > mtl >=2.2 && <2.3, > + regex-tdfa >= 1.2, > uu-parsinglib >= 2.9 > hs-source-dirs: src > default-language: Haskell2010 > diff --git a/haskell_edsl/src/Checktestdata/Core.hs b/haskell_edsl/src/Checktestdata/Core.hs > index e3242b3..11615dc 100644 > --- a/haskell_edsl/src/Checktestdata/Core.hs > +++ b/haskell_edsl/src/Checktestdata/Core.hs > @@ -12,6 +12,7 @@ module Checktestdata.Core ( > nextHex, > nextFloat, > string, > + regex, > eof, > isEOF, > ) where > @@ -21,6 +22,9 @@ import qualified Data.ByteString.Char8 as BS > import qualified Data.ByteString.Lex.Fractional as FR > import qualified Data.ByteString.Lex.Integral as INT > > +import Text.Regex.TDFA > +import Text.Regex.TDFA.ByteString > + > import Control.Monad.State > import Control.Monad.Trans.Either > > @@ -172,6 +176,24 @@ string s = PrimOp $ do > True -> do > putRemaining $ BS.drop (length s) cs > > +-- | Match with the given regular expression > +regex :: String -> CTD String > +regex rs = PrimOp $ do > + let reg = compile defaultCompOpt defaultExecOpt $ BS.pack rs > + case reg of > + Left e -> failWithLocation e > + Right r -> do > + cs <- getRemaining > + let err = "Expression " ++ show rs ++ " does not match" > + case regexec r cs of > + Right (Just (pre,main,post,_)) -> case BS.null pre of > + True -> do > + putRemaining post > + return $ BS.unpack main > + False -> failWithLocation err > + Left e -> failWithLocation e > + Right _ -> failWithLocation err > + > -- | Check whether we are at the end of the file. > isEOF :: CTD Bool > isEOF = PrimOp $ do > > ----------------------------------------------------------------------- > https://www.domjudge.org/gitweb/?p=checktestdata.git;a=commitdiff;h=d7fea2aa > commit d7fea2aabc5ad165ce93589d47398cc99a3f0765 > Author: Jeroen Bransen <jeroen(a)chordify.net> > Date: Sun Jan 1 13:40:02 2017 +0100 > > [haskell_edsl] Almost complete backwards compatibility, passes most tests > > diff --git a/haskell_edsl/src/Checktestdata/Script/AST.hs b/haskell_edsl/src/Checktestdata/Script/AST.hs > index f116515..7542c24 100644 > --- a/haskell_edsl/src/Checktestdata/Script/AST.hs > +++ b/haskell_edsl/src/Checktestdata/Script/AST.hs > @@ -1,5 +1,6 @@ > module Checktestdata.Script.AST ( > - Var, > + VarName, > + Var (..), > Block, > AST (..), > Expr (..), > @@ -8,9 +9,11 @@ module Checktestdata.Script.AST ( > Test (..), > CompOp (..), > ) where > --- data Var = Var String [Expr] > > -type Var = String > +type VarName = String > + > +data Var = Var VarName [Expr] > + deriving ( Show ) > > type Block = [AST] > > @@ -20,11 +23,12 @@ data AST = CSpace > | CInt Expr Expr (Maybe Var) > | CFloat Expr Expr (Maybe Var) (Maybe FloatOption) > | CString Expr > + | CRegex Expr (Maybe Var) > | CRep (Maybe Var) Expr (Maybe AST) Block -- var, count, separator, body > | CWhile (Maybe Var) Test (Maybe AST) Block > | CAssert Test > | CSet [(Var, Expr)] > - | CUnset [Var] > + | CUnset [VarName] > | CIf Test Block (Maybe Block) > deriving (Show) > > @@ -54,8 +58,8 @@ data Test = Not Test > | And Test Test > | Or Test Test > | Match Expr > - | Unique [Var] > - | InArray Expr Var > + | Unique [VarName] > + | InArray Expr VarName > | IsEOF > deriving (Show) > > diff --git a/haskell_edsl/src/Checktestdata/Script/Interpreter.hs b/haskell_edsl/src/Checktestdata/Script/Interpreter.hs > index c74c9a9..8013e09 100644 > --- a/haskell_edsl/src/Checktestdata/Script/Interpreter.hs > +++ b/haskell_edsl/src/Checktestdata/Script/Interpreter.hs > @@ -8,6 +8,7 @@ import Checktestdata.Core > import Checktestdata.Derived > import Checktestdata.Script.AST > > +import Data.List ( genericLength, transpose ) > import Data.Map ( Map ) > import qualified Data.Map as Map > > @@ -19,26 +20,32 @@ import Control.Monad.State > -------------------------------------------------------------------------------- > > -- todo: error handling on script parsing level > --- todo: arrays > > data Value = VInt Integer > | VFloat Rational > | VString String > + deriving ( Show, Eq, Ord ) > > -type ValueMap = Map Var Value > +type ValueMap = Map VarName (Map [Value] Value) > > setValue :: Maybe Var -> Value -> InterpretMonad () > setValue Nothing _ = return () > -setValue (Just var) val = modify $ Map.insert var val > +setValue (Just (Var var eidxs)) val = do > + idxs <- mapM fExpr eidxs > + modify $ Map.insertWith Map.union var $ Map.singleton idxs val > > getValue :: Var -> InterpretMonad Value > -getValue var = do > +getValue (Var var eidxs) = do > vm <- get > case Map.lookup var vm of > - Nothing -> error $ "Undefined variable " ++ var > - Just val -> return val > - > -unsetVar :: Var -> InterpretMonad () > + Nothing -> error $ "Undefined variable " ++ show var > + Just vmi -> do > + idxs <- mapM fExpr eidxs > + case Map.lookup idxs vmi of > + Nothing -> error $ "Undefined index " ++ show idxs > + Just val -> return val > + > +unsetVar :: VarName -> InterpretMonad () > unsetVar var = modify $ Map.delete var > > toInt :: Value -> InterpretMonad Integer > @@ -66,133 +73,158 @@ liftC = lift > > -- | Interpret an old checktestdata script into an executable 'CTD' > interpret :: Block -> CTD () > -interpret = flip evalStateT Map.empty . fBlock where > +interpret = flip evalStateT Map.empty . fBlock > + > -- Code blocks (simple fold) > - fBlock :: Block -> InterpretMonad () > - fBlock = mapM_ fAST > - > - -- AST elements > - fAST :: AST -> InterpretMonad () > - fAST CSpace = liftC space > - fAST CNewline = liftC newline > - fAST CEOF = liftC eof > - fAST (CSet vs) = forM_ vs $ \(var,e) -> do > - val <- fExpr e > - setValue (Just var) val > - fAST (CUnset vs) = mapM_ unsetVar vs > - fAST (CInt low up var) = do > - vlow <- fExpr low >>= toInt > - vup <- fExpr up >>= toInt > - val <- liftC $ int vlow vup > - setValue var (VInt val) > - fAST (CFloat low up var _) = do -- todo: scientific/fixed option > - vlow <- fExpr low >>= toFloat > - vup <- fExpr up >>= toFloat > - val <- liftC $ float vlow vup > - setValue var (VFloat val) > - fAST (CString s) = do > - str <- fExpr s >>= toString > - liftC $ string str > - fAST (CAssert test) = do > - b <- fTest test > - liftC $ assert b > - fAST (CRep var count mbSep body) = do > - vcount <- fExpr count >>= toInt > - forM_ [0..vcount-1] $ \i -> do > - -- Parse separator > - case mbSep of > - Just sep | i > 0 -> fAST sep > - _ -> return () > - > - -- Set iterator > - setValue var (VInt i) > +fBlock :: Block -> InterpretMonad () > +fBlock = mapM_ fAST > + > +-- AST elements > +fAST :: AST -> InterpretMonad () > +fAST CSpace = liftC space > +fAST CNewline = liftC newline > +fAST CEOF = liftC eof > +fAST (CSet vs) = forM_ vs $ \(var,e) -> do > + val <- fExpr e > + setValue (Just var) val > +fAST (CUnset vs) = mapM_ unsetVar vs > +fAST (CInt low up var) = do > + vlow <- fExpr low >>= toInt > + vup <- fExpr up >>= toInt > + val <- liftC $ int vlow vup > + setValue var (VInt val) > +fAST (CFloat low up var _) = do -- todo: scientific/fixed option > + vlow <- fExpr low >>= toFloat > + vup <- fExpr up >>= toFloat > + val <- liftC $ float vlow vup > + setValue var (VFloat val) > +fAST (CString s) = do > + str <- fExpr s >>= toString > + liftC $ string str > +fAST (CRegex sr var) = do > + r <- fExpr sr >>= toString > + val <- liftC $ regex r > + setValue var (VString val) > +fAST (CAssert test) = do > + b <- fTest test > + liftC $ assert b > +fAST (CRep var count mbSep body) = do > + vcount <- fExpr count >>= toInt > + forM_ [0..vcount-1] $ \i -> do > + -- Parse separator > + case mbSep of > + Just sep | i > 0 -> fAST sep > + _ -> return () > > - -- Do the body > - fBlock body > - fAST (CWhile var test mbSep body) = do > - let it :: Integer -> InterpretMonad () > - it i = do > - setValue var (VInt i) > - b <- fTest test > - when b $ do > - -- Condition true, so parse separator > - case mbSep of > - Just sep | i > 0 -> fAST sep > - _ -> return () > - -- And parse body > - fBlock body > - -- And repeat > - it $ i + 1 > - it 0 > - fAST (CIf test ifTrue mbIfFalse) = do > - b <- fTest test > - if b then fBlock ifTrue > - else case mbIfFalse of > - Nothing -> return () > - Just bl -> fBlock bl > - > - -- Expression evaluation > - fExpr :: Expr -> InterpretMonad Value > - fExpr (EVar var) = getValue var > - fExpr (ConstI v) = return $ VInt v > - fExpr (ConstF v) = return $ VFloat v > - fExpr (ConstS v) = return $ VString v > - fExpr (Negate e) = do > - val <- fExpr e > - case val of > - VInt v -> return $ VInt $ negate v > - VFloat v -> return $ VFloat $ negate v > - _ -> error "Integer of float expected" > - fExpr (BinOp op e1 e2) = do > - v1 <- fExpr e1 > - v2 <- fExpr e2 > - fBinOp op v1 v2 > - > - -- Binary operators > - fBinOp :: BinOp -> Value -> Value -> InterpretMonad Value > - fBinOp Plus v1 v2 = fNumOp (+) v1 v2 > - fBinOp Minus v1 v2 = fNumOp (-) v1 v2 > - fBinOp Times v1 v2 = fNumOp (*) v1 v2 > - fBinOp Div v1 v2 = case (v1, v2) of > - (VInt i1, VInt i2) -> return $ VInt $ i1 `div` i2 > - _ -> do > - f1 <- toFloat v1 > - f2 <- toFloat v2 > - return $ VFloat $ f1 / f2 > - fBinOp Modulo v1 v2 = do > - i1 <- toInt v1 > - i2 <- toInt v2 > - return $ VInt $ i1 `mod` i2 > - fBinOp Pow v1 v2 = do > - i2 <- toInt v2 > - case v1 of > - VInt i1 -> return $ VInt $ i1 ^ i2 > - VFloat f1 -> return $ VFloat $ f1 ^^ i2 > - _ -> error "Integer of float expected" > - > - fNumOp :: (forall a. Num a => a -> a -> a) -> Value -> Value -> InterpretMonad Value > - fNumOp op v1 v2 = case (v1, v2) of > - (VInt i1, VInt i2) -> return $ VInt $ i1 `op` i2 > - _ -> do > - f1 <- toFloat v1 > - f2 <- toFloat v2 > - return $ VFloat $ f1 `op` f2 > - > - fTest :: Test -> InterpretMonad Bool > - fTest IsEOF = liftC isEOF > - fTest (Not test) = liftM not (fTest test) > - fTest (And t1 t2) = liftM2 (&&) (fTest t1) (fTest t2) > - fTest (Or t1 t2) = liftM2 (||) (fTest t1) (fTest t2) > - fTest (CompOp cmp e1 e2) = do > - v1 <- fExpr e1 >>= toFloat -- note that Float here is also exact > - v2 <- fExpr e2 >>= toFloat > - let Just op = cmp `lookup` [ (CompGT, (>)) > - , (CompGE, (>=)) > - , (CompEQ, (==)) > - , (CompNE, (/=)) > - , (CompLT, (<)) > - , (CompLE, (<=)) ] > - return $ v1 `op` v2 > - fTest (Match e) = do > - s <- fExpr e >>= toString > - liftC $ match s > + -- Set iterator > + setValue var (VInt i) > + > + -- Do the body > + fBlock body > +fAST (CWhile var test mbSep body) = do > + let it :: Integer -> InterpretMonad () > + it i = do > + setValue var (VInt i) > + b <- fTest test > + when b $ do > + -- Condition true, so parse separator > + case mbSep of > + Just sep | i > 0 -> fAST sep > + _ -> return () > + -- And parse body > + fBlock body > + -- And repeat > + it $ i + 1 > + it 0 > +fAST (CIf test ifTrue mbIfFalse) = do > + b <- fTest test > + if b then fBlock ifTrue > + else case mbIfFalse of > + Nothing -> return () > + Just bl -> fBlock bl > + > +-- Expression evaluation > +fExpr :: Expr -> InterpretMonad Value > +fExpr (EVar var) = getValue var > +fExpr (ConstI v) = return $ VInt v > +fExpr (ConstF v) = return $ VFloat v > +fExpr (ConstS v) = return $ VString v > +fExpr (StrLen e) = do > + val <- fExpr e >>= toString > + return $ VInt $ genericLength val > +fExpr (Negate e) = do > + val <- fExpr e > + case val of > + VInt v -> return $ VInt $ negate v > + VFloat v -> return $ VFloat $ negate v > + _ -> error "Integer of float expected" > +fExpr (BinOp op e1 e2) = do > + v1 <- fExpr e1 > + v2 <- fExpr e2 > + fBinOp op v1 v2 > + > +-- Binary operators > +fBinOp :: BinOp -> Value -> Value -> InterpretMonad Value > +fBinOp Plus v1 v2 = fNumOp (+) v1 v2 > +fBinOp Minus v1 v2 = fNumOp (-) v1 v2 > +fBinOp Times v1 v2 = fNumOp (*) v1 v2 > +fBinOp Div v1 v2 = case (v1, v2) of > + (VInt i1, VInt i2) -> return $ VInt $ i1 `div` i2 > + _ -> do > + f1 <- toFloat v1 > + f2 <- toFloat v2 > + return $ VFloat $ f1 / f2 > +fBinOp Modulo v1 v2 = do > + i1 <- toInt v1 > + i2 <- toInt v2 > + return $ VInt $ i1 `mod` i2 > +fBinOp Pow v1 v2 = do > + i2 <- toInt v2 > + case v1 of > + VInt i1 -> return $ VInt $ i1 ^ i2 > + VFloat f1 -> return $ VFloat $ f1 ^^ i2 > + _ -> error "Integer of float expected" > + > +fNumOp :: (forall a. Num a => a -> a -> a) -> Value -> Value -> InterpretMonad Value > +fNumOp op v1 v2 = case (v1, v2) of > + (VInt i1, VInt i2) -> return $ VInt $ i1 `op` i2 > + _ -> do > + f1 <- toFloat v1 > + f2 <- toFloat v2 > + return $ VFloat $ f1 `op` f2 > + > +fTest :: Test -> InterpretMonad Bool > +fTest IsEOF = liftC isEOF > +fTest (Not test) = liftM not (fTest test) > +fTest (And t1 t2) = liftM2 (&&) (fTest t1) (fTest t2) > +fTest (Or t1 t2) = liftM2 (||) (fTest t1) (fTest t2) > +fTest (Unique vs) = do > + vm <- get > + keyvals <- forM vs $ \v -> do > + let mp = Map.findWithDefault (error $ "Undefined variable " ++ v) v vm > + let (keys, vals) = unzip $ Map.toList mp > + return (keys, vals) > + let (k:ks, vals) = unzip keyvals > + let pairs = transpose vals > + when (any (/=k) ks) $ liftC $ fail "Different sets of indices" > + return $ unique pairs > +fTest (InArray val var) = do > + vm <- get > + case Map.lookup var vm of > + Nothing -> liftC $ fail $ "Undefined variable " ++ var > + Just vals -> do > + v <- fExpr val > + return $ v `elem` Map.elems vals > +fTest (CompOp cmp e1 e2) = do > + v1 <- fExpr e1 >>= toFloat -- note that Float here is also exact > + v2 <- fExpr e2 >>= toFloat > + let Just op = cmp `lookup` [ (CompGT, (>)) > + , (CompGE, (>=)) > + , (CompEQ, (==)) > + , (CompNE, (/=)) > + , (CompLT, (<)) > + , (CompLE, (<=)) ] > + return $ v1 `op` v2 > +fTest (Match e) = do > + s <- fExpr e >>= toString > + liftC $ match s > diff --git a/haskell_edsl/src/Checktestdata/Script/Parser.hs b/haskell_edsl/src/Checktestdata/Script/Parser.hs > index 125ce40..5618432 100644 > --- a/haskell_edsl/src/Checktestdata/Script/Parser.hs > +++ b/haskell_edsl/src/Checktestdata/Script/Parser.hs > @@ -6,11 +6,6 @@ module Checktestdata.Script.Parser ( > > import Checktestdata.Script.AST > > ---import Text.ParserCombinators.Parsec > ---import Text.ParserCombinators.Parsec.Language > ---import Text.ParserCombinators.Parsec.Expr > ---import qualified Text.ParserCombinators.Parsec.Token as Token > - > import Data.Char > import Data.Ratio > > @@ -25,12 +20,24 @@ import Text.ParserCombinators.UU.Utils > parseScript :: FilePath -> IO Block > parseScript fp = do > contents <- readFile fp > - case execParser (pSpaces *> pBlock) (dropComments contents) of > - (r, []) -> return r > - (r, err) -> mapM_ print err >> return r > + return $ runParser fp (pSpaces *> pBlock) (dropComments contents) > > +-- | Remove all comments from the text. This is less trivial than it seems > +-- as # may also be inside a string literal. > dropComments :: String -> String > -dropComments = unlines . map (takeWhile (/='#')) . lines > +dropComments = f False False where > + f :: Bool -> Bool -> String -> String -- inComment, inString > + f _ _ "" = "" > + f True False ('\n':xs) = '\n' : f False False xs > + f True False ( _:xs) = f True False xs > + f False True ('\\':x:xs) = '\\' : x : f False True xs > + f False True ('"' :xs) = '"' : f False False xs > + f False True ( x:xs) = x : f False True xs > + f False False ('"' :xs) = '"' : f False True xs > + f False False ('#' :xs) = f True False xs > + f False False ( x:xs) = x : f False False xs > + f _ _ _ = error "dropComments: invariant failed" > + > > -------------------------------------------------------------------------------- > -- Parsing > @@ -48,19 +55,19 @@ pAST = CSpace <$ pSymbol "SPACE" > <*> pExpr > <* pComma > <*> pExpr > - <*> (Just <$ pComma <*> identifier <<|> pure Nothing) > + <*> (Just <$ pComma <*> pVar <<|> pure Nothing) > <* pRParen > <<|> CFloat <$ pSymbol "FLOAT" > <* pLParen > <*> pExpr > <* pComma > <*> pExpr > - <*> (Just <$ pComma <*> identifier <<|> pure Nothing) > + <*> (Just <$ pComma <*> pVar <<|> pure Nothing) > <*> (Just <$ pComma <*> pFloatOption <<|> pure Nothing) > <* pRParen > <<|> CRep <$ pSymbol "REPI" > <* pLParen > - <*> (Just <$> identifier <* pComma) > + <*> (Just <$> pVar <* pComma) > <*> pExpr > <*> (Just <$ pComma <*> pAST <<|> pure Nothing) > <* pRParen > @@ -76,7 +83,7 @@ pAST = CSpace <$ pSymbol "SPACE" > <* pSymbol "END" > <<|> CWhile <$ pSymbol "WHILEI" > <* pLParen > - <*> (Just <$> identifier <* pComma) > + <*> (Just <$> pVar <* pComma) > <*> pTest > <*> (Just <$ pComma <*> pAST <<|> pure Nothing) > <* pRParen > @@ -101,6 +108,11 @@ pAST = CSpace <$ pSymbol "SPACE" > <* pLParen > <*> pTest > <* pRParen > + <<|> CRegex <$ pSymbol "REGEX" > + <* pLParen > + <*> pExpr > + <*> (Just <$ pComma <*> pVar <<|> pure Nothing) > + <* pRParen > <<|> CString <$ pSymbol "STRING" > <* pLParen > <*> pExpr > @@ -109,11 +121,15 @@ pAST = CSpace <$ pSymbol "SPACE" > <* pLParen > <*> pListSep pComma > ( > - (,) <$> identifier > - <* pSym '=' > + (,) <$> pVar > + <* lexeme (pSym '=') > <*> pExpr > ) > <* pRParen > + <<|> CUnset <$ pSymbol "UNSET" > + <* pLParen > + <*> pListSep pComma identifier > + <* pRParen > > pFloatOption :: Parser FloatOption > pFloatOption = Scientific <$ pSymbol "SCIENTIFIC" > @@ -121,12 +137,16 @@ pFloatOption = Scientific <$ pSymbol "SCIENTIFIC" > > pExpr :: Parser Expr > pExpr = foldr pChainl pExprBase (map same_prio operators) where > - same_prio ops = msum [ BinOp op <$ pSym c | (c, op) <- ops] > + same_prio ops = msum [ BinOp op <$ lexeme (pSym c) | (c, op) <- ops] > pExprBase :: Parser Expr > pExprBase = pParens pExpr > - <<|> Negate <$ pSym '-' > + <<|> Negate <$ lexeme (pSym '-') > <*> pExpr > - <<|> EVar <$> identifier > + <<|> StrLen <$ pSymbol "STRLEN" > + <* pLParen > + <*> pExpr > + <* pRParen > + <<|> EVar <$> pVar > <<|> ConstS <$> pString > <<|> lexeme pNumber > > @@ -151,6 +171,7 @@ pNumber = mkNum > mkNum i mbF mbE = ConstF $ (fromInteger i + fpart) * epart where > fpart = case mbF of > Nothing -> 0 > + Just "" -> 0 > Just f -> (read f) % (10 ^ length f) > epart = case mbE of > Nothing -> 1 > @@ -158,16 +179,31 @@ pNumber = mkNum > > -- | Parse a literal string > pString :: Parser String > -pString = lexeme $ pSym '"' *> pList pChar <* pSym '"' where > - pChar :: Parser Char -- todo: \[0-7]{1,3} denotes an octal escape for a character > - pChar = '\n' <$ pToken "\\n" > - <<|> '\t' <$ pToken "\\t" > - <<|> '\r' <$ pToken "\\r" > - <<|> '\b' <$ pToken "\\b" > - <<|> '"' <$ pToken "\\\"" > - <<|> '\\' <$ pToken "\\\\" > - <<|> pToken "\\\n" *> pSatisfy (/='"') (Insertion "x" 'x' 5) > - <<|> pSatisfy (/='"') (Insertion "x" 'x' 5) > +pString = lexeme $ pSym '"' *> pList pChar <* pSym '"' where > + pChar :: Parser Char > + pChar = pSym '\\' *> ( pOctal > + <<|> '\n' <$ pSym 'n' > + <<|> '\t' <$ pSym 't' > + <<|> '\r' <$ pSym 'r' > + <<|> '\b' <$ pSym 'b' > + <<|> '\\' <$ pSym '\\' > + <<|> '"' <$ pSym '"' > + <<|> pSym '\n' *> pChar > + <<|> pure '\\') > + <<|> pSatisfy (/='"') (Insertion "x" 'x' 5) > + pOctal :: Parser Char > + pOctal = toOct <$> octDig > + <*> (Just <$> octDig <<|> pure Nothing) > + <*> (Just <$> octDig <<|> pure Nothing) > + toOct :: Char -> Maybe Char -> Maybe Char -> Char > + toOct d1 (Just d2) (Just d3) = chr $ 64 * toNum d1 + 8 * toNum d2 + toNum d3 > + toOct d1 (Just d2) Nothing = chr $ 8 * toNum d1 + toNum d2 > + toOct d1 Nothing Nothing = chr $ toNum d1 > + toOct _ _ _ = error $ "toOct: invariant failed" > + toNum :: Char -> Int > + toNum c = ord c - ord '0' > + octDig :: Parser Char > + octDig = pSatisfy (\c -> '0' <= c && c <= '7') (Insertion "0" '0' 5) > > -- | Parse boolean expressions > pTest :: Parser Test > @@ -175,7 +211,7 @@ pTest = pChainl bOps pTestBase where > bOps = And <$ pSymbol "&&" > <<|> Or <$ pSymbol "||" > pTestBase = pParens pTest > - <<|> Not <$ pSym '!' > + <<|> Not <$ lexeme (pSym '!') > <*> pTest > <<|> IsEOF <$ pSymbol "ISEOF" > <<|> Match <$ pSymbol "MATCH" > @@ -203,9 +239,14 @@ pTest = pChainl bOps pTestBase where > ] ] > > > +-- | Parse a variable (possibly with array indices) > +pVar :: Parser Var > +pVar = Var <$> identifier > + <*> ( pLBracket *> pListSep pComma pExpr <* pRBracket <<|> pure []) > + > -------------------------------------------------------------------------------- > -- Lexing > -------------------------------------------------------------------------------- > > identifier :: Parser String > -identifier = lexeme $ (:) <$> pLetter <*> pMunch isAlphaNum > +identifier = lexeme $ (:) <$> pLower <*> pMunch (\c -> isLower c || isDigit c) > > ----------------------------------------------------------------------- > > Summary of changes: > haskell_edsl/checktestdata.cabal | 1 + > haskell_edsl/src/Checktestdata/Core.hs | 22 ++ > haskell_edsl/src/Checktestdata/Script/AST.hs | 16 +- > .../src/Checktestdata/Script/Interpreter.hs | 304 ++++++++++++--------- > haskell_edsl/src/Checktestdata/Script/Parser.hs | 101 +++++-- > 5 files changed, 272 insertions(+), 172 deletions(-) >

2 1

How to add problem to a contest
by Umair Khan 09 Dec '16

09 Dec '16

Hi, I know this seems to be a very trivial question, but I'm not getting from where do I add a problem to a contest. I have created a problem and also a contest. The contest page shows that no problems have been added to it. What am I missing? Thanks in advance, Umair

1 1

Question about Domjudge
by tfg computer 04 Nov '16

04 Nov '16

Dear Sir, Thank you very much for developing Domjudge system. I have a problem archive as attachment "test.zip". I summit right code as attachment "test.cpp". But the Domjudge system always shows "TIME LIMIT", or "PENDING". I try to run the code in windows and linux, the code works well. I still can not understand what wrong it is. Could you please help me show what wrong it is and how to solve it? Thank you very much for your help. Sincerely, Janet

2 1

Change Affiliation
by Huynh Anh Dung 20 Oct '16

20 Oct '16

Hi Jaap, Can you tell me how to change 3 letters on affiliation to more letters, I want to add more university logos on system. Best regards

3 3

Problem Import on Version 5.1.2?
by Marc Furon 10 Oct '16

10 Oct '16

I installed version 5.1.2 of DOMjudge locally for testing. I went to test the problem import process, but I do not see the problem import option on the problem page when logged in as "admin". I can add a problem manually, but I wanted to test the import functionality. Did something happen to this feature? Or is there some type of problem with my installation? Any suggestions you can provide will be appreciated. Marc

2 2

Importing accounts
by Cheng, Howard 09 Oct '16

09 Oct '16

Hi, I tried to import my accounts.tsv file which looks like this: File_Version 1 team Test Account testacct abcdefg It says that "team" is an unknown role ID. I also tried using "3" instead. What am I doing wrong? Howard -- Howard Cheng e-mail: howard.cheng(a)uleth.ca Dept of Math and CS URL : http://www.cs.uleth.ca/~cheng/ University of Lethbridge Phone : (403) 329-2182 Alberta, Canada Fax : (403) 317-2882

2 2

Multiple simultaneous contests
by Cheng, Howard 08 Oct '16

08 Oct '16

Hi, With the current version I can run multiple contests simultanenously. But I have not found a way to limit a certain subset of users/teams to one contest (i.e. I don't want users to show up on the scoreboard of the contest they are not involved in). Is there a way to do so? Howard -- Howard Cheng e-mail: howard.cheng(a)uleth.ca Dept of Math and CS URL : http://www.cs.uleth.ca/~cheng/ University of Lethbridge Phone : (403) 329-2182 Alberta, Canada Fax : (403) 317-2882

2 1

test
by Jaap Eldering 08 Oct '16

08 Oct '16

Testing whether this message arrives to the list. Please ignore. - Jaap

1 1

Judge host problem
by Huynh Anh Dung 05 Oct '16

05 Oct '16

Hi Jaap, I create a new judgeHost to connect domserver. When I run submitted file to new judgehost, it gave me a message: Compiling failed with exitcode 255, compiler output: sudo: unable to stat /etc/sudoers.d/sudoers-domjudge: No such file or directory sudo: unable to resolve host acm-jugde-2016 /root/domjudge/judgehost/bin/runguard: cannot start `/root/domjudge/judgehost/judgings/acm-jugde-2016/endpoint-default/executable/cpp/run': Permission denied Try `/root/domjudge/judgehost/bin/runguard --help' for more information. Please help Lec. Huỳnh Anh Dũng ACM/ICPC SUPERVISOR FPT UNIVERSITY. http://www.fpt.edu.vn

1 0

Create judge Host
by Huynh Anh Dung 05 Oct '16

05 Oct '16

Hi Jaap, I created 1 judgehost, then I use that judge to run C++, orr Java they give me a message: Compiling failed with exitcode 255, compiler output: /var/www/contest/judgehost/bin/runguard: creating cgroup: Cgroup, requested group parameter does not exist(50015) Try `/var/www/contest/judgehost/bin/runguard --help' for more information. Thanks Jaap Lec. Huỳnh Anh Dũng ACM/ICPC SUPERVISOR FPT UNIVERSITY. http://www.fpt.edu.vn -----Original Message----- From: Jaap Eldering [mailto:jaap@jaapeldering.nl] Sent: Thursday, September 22, 2016 9:13 AM To: Huynh Anh Dung <dungha(a)fpt.edu.vn>; domjudge-devel(a)domjudge.org Subject: Re: Coonect data from ICPC On 21-09-16 23:05, Huynh Anh Dung wrote: > Hi Jaap, > I did delete all teams and associated usernames, except admin and justhost. > But it is still not reset teamID . Please check my message below: did you also reset the AUTO_INCREMENT counter? Jaap > -----Original Message----- > From: Jaap Eldering [mailto:jaap@jaapeldering.nl] > Sent: Thursday, September 22, 2016 8:50 AM > To: Huynh Anh Dung <dungha(a)fpt.edu.vn>; domjudge-devel(a)domjudge.org > Subject: Re: Coonect data from ICPC > > Imported teams are automatically assigned a team ID using the MySQL auto_increment counter, and this ID is used for the associated username 'teamXXXX'. > > To reset that, you have to delete all teams (and the associated > usernames) and then reset the auto_increment counter, e.g. in phpmyadmin by running the SQL query: > > ALTER TABLE team AUTO_INCREMENT = 1 > > Jaap > > > On 21-09-16 21:36, Huynh Anh Dung wrote: >> Hi Jaap, >> Can you look at my picture, I captured from phpmyadmin. >> That can help you. >> thnaks >> >> Lec. Huỳnh Anh Dũng >> ACM/ICPC SUPERVISOR >> FPT UNIVERSITY. >> http://www.fpt.edu.vn >> >> -----Original Message----- >> From: Huynh Anh Dung [mailto:dungha@fpt.edu.vn] >> Sent: Thursday, September 22, 2016 7:26 AM >> To: 'Jaap Eldering' <jaap(a)jaapeldering.nl>; >> domjudge-devel(a)domjudge.org >> Cc: dungha(a)fpt.edu.vn >> Subject: RE: Coonect data from ICPC >> >> >> Hi jaap, >> I already fixed that problem, Please help me how can I reset team number back to team001 again. >> I use phpmyadmin. Please help how to reset teamID in mysql in phpmyadmin. >> thanks >> >> Lec. Huỳnh Anh Dũng >> ACM/ICPC SUPERVISOR >> FPT UNIVERSITY. >> http://www.fpt.edu.vn >> >> -----Original Message----- >> From: Jaap Eldering [mailto:jaap@jaapeldering.nl] >> Sent: Monday, September 19, 2016 10:16 AM >> To: Huynh Anh Dung <dungha(a)fpt.edu.vn>; domjudge-devel(a)domjudge.org >> Subject: Re: Coonect data from ICPC >> >> On 18-09-16 23:20, Huynh Anh Dung wrote: >>> Hi Jaap, >>> I am manager for sub contest in Vietnam, now I want to connect from Domjudge 5.1.1 to data, please see my attachement. >>> Thanks >> >> In the ICPC CMS on the contest dashboard (as shown in your screenshot), go to export->webservices. Then create an access token with access to CCS export and standings upload. Also note the contest ID that is part of the URL. Enter these two in DOMjudge under 'import/export' in the jury/admin interface. Also make sure you have a team category "Participants" (present by default). Then you can download the teams from the CMS by a button press. >> >> Jaap >> >> >>> -----Original Message----- >>> From: Jaap Eldering [mailto:jaap@jaapeldering.nl] >>> Sent: Monday, September 19, 2016 9:15 AM >>> To: Huynh Anh Dung <dungha(a)fpt.edu.vn>; domjudge-devel(a)domjudge.org >>> Subject: Re: Incorrect URL in DOMjudge Download Page >>> >>> On 18-09-16 22:59, Huynh Anh Dung wrote: >>>> Hi Jaap >>>> Yes please help how to connect icpc registered name with domjudge >>>> 5.1.1 Thanks >>> >>> First, if you post a new question, then please do not reply to a previous, unrelated post (I don't see how your question is related to the discussion below). >>> >>> I'm sorry, but your question is not very clear to me. Do you mean connecting to the ICPC content management system to download team data, etc? >>> >>> Please give more details of what you're trying to do and what you have already accomplished or tried. >>> >>> Jaap >>> >>> >>>> -----Original Message----- >>>> From: DOMjudge-devel [mailto:domjudge-devel-bounces@domjudge.org] >>>> On Behalf Of Jaap Eldering >>>> Sent: Sunday, July 3, 2016 7:06 PM >>>> To: domjudge-devel(a)domjudge.org >>>> Subject: Re: Incorrect URL in DOMjudge Download Page >>>> >>>> Thanks, fixed! - Jaap >>>> >>>> On 03-07-16 01:32, Malcolm Corney wrote: >>>>> Hi folks, >>>>> >>>>> >>>>> >>>>> On the DOMJudge – Download page at >>>>> https://www.domjudge.org/download you have an instruction for >>>>> adding your repository GPG key to APT but the URL in the >>>>> instruction is incorrect. Furthermore, the pipe command requires >>>>> sudo but the curl command does not. The command as currently displayed is: >>>>> >>>>> >>>>> >>>>> sudo curl -o - https://domjudge.org/repokey.asc | apt-key add - >>>>> >>>>> >>>>> >>>>> It should be: >>>>> >>>>> >>>>> >>>>> curl -o - https://www.domjudge.org/repokey.asc | sudo apt-key add >>>>> - >>>>> >>>>> >>>>> >>>>> Hope this helps someone. >>>>> >>>>> >>>>> >>>>> Malcolm Corney >>>>> >>>>> >>>>> >>>>> >>>>> >>>>> >>>>> >>>>> _______________________________________________ >>>>> DOMjudge-devel mailing list >>>>> DOMjudge-devel(a)domjudge.org >>>>> https://www.domjudge.org/mailman/listinfo/domjudge-devel >>>>> >>>> >>>> _______________________________________________ >>>> DOMjudge-devel mailing list >>>> DOMjudge-devel(a)domjudge.org >>>> https://www.domjudge.org/mailman/listinfo/domjudge-devel >>>> >>> >> >> >> > >

1 0

Setup more JudgeHost servers
by Huynh Anh Dung 03 Oct '16

03 Oct '16

Hi Jaap, Please help to setup more Judgehosts, and do I need setting up exactly Domjudge server or only server with GNU and Java compile only?. Thanks in advance. Lec. Huỳnh Anh Dũng ACM/ICPC SUPERVISOR FPT UNIVERSITY. http://www.fpt.edu.vn -----Original Message----- From: Jaap Eldering [mailto:jaap@jaapeldering.nl] Sent: Thursday, September 22, 2016 9:13 AM To: Huynh Anh Dung <dungha(a)fpt.edu.vn>; domjudge-devel(a)domjudge.org Subject: Re: Coonect data from ICPC On 21-09-16 23:05, Huynh Anh Dung wrote: > Hi Jaap, > I did delete all teams and associated usernames, except admin and justhost. > But it is still not reset teamID . Please check my message below: did you also reset the AUTO_INCREMENT counter? Jaap > -----Original Message----- > From: Jaap Eldering [mailto:jaap@jaapeldering.nl] > Sent: Thursday, September 22, 2016 8:50 AM > To: Huynh Anh Dung <dungha(a)fpt.edu.vn>; domjudge-devel(a)domjudge.org > Subject: Re: Coonect data from ICPC > > Imported teams are automatically assigned a team ID using the MySQL auto_increment counter, and this ID is used for the associated username 'teamXXXX'. > > To reset that, you have to delete all teams (and the associated > usernames) and then reset the auto_increment counter, e.g. in phpmyadmin by running the SQL query: > > ALTER TABLE team AUTO_INCREMENT = 1 > > Jaap > > > On 21-09-16 21:36, Huynh Anh Dung wrote: >> Hi Jaap, >> Can you look at my picture, I captured from phpmyadmin. >> That can help you. >> thnaks >> >> Lec. Huỳnh Anh Dũng >> ACM/ICPC SUPERVISOR >> FPT UNIVERSITY. >> http://www.fpt.edu.vn >> >> -----Original Message----- >> From: Huynh Anh Dung [mailto:dungha@fpt.edu.vn] >> Sent: Thursday, September 22, 2016 7:26 AM >> To: 'Jaap Eldering' <jaap(a)jaapeldering.nl>; >> domjudge-devel(a)domjudge.org >> Cc: dungha(a)fpt.edu.vn >> Subject: RE: Coonect data from ICPC >> >> >> Hi jaap, >> I already fixed that problem, Please help me how can I reset team number back to team001 again. >> I use phpmyadmin. Please help how to reset teamID in mysql in phpmyadmin. >> thanks >> >> Lec. Huỳnh Anh Dũng >> ACM/ICPC SUPERVISOR >> FPT UNIVERSITY. >> http://www.fpt.edu.vn >> >> -----Original Message----- >> From: Jaap Eldering [mailto:jaap@jaapeldering.nl] >> Sent: Monday, September 19, 2016 10:16 AM >> To: Huynh Anh Dung <dungha(a)fpt.edu.vn>; domjudge-devel(a)domjudge.org >> Subject: Re: Coonect data from ICPC >> >> On 18-09-16 23:20, Huynh Anh Dung wrote: >>> Hi Jaap, >>> I am manager for sub contest in Vietnam, now I want to connect from Domjudge 5.1.1 to data, please see my attachement. >>> Thanks >> >> In the ICPC CMS on the contest dashboard (as shown in your screenshot), go to export->webservices. Then create an access token with access to CCS export and standings upload. Also note the contest ID that is part of the URL. Enter these two in DOMjudge under 'import/export' in the jury/admin interface. Also make sure you have a team category "Participants" (present by default). Then you can download the teams from the CMS by a button press. >> >> Jaap >> >> >>> -----Original Message----- >>> From: Jaap Eldering [mailto:jaap@jaapeldering.nl] >>> Sent: Monday, September 19, 2016 9:15 AM >>> To: Huynh Anh Dung <dungha(a)fpt.edu.vn>; domjudge-devel(a)domjudge.org >>> Subject: Re: Incorrect URL in DOMjudge Download Page >>> >>> On 18-09-16 22:59, Huynh Anh Dung wrote: >>>> Hi Jaap >>>> Yes please help how to connect icpc registered name with domjudge >>>> 5.1.1 Thanks >>> >>> First, if you post a new question, then please do not reply to a previous, unrelated post (I don't see how your question is related to the discussion below). >>> >>> I'm sorry, but your question is not very clear to me. Do you mean connecting to the ICPC content management system to download team data, etc? >>> >>> Please give more details of what you're trying to do and what you have already accomplished or tried. >>> >>> Jaap >>> >>> >>>> -----Original Message----- >>>> From: DOMjudge-devel [mailto:domjudge-devel-bounces@domjudge.org] >>>> On Behalf Of Jaap Eldering >>>> Sent: Sunday, July 3, 2016 7:06 PM >>>> To: domjudge-devel(a)domjudge.org >>>> Subject: Re: Incorrect URL in DOMjudge Download Page >>>> >>>> Thanks, fixed! - Jaap >>>> >>>> On 03-07-16 01:32, Malcolm Corney wrote: >>>>> Hi folks, >>>>> >>>>> >>>>> >>>>> On the DOMJudge – Download page at >>>>> https://www.domjudge.org/download you have an instruction for >>>>> adding your repository GPG key to APT but the URL in the >>>>> instruction is incorrect. Furthermore, the pipe command requires >>>>> sudo but the curl command does not. The command as currently displayed is: >>>>> >>>>> >>>>> >>>>> sudo curl -o - https://domjudge.org/repokey.asc | apt-key add - >>>>> >>>>> >>>>> >>>>> It should be: >>>>> >>>>> >>>>> >>>>> curl -o - https://www.domjudge.org/repokey.asc | sudo apt-key add >>>>> - >>>>> >>>>> >>>>> >>>>> Hope this helps someone. >>>>> >>>>> >>>>> >>>>> Malcolm Corney >>>>> >>>>> >>>>> >>>>> >>>>> >>>>> >>>>> >>>>> _______________________________________________ >>>>> DOMjudge-devel mailing list >>>>> DOMjudge-devel(a)domjudge.org >>>>> https://www.domjudge.org/mailman/listinfo/domjudge-devel >>>>> >>>> >>>> _______________________________________________ >>>> DOMjudge-devel mailing list >>>> DOMjudge-devel(a)domjudge.org >>>> https://www.domjudge.org/mailman/listinfo/domjudge-devel >>>> >>> >> >> >> > >

2 2

Coonect data from ICPC
by Huynh Anh Dung 01 Oct '16

01 Oct '16

Hi Jaap, I am manager for sub contest in Vietnam, now I want to connect from Domjudge 5.1.1 to data, please see my attachement. Thanks Lec. Huỳnh Anh Dũng ACM/ICPC SUPERVISOR FPT UNIVERSITY. http://www.fpt.edu.vn -----Original Message----- From: Jaap Eldering [mailto:jaap@jaapeldering.nl] Sent: Monday, September 19, 2016 9:15 AM To: Huynh Anh Dung <dungha(a)fpt.edu.vn>; domjudge-devel(a)domjudge.org Subject: Re: Incorrect URL in DOMjudge Download Page On 18-09-16 22:59, Huynh Anh Dung wrote: > Hi Jaap > Yes please help how to connect icpc registered name with domjudge > 5.1.1 Thanks First, if you post a new question, then please do not reply to a previous, unrelated post (I don't see how your question is related to the discussion below). I'm sorry, but your question is not very clear to me. Do you mean connecting to the ICPC content management system to download team data, etc? Please give more details of what you're trying to do and what you have already accomplished or tried. Jaap > -----Original Message----- > From: DOMjudge-devel [mailto:domjudge-devel-bounces@domjudge.org] On > Behalf Of Jaap Eldering > Sent: Sunday, July 3, 2016 7:06 PM > To: domjudge-devel(a)domjudge.org > Subject: Re: Incorrect URL in DOMjudge Download Page > > Thanks, fixed! - Jaap > > On 03-07-16 01:32, Malcolm Corney wrote: >> Hi folks, >> >> >> >> On the DOMJudge – Download page at https://www.domjudge.org/download >> you have an instruction for adding your repository GPG key to APT but >> the URL in the instruction is incorrect. Furthermore, the pipe >> command requires sudo but the curl command does not. The command as >> currently displayed is: >> >> >> >> sudo curl -o - https://domjudge.org/repokey.asc | apt-key add - >> >> >> >> It should be: >> >> >> >> curl -o - https://www.domjudge.org/repokey.asc | sudo apt-key add - >> >> >> >> Hope this helps someone. >> >> >> >> Malcolm Corney >> >> >> >> >> >> >> >> _______________________________________________ >> DOMjudge-devel mailing list >> DOMjudge-devel(a)domjudge.org >> https://www.domjudge.org/mailman/listinfo/domjudge-devel >> > > _______________________________________________ > DOMjudge-devel mailing list > DOMjudge-devel(a)domjudge.org > https://www.domjudge.org/mailman/listinfo/domjudge-devel >

2 10

Help for JAVA
by Huynh Anh Dung 28 Sep '16

28 Sep '16

Hi Japp, Please help for java (JMV). I copy you 2 file to have a look. Thanks Lec. Huỳnh Anh Dũng ACM/ICPC SUPERVISOR FPT UNIVERSITY. http://www.fpt.edu.vn -----Original Message----- From: Jaap Eldering [mailto:jaap@jaapeldering.nl] Sent: Thursday, September 22, 2016 9:13 AM To: Huynh Anh Dung <dungha(a)fpt.edu.vn>; domjudge-devel(a)domjudge.org Subject: Re: Coonect data from ICPC On 21-09-16 23:05, Huynh Anh Dung wrote: > Hi Jaap, > I did delete all teams and associated usernames, except admin and justhost. > But it is still not reset teamID . Please check my message below: did you also reset the AUTO_INCREMENT counter? Jaap > -----Original Message----- > From: Jaap Eldering [mailto:jaap@jaapeldering.nl] > Sent: Thursday, September 22, 2016 8:50 AM > To: Huynh Anh Dung <dungha(a)fpt.edu.vn>; domjudge-devel(a)domjudge.org > Subject: Re: Coonect data from ICPC > > Imported teams are automatically assigned a team ID using the MySQL auto_increment counter, and this ID is used for the associated username 'teamXXXX'. > > To reset that, you have to delete all teams (and the associated > usernames) and then reset the auto_increment counter, e.g. in phpmyadmin by running the SQL query: > > ALTER TABLE team AUTO_INCREMENT = 1 > > Jaap > > > On 21-09-16 21:36, Huynh Anh Dung wrote: >> Hi Jaap, >> Can you look at my picture, I captured from phpmyadmin. >> That can help you. >> thnaks >> >> Lec. Huỳnh Anh Dũng >> ACM/ICPC SUPERVISOR >> FPT UNIVERSITY. >> http://www.fpt.edu.vn >> >> -----Original Message----- >> From: Huynh Anh Dung [mailto:dungha@fpt.edu.vn] >> Sent: Thursday, September 22, 2016 7:26 AM >> To: 'Jaap Eldering' <jaap(a)jaapeldering.nl>; >> domjudge-devel(a)domjudge.org >> Cc: dungha(a)fpt.edu.vn >> Subject: RE: Coonect data from ICPC >> >> >> Hi jaap, >> I already fixed that problem, Please help me how can I reset team number back to team001 again. >> I use phpmyadmin. Please help how to reset teamID in mysql in phpmyadmin. >> thanks >> >> Lec. Huỳnh Anh Dũng >> ACM/ICPC SUPERVISOR >> FPT UNIVERSITY. >> http://www.fpt.edu.vn >> >> -----Original Message----- >> From: Jaap Eldering [mailto:jaap@jaapeldering.nl] >> Sent: Monday, September 19, 2016 10:16 AM >> To: Huynh Anh Dung <dungha(a)fpt.edu.vn>; domjudge-devel(a)domjudge.org >> Subject: Re: Coonect data from ICPC >> >> On 18-09-16 23:20, Huynh Anh Dung wrote: >>> Hi Jaap, >>> I am manager for sub contest in Vietnam, now I want to connect from Domjudge 5.1.1 to data, please see my attachement. >>> Thanks >> >> In the ICPC CMS on the contest dashboard (as shown in your screenshot), go to export->webservices. Then create an access token with access to CCS export and standings upload. Also note the contest ID that is part of the URL. Enter these two in DOMjudge under 'import/export' in the jury/admin interface. Also make sure you have a team category "Participants" (present by default). Then you can download the teams from the CMS by a button press. >> >> Jaap >> >> >>> -----Original Message----- >>> From: Jaap Eldering [mailto:jaap@jaapeldering.nl] >>> Sent: Monday, September 19, 2016 9:15 AM >>> To: Huynh Anh Dung <dungha(a)fpt.edu.vn>; domjudge-devel(a)domjudge.org >>> Subject: Re: Incorrect URL in DOMjudge Download Page >>> >>> On 18-09-16 22:59, Huynh Anh Dung wrote: >>>> Hi Jaap >>>> Yes please help how to connect icpc registered name with domjudge >>>> 5.1.1 Thanks >>> >>> First, if you post a new question, then please do not reply to a previous, unrelated post (I don't see how your question is related to the discussion below). >>> >>> I'm sorry, but your question is not very clear to me. Do you mean connecting to the ICPC content management system to download team data, etc? >>> >>> Please give more details of what you're trying to do and what you have already accomplished or tried. >>> >>> Jaap >>> >>> >>>> -----Original Message----- >>>> From: DOMjudge-devel [mailto:domjudge-devel-bounces@domjudge.org] >>>> On Behalf Of Jaap Eldering >>>> Sent: Sunday, July 3, 2016 7:06 PM >>>> To: domjudge-devel(a)domjudge.org >>>> Subject: Re: Incorrect URL in DOMjudge Download Page >>>> >>>> Thanks, fixed! - Jaap >>>> >>>> On 03-07-16 01:32, Malcolm Corney wrote: >>>>> Hi folks, >>>>> >>>>> >>>>> >>>>> On the DOMJudge – Download page at >>>>> https://www.domjudge.org/download you have an instruction for >>>>> adding your repository GPG key to APT but the URL in the >>>>> instruction is incorrect. Furthermore, the pipe command requires >>>>> sudo but the curl command does not. The command as currently displayed is: >>>>> >>>>> >>>>> >>>>> sudo curl -o - https://domjudge.org/repokey.asc | apt-key add - >>>>> >>>>> >>>>> >>>>> It should be: >>>>> >>>>> >>>>> >>>>> curl -o - https://www.domjudge.org/repokey.asc | sudo apt-key add >>>>> - >>>>> >>>>> >>>>> >>>>> Hope this helps someone. >>>>> >>>>> >>>>> >>>>> Malcolm Corney >>>>> >>>>> >>>>> >>>>> >>>>> >>>>> >>>>> >>>>> _______________________________________________ >>>>> DOMjudge-devel mailing list >>>>> DOMjudge-devel(a)domjudge.org >>>>> https://www.domjudge.org/mailman/listinfo/domjudge-devel >>>>> >>>> >>>> _______________________________________________ >>>> DOMjudge-devel mailing list >>>> DOMjudge-devel(a)domjudge.org >>>> https://www.domjudge.org/mailman/listinfo/domjudge-devel >>>> >>> >> >> >> > >

2 3

Incorrect URL in DOMjudge Download Page
by Malcolm Corney 23 Sep '16

23 Sep '16

Hi folks, On the DOMJudge - Download page at https://www.domjudge.org/download you have an instruction for adding your repository GPG key to APT but the URL in the instruction is incorrect. Furthermore, the pipe command requires sudo but the curl command does not. The command as currently displayed is: sudo curl -o - https://domjudge.org/repokey.asc | apt-key add - It should be: curl -o - https://www.domjudge.org/repokey.asc | sudo apt-key add - Hope this helps someone. Malcolm Corney

3 3

importing users/accounts/teams info
by Cheng, Howard 17 Sep '16

17 Sep '16

Hi, About a year ago I inquired about importing users, accounts, teams info from spreadsheet and I got a response to look at: https://clics.ecs.baylor.edu/index.php/Contest_Control_System#Appendix:_Fil… I was just wondering if anything has changed with the new version? Howard -- Howard Cheng e-mail: howard.cheng(a)uleth.ca Dept of Math and CS URL : http://www.cs.uleth.ca/~cheng/ University of Lethbridge Phone : (403) 329-2182 Alberta, Canada Fax : (403) 317-2882

2 1

hackathon
by Jaap Eldering 13 Sep '16

13 Sep '16

Hi all, First a happy new year to all! Thijs, Jan, and I talked about doing a DOMjudge hackathon day. We propose the weekend of 23/24 January. Who else is interested in joning and do you have a preference for Saturday 23rd or Sunday 24th? Jaap

8 19

DomJudge for Classroom Version
by Francisco Mora 31 Aug '16

31 Aug '16

Hi Everyone- One of our Instructors would like to have a DomJudge version that was more suitable for Education environment (Classroom branch version?). He read that such version was available some years ago but I could not find a link to download. Is this version still available and if it is what is the link to download? Thank you!! Francisco

2 2

checktestdata regex problem
by David Venhoek 26 Aug '16

26 Aug '16

Dear checktestdata maintainer(s), I tried installing checktestdata today on ubuntu 14.04.5, and noticed that the REGEX command is not properly functioning. Running make check reveals a failure in testcase 14, and manually running said testcase results in the following unfortunately rather unhelpfull message; terminate called after throwing an instance of 'std::regex_error' what(): regex_error Aborted (core dumped) Is this a known issue, or are there any obvious causes I could check? Kind regards, David Venheok

2 4

Re: Judging issue
by Jaap Eldering 25 Aug '16

25 Aug '16

Hi Aneesh, On 23-08-16 02:13, Aneesh R wrote: > Hi, > > On August 22nd at 17:00 IST to 18:00 IST we had conducted a practice > session with our local domjudge server , this is only testing the > potential of our domjudge server and used only one judgehost for this > session. Two sets of problems are included in this session, the > solutions are already shared with our students (23 users) >From here on I find it difficult to understand precisely what happened: > they are continually submitting the solutions when the > contest starts woefully the all submissions are going to the QUEUED and > the compilations are in PENDING , then we are announced to > all students to stop their submissions and they can logout by 17:30 IST > and we are waiting to finish all the pending submissions it take around > 18:10 IST Could you explain again step by step what _actually_ happened and what you _expected_ to happen? Preferably do so in short sentences. Best, Jaap > We don't know what's happening on the server . So we are attaching the > server logs with this mail kindly verify and suggest me some solutions > > Regards > Aneesh

3 4

rest api post submissions(Japp)
by Jesús Alberto Domínguez Alfonso 09 Aug '16

09 Aug '16

Hello , Thanks in advance. Please i need help. About your answwer:(Japp) "The REST API is an "application programming interface". The web method does not use it, but "talks" to the webserver directly. Also you don't need libcurl, but this is just one (easy) way of writing code to access the REST API" My problem is a bad request 400, I understand that the problem is that i send the parameters not correctly format and for this problem submmit post rest api doesn,t work. Please if someone know the correctly form to send the parameters, please wrote to me or send me an code example. Now i am going to put two methods make for a friend and me, this methods don´t work, we recieve a bad request 400, he and i are thinking the problems are some parameters that post doesn,t undesrtand,( http://localhost/domjudge/api/submissions POST) methods ------------------------------------------------------------ private void testConsumerPOST(String array, String nombreProblema, String languageId, String contest_id) { String servletURL = "http://localhost/domjudge/api/submissions"; URL servlet = null; try { TrustManager[] trustAllCerts = new TrustManager[]{ new X509TrustManager() { public java.security.cert.X509Certificate[] getAcceptedIssuers() { return null; } public void checkClientTrusted(X509Certificate[] certs, String authType) { } public void checkServerTrusted(X509Certificate[] certs, String authType) { } } }; SSLContext sc = SSLContext.getInstance("SSL"); sc.init(null, trustAllCerts, new java.security.SecureRandom()); HttpsURLConnection.setDefaultSSLSocketFactory(sc. getSocketFactory()); // Create all-trusting host name verifier HostnameVerifier allHostsValid = new HostnameVerifier() { public boolean verify(String hostname, SSLSession session) { return true; } }; // Install the all-trusting host verifier HttpsURLConnection.setDefaultHostnameVerifier(allHostsValid); servlet = new URL(servletURL); *HttpURLConnection servletConnection = (HttpURLConnection) servlet.openConnection();* // AUTENTICACION *String userpass = "admin:admin"; String basicAuth = "Basic " + new String(new com.sun.org.apache.xerces.internal.impl.dv.util.Base64().encode(userpass.getBytes())); servletConnection.setRequestProperty("Authorization", basicAuth); servletConnection.setRequestMethod("POST"); servletConnection.setDoOutput(true); servletConnection.setDoInput(true); OutputStreamWriter out = new OutputStreamWriter(servletConnection.getOutputStream()); ObjectMapper mapper = new ObjectMapper(); Map<String, Object> data = new HashMap<String, Object>();* *data.put("code[]", array); data.put("shortname", nombreProblema); data.put("langid", languageId); data.put("contest", contest_id);* *out.write(mapper.writeValueAsString(data)); *out.flush(); if (*servletConnection.getResponseCode() != HttpURLConnection.HTTP_CREATED*) { throw new RuntimeException("Failed : HTTP error code : " + servletConnection.getResponseCode()); } BufferedReader br = new BufferedReader(new InputStreamReader( (servletConnection.getInputStream()))); String output; System.out.println("Output from Server .... \n"); while ((output = br.readLine()) != null) { System.out.println(output); } out.close(); } catch (MalformedURLException ex) { Logger.getLogger(PostSubmission.class.getName()).log(Level.SEVERE, null, ex); } catch (ProtocolException ex) { Logger.getLogger(PostSubmission.class.getName()).log(Level.SEVERE, null, ex); } catch (IOException ex) { Logger.getLogger(PostSubmission.class.getName()).log(Level.SEVERE, null, ex); } catch (KeyManagementException ex) { Logger.getLogger(PostSubmission.class.getName()).log(Level.SEVERE, null, ex); } catch (NoSuchAlgorithmException ex) { Logger.getLogger(PostSubmission.class.getName()).log(Level.SEVERE, null, ex); } } Also another one with binary data post almost identical: private void testConsumerPOST_Binary(String array, String nombreProblema, String languageId, String contest_id) { String servletURL = "http://192.168.1.146/domjudge/api/submissions"; try { TrustManager[] trustAllCerts = new TrustManager[]{ new X509TrustManager() { public java.security.cert.X509Certificate[] getAcceptedIssuers() { return null; } public void checkClientTrusted(X509Certificate[] certs, String authType) { } public void checkServerTrusted(X509Certificate[] certs, String authType) { } } }; SSLContext sc = SSLContext.getInstance("SSL"); sc.init(null, trustAllCerts, new java.security.SecureRandom()); HttpsURLConnection.setDefaultSSLSocketFactory(sc. getSocketFactory()); // Create all-trusting host name verifier HostnameVerifier allHostsValid = new HostnameVerifier() { public boolean verify(String hostname, SSLSession session) { return true; } }; // Install the all-trusting host verifier HttpsURLConnection.setDefaultHostnameVerifier(allHostsValid); *HttpURLConnection httpcon = (HttpURLConnection) ((new URL(servletURL).openConnection())); httpcon.setDoOutput(true); httpcon.setRequestProperty("Content-Type", "application/json"); httpcon.setRequestProperty("Accept", "application/json"); httpcon.setRequestMethod("POST"); String userpass = "admin:admin"; String basicAuth = "Basic " + new String(new com.sun.org.apache.xerces.internal.impl.dv.util.Base64().encode(userpass.getBytes())); httpcon.setRequestProperty("Authorization", basicAuth); httpcon.connect(); ObjectMapper mapper = new ObjectMapper(); //Jackson Object mapper Map<String, Object> data = new HashMap<String, Object>(); data.put("code[]", array); data.put("shortname", nombreProblema); data.put("langid", languageId); data.put("contest", contest_id); byte[] outputBytes = mapper.writeValueAsString(data).getBytes("UTF-8"); OutputStream os = httpcon.getOutputStream(); os.write(outputBytes);* os.flush(); if (*httpcon.getResponseCode() != HttpURLConnection.HTTP_CREATED*) { throw new RuntimeException("Failed : HTTP error code : " + httpcon.getResponseCode()); } //Get the new submission_id BufferedReader br = new BufferedReader(new InputStreamReader( (httpcon.getInputStream()))); String output; System.out.println("Output from Server .... \n"); while ((output = br.readLine()) != null) { System.out.println(output); } os.close(); } catch (MalformedURLException ex) { Logger.getLogger(PostSubmission.class.getName()).log(Level.SEVERE, null, ex); } catch (ProtocolException ex) { Logger.getLogger(PostSubmission.class.getName()).log(Level.SEVERE, null, ex); } catch (IOException ex) { Logger.getLogger(PostSubmission.class.getName()).log(Level.SEVERE, null, ex); } catch (KeyManagementException ex) { Logger.getLogger(PostSubmission.class.getName()).log(Level.SEVERE, null, ex); } catch (NoSuchAlgorithmException ex) { Logger.getLogger(PostSubmission.class.getName()).log(Level.SEVERE, null, ex); } } None of them are able to submit the files, just to be clear about the data format Im sending: *code[]* ---> "[{\"filename\":\"main.cpp\",\"content\":\" I2luY2x1ZGUgPGlvc3RyZWFtPg0KI2luY2x1ZGUgPHN0ZGlvLmg+ DQoNCnVzaW5nIG5hbWVzcGFjZSBzdGQ7DQoNCmludCBtYWluKCkNCnsNCiAg ICBTdHJpbmcgbm9tYnJlPSJwZWRybyI7DQoJaW50IHZhbD0xLHZhMj0xMCx0 b3RhbD0wOw0KCXRvdGFsPXZhbCt2YWwyOw0KCQ0KCQ0KICAgIHJldHVybiAwOw0KfQ0K\"}]" *shortname* ---> The problem ddbb shortname value previously recovered with the "problems GET method of the API REST" *langid*---> The language id value previously recovered with the "problems GET method of the API REST" (Ex: cpp) *contest* ---> We have tried both contestId and contest_short_name. Im not sure wich one should be sent. My last question is: Is the teamId necessary for the post? ------------------------------------------------------------- thanks in advance.

1 0

rest api post submissions
by Jesús Alberto Domínguez Alfonso 09 Aug '16

09 Aug '16

Hello, Please help. I want to submmit a exercise,i have used a program make for me but i don´t know if i am doing something bad, i put four parameters. data.put("code", array); data.put("langid",languageId); data.put("contest", contest_id); data.put("shortname",nombreProblema); This is the code complete from my method: private void testConsumerPOST(String array[], String nombreProblema, String languageId, String contest_id) { String servletURL = "http://192.168.1.146/domjudge/api/submissions"; URL servlet = null; try { servlet = new URL(servletURL); System.out.println("Sending request to " + servletURL); HttpURLConnection servletConnection = (HttpURLConnection) servlet.openConnection(); servletConnection.setRequestMethod("POST"); servletConnection.setDoOutput(true); servletConnection.setDoInput(true); //send the keys to the server OutputStreamWriter out = new OutputStreamWriter(servletConnection.getOutputStream()); ObjectMapper mapper = new ObjectMapper(); //Jackson Object mapper Map<String, Object> data = new HashMap<String, Object>(); data.put("code", array); data.put("langid",languageId); data.put("contest", contest_id); data.put("shortname",nombreProblema); // data.put("teamid",teamId); out.write(mapper.writeValueAsString(data)); //objOut.flush(); //objOut.close(); } catch (MalformedURLException ex) { Logger.getLogger(PostSubmission.class.getName()).log(Level.SEVERE, null, ex); } catch (ProtocolException ex) { Logger.getLogger(PostSubmission.class.getName()).log(Level.SEVERE, null, ex); } catch (IOException ex) { Logger.getLogger(PostSubmission.class.getName()).log(Level.SEVERE, null, ex); } } king regards.

2 1

THANKS FOR THE DOMJUDGE REST API!!!
by JAVIER BARRIUSO CAMARERO 08 Aug '16

08 Aug '16

Hi there, Your API REST is real good, and I have almost finished the implementation of a single Java client to consume most of your methods, but I have found only one problem with the submission files POST method. Due to technical restrictions Im not allowed to use CURL so I have to use HttpURLConnection and Im receiving constantly a response with 400 Error. After reading the PHP definition I have wrote this quite common Java method: .... private void testConsumerPOST(String array, String nombreProblema, String languageId, String contest_id) { String servletURL = "http://localhost/domjudge/api/submissions"; URL servlet = null; try { TrustManager[] trustAllCerts = new TrustManager[]{ new X509TrustManager() { public java.security.cert.X509Certificate[] getAcceptedIssuers() { return null; } public void checkClientTrusted(X509Certificate[] certs, String authType) { } public void checkServerTrusted(X509Certificate[] certs, String authType) { } } }; SSLContext sc = SSLContext.getInstance("SSL"); sc.init(null, trustAllCerts, new java.security.SecureRandom()); HttpsURLConnection.setDefaultSSLSocketFactory(sc.getSocketFactory()); // Create all-trusting host name verifier HostnameVerifier allHostsValid = new HostnameVerifier() { public boolean verify(String hostname, SSLSession session) { return true; } }; // Install the all-trusting host verifier HttpsURLConnection.setDefaultHostnameVerifier(allHostsValid); servlet = new URL(servletURL); HttpURLConnection servletConnection = (HttpURLConnection) servlet.openConnection(); // AUTENTICACION String userpass = "admin:admin"; String basicAuth = "Basic " + new String(new com.sun.org.apache.xerces.internal.impl.dv.util.Base64().encode(userpass.getBytes())); servletConnection.setRequestProperty("Authorization", basicAuth); servletConnection.setRequestMethod("POST"); servletConnection.setDoOutput(true); servletConnection.setDoInput(true); OutputStreamWriter out = new OutputStreamWriter(servletConnection.getOutputStream()); ObjectMapper mapper = new ObjectMapper(); Map<String, Object> data = new HashMap<String, Object>(); data.put("code[]", array); data.put("shortname", nombreProblema); data.put("langid", languageId); data.put("contest", contest_id); out.write(mapper.writeValueAsString(data)); out.flush(); if (servletConnection.getResponseCode() != HttpURLConnection.HTTP_CREATED) { throw new RuntimeException("Failed : HTTP error code : " + servletConnection.getResponseCode()); } BufferedReader br = new BufferedReader(new InputStreamReader( (servletConnection.getInputStream()))); String output; System.out.println("Output from Server .... \n"); while ((output = br.readLine()) != null) { System.out.println(output); } out.close(); } catch (MalformedURLException ex) { Logger.getLogger(PostSubmission.class.getName()).log(Level.SEVERE, null, ex); } catch (ProtocolException ex) { Logger.getLogger(PostSubmission.class.getName()).log(Level.SEVERE, null, ex); } catch (IOException ex) { Logger.getLogger(PostSubmission.class.getName()).log(Level.SEVERE, null, ex); } catch (KeyManagementException ex) { Logger.getLogger(PostSubmission.class.getName()).log(Level.SEVERE, null, ex); } catch (NoSuchAlgorithmException ex) { Logger.getLogger(PostSubmission.class.getName()).log(Level.SEVERE, null, ex); } } Also another one with binary data post almost identical: private void testConsumerPOST_Binary(String array, String nombreProblema, String languageId, String contest_id) { String servletURL = "http://192.168.1.146/domjudge/api/submissions"; try { TrustManager[] trustAllCerts = new TrustManager[]{ new X509TrustManager() { public java.security.cert.X509Certificate[] getAcceptedIssuers() { return null; } public void checkClientTrusted(X509Certificate[] certs, String authType) { } public void checkServerTrusted(X509Certificate[] certs, String authType) { } } }; SSLContext sc = SSLContext.getInstance("SSL"); sc.init(null, trustAllCerts, new java.security.SecureRandom()); HttpsURLConnection.setDefaultSSLSocketFactory(sc.getSocketFactory()); // Create all-trusting host name verifier HostnameVerifier allHostsValid = new HostnameVerifier() { public boolean verify(String hostname, SSLSession session) { return true; } }; // Install the all-trusting host verifier HttpsURLConnection.setDefaultHostnameVerifier(allHostsValid); HttpURLConnection httpcon = (HttpURLConnection) ((new URL(servletURL).openConnection())); httpcon.setDoOutput(true); httpcon.setRequestProperty("Content-Type", "application/json"); httpcon.setRequestProperty("Accept", "application/json"); httpcon.setRequestMethod("POST"); String userpass = "admin:admin"; String basicAuth = "Basic " + new String(new com.sun.org.apache.xerces.internal.impl.dv.util.Base64().encode(userpass.getBytes())); httpcon.setRequestProperty("Authorization", basicAuth); httpcon.connect(); ObjectMapper mapper = new ObjectMapper(); //Jackson Object mapper Map<String, Object> data = new HashMap<String, Object>(); data.put("code[]", array); data.put("shortname", nombreProblema); data.put("langid", languageId); data.put("contest", contest_id); byte[] outputBytes = mapper.writeValueAsString(data).getBytes("UTF-8"); OutputStream os = httpcon.getOutputStream(); os.write(outputBytes); os.flush(); if (httpcon.getResponseCode() != HttpURLConnection.HTTP_CREATED) { throw new RuntimeException("Failed : HTTP error code : " + httpcon.getResponseCode()); } //Get the new submission_id BufferedReader br = new BufferedReader(new InputStreamReader( (httpcon.getInputStream()))); String output; System.out.println("Output from Server .... \n"); while ((output = br.readLine()) != null) { System.out.println(output); } os.close(); } catch (MalformedURLException ex) { Logger.getLogger(PostSubmission.class.getName()).log(Level.SEVERE, null, ex); } catch (ProtocolException ex) { Logger.getLogger(PostSubmission.class.getName()).log(Level.SEVERE, null, ex); } catch (IOException ex) { Logger.getLogger(PostSubmission.class.getName()).log(Level.SEVERE, null, ex); } catch (KeyManagementException ex) { Logger.getLogger(PostSubmission.class.getName()).log(Level.SEVERE, null, ex); } catch (NoSuchAlgorithmException ex) { Logger.getLogger(PostSubmission.class.getName()).log(Level.SEVERE, null, ex); } } None of them are able to submit the files, just to be clear about the data format Im sending: code[] ---> "[{\"filename\":\"main.cpp\",\"content\":\"I2luY2x1ZGUgPGlvc3RyZWFtPg0KI2luY2x1ZGUgPHN0ZGlvLmg+DQoNCnVzaW5nIG5hbWVzcGFjZSBzdGQ7DQoNCmludCBtYWluKCkNCnsNCiAgICBTdHJpbmcgbm9tYnJlPSJwZWRybyI7DQoJaW50IHZhbD0xLHZhMj0xMCx0b3RhbD0wOw0KCXRvdGFsPXZhbCt2YWwyOw0KCQ0KCQ0KICAgIHJldHVybiAwOw0KfQ0K\"}]" shortname ---> The problem ddbb shortname value previously recovered with the "problems GET method of the API REST" langid---> The language id value previously recovered with the "problems GET method of the API REST" (Ex: cpp) contest ---> We have tried both contestId and contest_short_name. Im not sure wich one should be sent. My last question is: Is the teamId necessary for the post? We would thank any of your comments to finish this amazing program!!! Thanks in advance [😊] Javier.

1 0

DOMjudge-live images
by Jesús Alberto Domínguez Alfonso 08 Aug '16

08 Aug '16

Hello, I would to know please if Live image 5.1.1 domjudge has it installed the submmit clien or if need libcurl, libmagic and libjsoncpp. I want to make a a programme that use the rest api submission post to send a submissions, but i cannot. king regards.

2 1

Judgenode Down issue
by Aneesh R 06 Aug '16

06 Aug '16

Dear Team We have hosted Domjudge 5.0.1 in our university, on 27-07-16 we have conducted practice test for our students , we are facing some issue in judgenode each 10-15 minutes it will goes down , i here attached the screen shots of apache error log file,anyone can help me to resolve the judgehost node down issue . We have separate technical wing is here ,i just enquire with them they told it occur due to the problem set time limit . For example one problem time limit have 1 minut after that the judgenode will goes down I think appache error log is not much for identify this problem, if anything more please specify i will update here Thanks & regards Aneesh

4 7

Error during dj-setup-database
by Malcolm Corney 04 Aug '16

04 Aug '16

During domjudge 5.1.2 setup on Ubuntu 16.04 with MySQL 5.7.13, PHP 7, Apache 2.4.18 I am getting the following error after executing: sudo /opt/domjudge/domserver/bin/dj-setup-database -u root -r install Database credentials read from '/opt/domjudge/domserver/etc/dbpasswords.secret'. Enter password: DOMjudge database and user(s) created. Enter password: ERROR 1292 (22007) at line 744: Truncated incorrect datetime value: '2016-01-01 08:00:00 UTC' There is no line 744 in dj-setup-database. Searching for ERROR 1292 (22007) does not bring me any closer to a solution. I continued with the installation and everything seems to work OK. There are no example contests, users, teams, problems when I do so. Running: sudo /opt/domjudge/domserver/bin/dj-setup-database -u root -r status indicates that the database check was successful. Any hints here? Thanks, Malcolm Corney

2 1

Fedora 24 and Submit Client
by Marc Furon 02 Aug '16

02 Aug '16

I am running Fedora 24. I am trying to install DOMjudge 5.1.2 to start preparing for the next regional contest. When I try to run "configure", it gives an error after checking for jsoncpp/json/json.h. This is because it does not exist. json/json.h does exist. When I look at the jsoncpp-devel package, it does not have any files that are in a directory named jsoncpp. The documentation states that json/json.h should be used. I will skip the submit client for now, and we may decide not to use it at all (we have not used it in the past). However, it would be nice to get it to work. I do not have a Debian system handy to see if the include files are different there. Does anyone have suggestions for a resolution to this problem? Regards, Marc

2 3

rest api and bbdd
by Jesús Alberto Domínguez Alfonso 30 Jul '16

30 Jul '16

Hello, first, Thanks for your help. First i would to know if there is a rest api for example /submission_file that return values that result in this case compiler error, and the code of compilation (warnings and errros from the code that we can see in the picture) If i can´t i would to know where i can get this information in bbdd. [image: Imágenes integradas 1] king regards.

2 2

OCaml support
by Parth Mittal 19 Jul '16

19 Jul '16

Hi I tried to add OCaml to the languages, so the compile script I used is: #!/bin/sh # C++ compile wrapper-script for 'compile.sh'. # See that script for syntax and more info. DEST="$1" ; shift MEMLIMIT="$1" ; shift MAINSOURCE="$1" ocamlc -o "$DEST" "$@" exit $? And for run, I left it as default script. But when a submission is judged, it exits with a RunTime Error The Runguard output follows: /home/foobar/domjudge5.1/judgehost/bin/runguard: cannot start `/testcase001/execdir/program': No such file or directory Try `/home/foobar/domjudge5.1/judgehost/bin/runguard --help' for more information. I tried to look for the file, and it does exist, and works like an executable, so I am not sure what is going wrong. For completeness, I also tried to echo the variables being passed to run, and the output in my temporary log file shows sudo -n /home/foobar/domjudge5.1/judgehost/bin/runguard -P 3 -r /home/foobar/domjudge5.1/judgehost/judgings/foobar-3/endpoint-default/c131-s68948-j78769/testcase001/.. --nproc=50 --no-core --streamsize=40000 --user=domjudge-run-3 --walltime=1:2 --cputime=1:2 --memsize=4096000 --filesize=40000 --stderr=program.err --outmeta=program.meta -- /testcase001/execdir/program Please advise on how to proceed. Thank you Parth Mittal

2 1

DOMjudge with ICPC Tools
by Myungwoo Chun 15 Jul '16

15 Jul '16

Hi, everyone. I'm trying to use DOMjudge with ICPC Tools <https://icpc.baylor.edu/icpctools/>. But I have no idea to configure CDS(Contest Data Server) for DOMjudge. Especially, <ccs user="" password="" eventFeed="" startTime="" submissionFiles=""/> this part. Is there anybody who has used ICPC Tools? Thank you, Myungwoo Chun

2 1

desktop domjudge help
by Jesús Alberto Domínguez Alfonso 14 Jul '16

14 Jul '16

Hello, I want to make a desktop app, this desktop is a web interface simply, in this interface i want to upload a file .c or .c++ and send to domjudge via service web or whatever, i want that domjudge execute and return to me the datas to show all information in mi desktop app. Is it possible?, is there a service web in domjudge? king regards.

3 3

Kernel Parameter on AWS EC2
by Myungwoo Chun 11 Jul '16

11 Jul '16

Hi, I want to enable cgroups for Java memory issues and running multiple judgedaemons in AWS EC2 Ubuntu 14.04 Server instance. However, I can't add "quiet cgroup_enable=memory swapaccount=1" since AWS EC2 doesn't use grub. Is there any method to add kernel parameters to AWS EC2 instance? Thanks, Myungwoo Chun

3 5

[Domjudge] Selectively allowing languages per problem in a contest
by Ambar Pal 27 Jun '16

27 Jun '16

Hi I am trying to set up a contest where I have 4 languages available for the participants along with say 4 problems. Is it possible to configure domjudge in such a manner such that the partipants can solve Problem 1 only with Language 1, Problem 2 with either Language 1 or Language 2, Problem 3 with only Language 3, and so on. I was initially thinking that per problem run scripts would be the solution for this, but turns out it is not the case. I would highly appreciate any help in this regard. Thanks a lot Ambar Pal

2 1

Domjudge usage statstics
by Aneesh R 27 Jun '16

27 Jun '16

Hi Is there any way to collect domjudge usage statistics Like a)how much data is uploaded by each participants b) how much size is used by each participant in domjudge c) how many users are logged in contest Regards Aneesh

2 2

Code Golf
by Parth Mittal 17 Jun '16

17 Jun '16

Hi We would like to run a code golf challenge on domjudge. Does the judge support custom scoring of this form? (In a code golf challenge, the score is a fraction determined by the length of the program) Regards Parth Mittal

2 1

Re: Please help
by Jaap Eldering 16 Jun '16

16 Jun '16

On 30-04-16 00:28, Huynh Anh Dung wrote: > Hi, > I do install Cgroup follow but when I run ./judgedaemon it said "Not using cgroup" > help When you (re)ran configure did it say that cgroups were enabled? Did you recompile and reinstall runguard (or the whole judgehost installation)? Jaap > -----Original Message----- > From: Jaap Eldering [mailto:jaap@jaapeldering.nl] > Sent: Saturday, April 30, 2016 7:37 AM > To: Huynh Anh Dung <dungha(a)fpt.edu.vn> > Subject: Re: Please help > > On 29-04-16 21:26, Huynh Anh Dung wrote: >> Hi Jaap, >> Can you look at 2 lines : >> # exec java -client -Xss8m -Xmx${MEMLIMITJAVA}k -DONLINE_JUDGE=1 -DDOMJUDGE=1 '$MAINCLASS' >> exec java -client -Xmx3g -DONLINE_JUDGE=1 -DDOMJUDGE=1 '$MAINCLASS' >> before you change and successfully run, I already change. > > I recommend not to change it like that: then if you change the configured global memory limit, it will not affect Java submissions. > Also, if you now reduce the memory limit below 3 GB, then java submissions will automatically crash because the JVM is trying to allocate more memory than is allowed by DOMjudge. NOTE: DOMjudge imposes the memory limit onto the whole Java VM, that's why this this whole MEMRESERVED variable is needed in the first place. > > Jaap > > P.S. If you have further questions, please return to using the mailinglist. >

5 22

import
by Huynh Anh Dung 15 Jun '16

15 Jun '16

Hi Jaap, Do you convenient way to add users, teams, and passwd into domjudge. Do you have sample file. What is account file to import and format of this file. Thanks Lec. Huỳnh Anh Dũng ACM/ICPC SUPERVISOR FPT UNIVERSITY. http://www.fpt.edu.vn -----Original Message----- From: DOMjudge-devel [mailto:domjudge-devel-bounces@domjudge.org] On Behalf Of Jaap Eldering Sent: Saturday, April 30, 2016 8:29 PM To: domjudge-devel(a)domjudge.org Subject: Re: Please help On 30-04-16 01:24, Huynh Anh Dung wrote: > When I run ./configure > checking for cgroup_init in -lcgroup... yes > > * default user........: root > * runguard user.......: domjudge-run > * webserver group.....: www-data > - chroot...........: /chroot/domjudge > - cgroup...........: /cgroup > Up to this stage, I don’t know it is or not enable What I'm looking for is actually the line below "webserver group" that says: * use Linux cgroups...: yes/no But when I logged in to your machine, /root/domjudge-5.1.1/config.log shows that cgroups are disabled. You have the package installed, but have not edited /etc/default/grub, so the kernel doesn't support cgroups yet. As a side note, you should not install DOMjudge as root user. Instead create a separate user to install it as: DOMjudge will use 'sudo' to obtain root privileges only when needed. Jaap >> Did you install or copy runguard to the judgehost installation (under judgehost/bin)? This step is not explicitly listed in the documentation. > Not yet it is not listed in the document Best > > Lec. Huỳnh Anh Dũng > ACM/ICPC SUPERVISOR > FPT UNIVERSITY. > http://www.fpt.edu.vn > > -----Original Message----- > From: DOMjudge-devel [mailto:domjudge-devel-bounces@domjudge.org] On > Behalf Of Jaap Eldering > Sent: Saturday, April 30, 2016 10:57 AM > To: domjudge-devel(a)domjudge.org > Subject: Re: Please help > > On 30-04-16 00:51, Huynh Anh Dung wrote: >> Hi, >> I do follow exact with the help file and I do up to: >> -Install the necessary packages: # apt-get install libcgroup-dev (or >> # yum install libcgroup-devel on RedHat) >> - Edit grub config to add memory cgroup and swap accounting to the boot options. Edit /etc/default/grub and change the default commandline to GRUB_CMDLINE_LINUX_DEFAULT="quiet cgroup_enable=memory swapaccount=1". Then run update-grub and reboot. >> -Compile DOMjudge with cgroup support. Re-run ./configure and look for cgroup in the output. > > And did the configure output say that cgroups were enabled? > >> How to rebuild : Then rebuild the runguard with make build. I only >> make all after re-run ./configure > > Did you install or copy runguard to the judgehost installation (under judgehost/bin)? This step is not explicitly listed in the documentation. > > Jaap > > >> Upto that point, then I run ./judgedaemon Then I said no cgroup Best >> >> Lec. Huỳnh Anh Dũng >> ACM/ICPC SUPERVISOR >> FPT UNIVERSITY. >> http://www.fpt.edu.vn >> >> -----Original Message----- >> From: Jaap Eldering [mailto:jaap@jaapeldering.nl] >> Sent: Saturday, April 30, 2016 10:45 AM >> To: Huynh Anh Dung <dungha(a)fpt.edu.vn>; domjudge-devel(a)domjudge.org >> Subject: Re: Please help >> >> On 30-04-16 00:28, Huynh Anh Dung wrote: >>> Hi, >>> I do install Cgroup follow but when I run ./judgedaemon it said "Not using cgroup" >>> help >> >> When you (re)ran configure did it say that cgroups were enabled? >> >> Did you recompile and reinstall runguard (or the whole judgehost installation)? >> >> Jaap >> >> >>> -----Original Message----- >>> From: Jaap Eldering [mailto:jaap@jaapeldering.nl] >>> Sent: Saturday, April 30, 2016 7:37 AM >>> To: Huynh Anh Dung <dungha(a)fpt.edu.vn> >>> Subject: Re: Please help >>> >>> On 29-04-16 21:26, Huynh Anh Dung wrote: >>>> Hi Jaap, >>>> Can you look at 2 lines : >>>> # exec java -client -Xss8m -Xmx${MEMLIMITJAVA}k -DONLINE_JUDGE=1 -DDOMJUDGE=1 '$MAINCLASS' >>>> exec java -client -Xmx3g -DONLINE_JUDGE=1 -DDOMJUDGE=1 '$MAINCLASS' >>>> before you change and successfully run, I already change. >>> >>> I recommend not to change it like that: then if you change the configured global memory limit, it will not affect Java submissions. >>> Also, if you now reduce the memory limit below 3 GB, then java submissions will automatically crash because the JVM is trying to allocate more memory than is allowed by DOMjudge. NOTE: DOMjudge imposes the memory limit onto the whole Java VM, that's why this this whole MEMRESERVED variable is needed in the first place. >>> >>> Jaap >>> >>> P.S. If you have further questions, please return to using the mailinglist. >>> >> >> > > _______________________________________________ > DOMjudge-devel mailing list > DOMjudge-devel(a)domjudge.org > https://www.domjudge.org/mailman/listinfo/domjudge-devel > _______________________________________________ DOMjudge-devel mailing list DOMjudge-devel(a)domjudge.org https://www.domjudge.org/mailman/listinfo/domjudge-devel

2 1

Update compile script
by Hoai-Thu Vuong 14 Jun '16

14 Jun '16

Hi In case adding a new language and compile script for a new language or update compile script of a language, what should I do? I see the source code and domjudge scheme, I found the table "executable" contains some content and md5 of zip files, so that, should I write a command to read content of zip file and calculate md5 then put it into db?

2 3

Judgedaemon binding
by Parth Mittal 06 Jun '16

06 Jun '16

Hi We’re trying to run domserver an judgedaemons on the same machine (a 6 core VM). My plan so far is to use the kernel flag isolcpus to reserve 4 cores for the judgedaemons. My question is that when we bind a judgedaemon using judgedamon -n does it set the affinity to the right mask by itself or do I need to do something? Thanks Parth Mittal PS. I’d also appreciate any alternate approaches that you have in mind.

2 3

Balloons Problem
by Aneesh R 04 Jun '16

04 Jun '16

Hi Team I am using Domjudge 5.0.3 server in AWS ,now i facing balloons color problem i cant provide balloon color for each problems only white color is there. So how can i resolve it Regards Aneesh

4 9

files .txt in domjudge
by Jesús Alberto Domínguez Alfonso 03 Jun '16

03 Jun '16

Hello, i have a sort program, it has files .txt with datas, i upload the .cpp and .txt and later execute with domjudge but i get problems with .txt. how can i use programs with files .txt. regards.

2 2

Installation documentation
by Aneesh R 31 May '16

31 May '16

Hi all Is there anybody have brief documentation of installation about domjudge web server and can you please just share it for me Regards Aneesh

2 1

Add problems
by Jesús Alberto Domínguez Alfonso 31 May '16

31 May '16

Hello, Help please, i have used a live image domjudge5.1.1 if i want add a new problem with zip file the system said is upload but testcase are all 0, but i am using zip files from your web. Added 0 sample testcase(s). Added 0 secret testcase(s). Added 0 jury solution(s). [image: Imágenes integradas 2][image: Imágenes integradas 1] regards, <https://www.avast.com/sig-email?utm_medium=email&utm_source=link&utm_campai…> Libre de virus. www.avast.com <https://www.avast.com/sig-email?utm_medium=email&utm_source=link&utm_campai…> <#DDB4FAA8-2DD7-40BB-A1B8-4E2AA1F9FDF2>

2 1

Demo in web is down
by Jesús Alberto Domínguez Alfonso 31 May '16

31 May '16

Hello, Demo domjudge is down I can´t logging i see a white screen. [image: Imágenes integradas 1] regards. <https://www.avast.com/sig-email?utm_medium=email&utm_source=link&utm_campai…> Libre de virus. www.avast.com <https://www.avast.com/sig-email?utm_medium=email&utm_source=link&utm_campai…> <#DDB4FAA8-2DD7-40BB-A1B8-4E2AA1F9FDF2>

2 1

Scoreboard cache refresh fails
by Parth Mittal 29 May '16

29 May '16

Hi We have this one giant practice session contest running all the time, and we want the scoreboard to work here. So the scoreboard.php when called uses more than 128M memory, and I increased the limit in /etc/php5/apache2/php.ini to 512M, so now that works to render the scoreboard. However, when I do scoreboard cache refresh, we still run out of memory, so I assume it uses a different php.ini? Where can I edit this file? Thank you Parth Mittal

1 1

Error after upgrade
by Parth Mittal 29 May '16

29 May '16

Hi guys We were running domjudge version 4.0 on Ubuntu 12.04, and over the weekend decided to upgrade 5.1. (I’m not the original maintainer, he has graduated from our institute). So the database upgrade scripts ran mostly fine. I had to change the shortname column fill line (in 4.0 -> 5.0) UPDATE `contest` SET `shortname` = CONCAT(`cid`, UPPER(SUBSTR(REPLACE(`name`, ' ', ''), 1, 10))), `public` = 1; since previous version did not generate unique value for contests with long common prefix. Further I commented out the line to upgrade to support full unicode (in 5.0 -> 5.1) because it refers to a file that I couldn’t find, and gave an error. So after this DB upgrade was complete. Now for Apache conf, since we are still on 2.2, I didn’t find the a2enconf, and found in /etc/apache2/conf.d a symlink to the previous apache.conf. So I updated the symlink, and then commented out the apache2.4 parts of the new file. Is there something else I need to do? Because when I run, I get 500s in the web browser. I also tried to look at the apache log file, and I got these errors Sun May 29 11:23:10 2016] [notice] Apache/2.2.22 (Ubuntu) PHP/5.3.10-1ubuntu3.23 with Suhosin-Patch mod_wsgi/3.3 Python/2.7.3 configured -- resuming normal operations [Sun May 29 11:23:17 2016] [error] [client 192.168.1.99] File does not exist: /var/www/contest [Sun May 29 11:23:19 2016] [error] [client 192.168.1.99] PHP Parse error: syntax error, unexpected '[' in /home/foobar/domjudge5.1/domserver/lib/www/print.php on line 126 Could you please advise on how to fix? I have a backup of the database from the 4.0 install, so I can even start the process again if I did something wrong earlier, but I would prefer not to do that since the backup is ~100 GB (because of large number of submissions). Thank you Parth Mittal

2 4

BBDD domjudge
by Jesús Alberto Domínguez Alfonso 28 May '16

28 May '16

Hi, I want to know please if you have a picture E-R(*entity–relationship model*) and where i can find. regards. <https://www.avast.com/sig-email?utm_medium=email&utm_source=link&utm_campai…> Libre de virus. www.avast.com <https://www.avast.com/sig-email?utm_medium=email&utm_source=link&utm_campai…> <#DDB4FAA8-2DD7-40BB-A1B8-4E2AA1F9FDF2>

2 1

Script
by Jesús Alberto Domínguez Alfonso 24 May '16

24 May '16

Hello, I want to know please if i can use cppchecker as analyzer code and how can I do. I must change a .sh and include a line that execute cppchecker or what can I do. kind regards.

2 1

Meet us at the World Finals!
by Tobias Werth 16 May '16

16 May '16

Hi all, We (Thijs, Keith, Jaap and Tobi) are currently at the world finals. Keith will present his work on Hosted DOMjudge [1] today evening at 8pm at the CLI Symposium at Le Meridien - Karon B. If anyone else is interested to talk and meet, at that or another time, please do get in touch! Greetings from Phuket, Tobi 1: https://ciiwiki.ecs.baylor.edu/index.php/Hosted_DOMjudge

1 0

Run over 8 judgedaemon on server
by Vũ Linh Nguyễn 13 May '16

13 May '16

Hi, I have a problem when I try to run multi-core judgedaemon. I followed your document. I setup cgroups, edit etc/cgroup-domjudge.conf: -- Change cpuset.cpus = 0 => cpuset.= 0-22; I also add file misctools/create_cgroups to /etc/cgconf.d/cgroup-domjudge. After that, I check /cgroup/cpuset/domjudge/cpuset.cpus => Output is 0-23. I also build runguard after I config cgroups. But I only can run 8 judgedaemon. From judge 9th, if it compile any code, I will receive this error: Compiling failed with exitcode 255, compiler output: /domjudge/judgehost/bin/runguard: illegal user specified: 7809 Try `/domjudge/judgehost/bin/runguard --help' for more information. I set all user is user that I run domjudge. But judge 8 judge can compile well. Please help me! Thank you!

4 4

Compiler error
by Vũ Linh Nguyễn 09 May '16

09 May '16

Dear Sir, I am using Domjudge to set up ACM Contest in my school, everything is OK. I can submit Java, C, C++ very well. I also install cgroup and using chroot. But sometime, I received error like this when I submit any code, just somtimes this happened, and when I rejudge them, I received CORRECT response. Error text: Compiling failed with exitcode 255, compiler output: /domjudge/judgehost/bin/runguard: illegal user specified: 7806 Try `/domjudge/judgehost/bin/runguard --help' for more information. Can you show me how to solve this problem? And I also run domjudge without root accout, I run it with an account with root privillege! Thanks. I'm looking forward for your help! Best regard, Linh

2 1

2025

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

DOMjudge-devel