summaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2015-08-28Change timeout result in python runnerTimotej Lazar
2015-08-28Handle test results as a static hintTimotej Lazar
2015-08-28Add a hint service for PrologTimotej Lazar
2015-08-28Fix regex for stripping internal Prolog engine IDsTimotej Lazar
2015-08-28Fix SQL in UserSession.update_solutionTimotej Lazar
2015-08-28Add Python session supportTimotej Lazar
2015-08-28Add support for creating Python interpretersTimotej Lazar
2015-08-28Destroy the Prolog engine when ending a queryTimotej Lazar
2015-08-27Strip trailing periods from Prolog queriesTimotej Lazar
2015-08-27Remove unneeded importTimotej Lazar
2015-08-27Fix a typoTimotej Lazar
2015-08-27Add test service to wsgi_serverTimotej Lazar
2015-08-27Add some helper methods to db.modelsTimotej Lazar
2015-08-27Replace prolog.engine.run with ask_allTimotej Lazar
2015-08-27Fix a typo and add a commentTimotej Lazar
2015-08-26Implemented activity service (auto-saving of traces and solutions).Aleš Smodiš
2015-08-26Use /destroy_all to abort and destroy penginesTimotej Lazar
2015-08-26Add the tagsfile to .gitignoreTimotej Lazar
2015-08-26Do not include facts when loading Prolog solutionsTimotej Lazar
2015-08-25Wait with updating solutions until the code is done.Aleš Smodiš
2015-08-25Merge branch 'master' of ssh://212.235.189.51:22122/codeq-serverAleš Smodiš
2015-08-25Work on handling activity trace.Aleš Smodiš
2015-08-25Update readmeTimotej Lazar
2015-08-25Implemented methods to fetch a list of available problems and the problem des...Aleš Smodiš
2015-08-25Fix a typo.Aleš Smodiš
2015-08-24Split the development into daemon and wsgi_server.Aleš Smodiš
2015-08-24Remove in-edges from monkey.graph.Node classTimotej Lazar
2015-08-24.gitignore some more stuffTimotej Lazar
2015-08-24Simplify python.engineTimotej Lazar
2015-08-24monkey.graph.graphviz: fix escaping of node labelsTimotej Lazar
2015-08-24monkey.graph.graphviz: use id() to reference nodesTimotej Lazar
2015-08-21Add a hashbang line to the Prolog server scriptTimotej Lazar
2015-08-21Add a Python server for running users' codeTimotej Lazar
2015-08-20Add a Prolog pengine server for running queriesTimotej Lazar
2015-08-20Add prolog.engine.runTimotej Lazar
2015-08-20Simplify and privatize prolog.engine.get_messageTimotej Lazar
2015-08-20Add a timeout option for prolog.engine requestsTimotej Lazar
2015-08-20Replace strip_html function in prolog.engineTimotej Lazar
2015-08-20Convert monkey.edits to use the new DBTimotej Lazar
2015-08-20Add a data model for the problem tableTimotej Lazar
2015-08-20Merge branch 'master' of ssh://212.235.189.51:22122/codeq-serverAleš Smodiš
2015-08-20Bugfix: database constraint problem.problem_uq2 referenced only identifier, b...Aleš Smodiš
2015-08-20Remove unneeded DB init stuff from monkey.actionTimotej Lazar
2015-08-19Adapted existing database entities to changes in the model. Excluded database...Aleš Smodiš
2015-08-19New database tables and data imports: user_group, user_in_group, language, pr...Aleš Smodiš
2015-08-18Implemented the script to export problems from the SQLite database to the new...Aleš Smodiš
2015-08-13The essential .gitignore.Aleš Smodiš
2015-08-13The conversion script SQLite -> PostgreSQL:Aleš Smodiš
2015-08-13The initial readme.Aleš Smodiš
2015-08-13Initial PostgreSQL data model: codeq_user and solution tables.Aleš Smodiš