summaryrefslogtreecommitdiff
AgeCommit message (Collapse)Author
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
This will allow us to add more hints, for example "did you know?"-type information when the program is correct.
2015-09-22Add support for execing the user's Python programTimotej Lazar
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 ↵Robert Zorko
language (either 'prolog' or 'python')
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
Don't include the first stack entry or the filename (which is <string>).
2015-09-17Replace prolog.engine.ask_all with check_answersTimotej Lazar
When testing a program we can stop searching for new solutions after we have received a wrong one.
2015-09-16Update readmeTimotej Lazar
2015-09-16Implement async. comm. with Python interpreterTimotej Lazar
Creating, destroying and communicationg with the interpreter subprocess is now handled by a thread attached to PythonSession. Interpreter is sandboxed using libseccomp.
2015-09-15Add handlers for python_{push,pull} requestsTimotej Lazar
Will be reimplemented asynchronously.
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 ↵Aleš Smodiš
communication with the node app.
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
Invert a comparison and initialize receivedLength to 0 after emptying receiveBuffer.
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š
* Implemented a node web server supporting asynchronous websocket and long-polling communication with clients. * Implemented TCP communication between python middleware and node web server.
2015-09-14Script for adding problems to DB, update readmeTimotej Lazar
2015-09-11Pass a list of solved problems to Prolog hint/testTimotej Lazar
This replaces the session parameter that was passed before but not used. Especially in the hint functions it will be useful in some cases to handle user's current code, previous solutions, and the facts library separately.
2015-09-11Pass PythonSession.run to hint and test functionsTimotej Lazar
No other session stuff is needed (for now).
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
2015-09-03Pass the session object to test and hint functionsTimotej Lazar
2015-09-03Use multiprocessing.managers for the Python runnerTimotej Lazar
2015-09-02Update monkey.test to work with new DBTimotej Lazar
2015-09-02Accept test function as a parameter to monkey.fixTimotej Lazar
2015-09-01Change hard-coded language to Slovene for testingTimotej Lazar
2015-09-01Add Python support to wsgi_server.{Hint,Test}Timotej Lazar
2015-08-31Return problems for all languages in list_problemsTimotej Lazar
2015-08-31s/Problem.identifier()/Problem.get_identifier()Timotej Lazar
2015-08-31Add a Python utility moduleTimotej Lazar
2015-08-31Update examples in readme.txtTimotej Lazar
2015-08-31Add hint & test functions for PythonSessionTimotej Lazar
2015-08-31Update TODOTimotej Lazar
2015-08-31Add TODOTimotej Lazar
2015-08-30Path (for loading modules) now usable also on Windows.Aleksander Sadikov
2015-08-30Replaced localhost with 127.0.0.1Aleksander Sadikov
Windows takes a while to resolve the above.
2015-08-28Change timeout result in python runnerTimotej Lazar