summaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2015-09-29Add HintPopup and set hint_type on Hint* classesTimotej Lazar
2015-09-24Update monkey.test.test for new testing functionsTimotej Lazar
2015-09-24Remove trailing . from historical Prolog queriesTimotej Lazar
2015-09-24Create WEB_OUTPUT directory if it doesn't existTimotej Lazar
2015-09-24Updated the readme: scripts/build_web_resources.py must be run before running...Aleš Smodiš
2015-09-24Update JSON build script: include problem name translations with language ind...Aleš Smodiš
2015-09-23Implemented the script to build static JSON data for problem definitions.Aleš Smodiš
2015-09-23Kill Python interpreter on excessive outputTimotej Lazar
2015-09-23Only show ^C on interrupt if user code is runningTimotej Lazar
2015-09-23Allow syscalls needed for help() in Python sandboxTimotej Lazar
2015-09-22Merge branch 'master' of ssh://212.235.189.51:22122/codeq-serverMartin
2015-09-22Added basic handling of exception to util.pyMartin
2015-09-22Add Node.subtrees and Node.leaves functionsTimotej Lazar
2015-09-22Merge branch 'master' of ssh://212.235.189.51:22122/codeq-serverMartin
2015-09-22Fix an inconsequential typoTimotej Lazar
2015-09-22Oops, overzealous copy/pasteTimotej Lazar
2015-09-22Create the hint-list in individual test functionsTimotej Lazar
2015-09-22Add support for execing the user's Python programTimotej Lazar
2015-09-21Merge branch 'master' of ssh://212.235.189.51:22122/codeq-serverMartin
2015-09-21Changed testing in util.pyMartin
2015-09-18Set problems path via CODEQ_PROBLEMS environment variable.Aleš Smodiš
2015-09-18added a parameter to the get problems python function, which accepts the lang...Robert Zorko
2015-09-18Send the plan definition in get_problem_dataTimotej Lazar
2015-09-18Merge branch 'master' of ssh://212.235.189.51:22122/codeq-serverMartin
2015-09-18Added functions to util.py.Martin
2015-09-18Simplify exceptions returned by PythonSession.runTimotej Lazar
2015-09-17Replace prolog.engine.ask_all with check_answersTimotej Lazar
2015-09-16Update readmeTimotej Lazar
2015-09-16Implement async. comm. with Python interpreterTimotej Lazar
2015-09-15Add handlers for python_{push,pull} requestsTimotej Lazar
2015-09-15Merge branch 'master' of ssh://212.235.189.51:22122/codeq-serverAleš Smodiš
2015-09-15Bugfix: invert the packet length comparison in the TCP packet decode loop.Aleš Smodiš
2015-09-15Merge branch 'master' of ssh://212.235.189.51:22122/codeq-serverMartin
2015-09-15Added utility functions to util.pyMartin
2015-09-15Removed WSGI parts. They've been supplanted with the node app and the TCP com...Aleš Smodiš
2015-09-15Augmented the readme with apache directives for proxying websocket directives.Aleš Smodiš
2015-09-14Fix two bugs in chunk-parsing code in main.jsTimotej Lazar
2015-09-14Add SID to JSON object in UserSession.sendTimotej Lazar
2015-09-14Correct proxy path in readmeTimotej Lazar
2015-09-14Reimplemented communication with the client side.Aleš Smodiš
2015-09-14Script for adding problems to DB, update readmeTimotej Lazar
2015-09-11Pass a list of solved problems to Prolog hint/testTimotej Lazar
2015-09-11Pass PythonSession.run to hint and test functionsTimotej Lazar
2015-09-11Use Hint classes in PythonSessionTimotej Lazar
2015-09-11s/hint_defs/hint_type/gTimotej Lazar
2015-09-10Remove unneeded importTimotej Lazar
2015-09-10Add Hint classes for normal and sequence hintsTimotej Lazar
2015-09-10Update prolog engine (sasha's aux functions for prolog hint testing added).Aleksander Sadikov
2015-09-08Check for syntax errors in python_session.hintTimotej Lazar
2015-09-04Add Python push&pull services to wsgi_serverTimotej Lazar