summaryrefslogtreecommitdiff
AgeCommit message (Collapse)Author
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
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
This calls the test function defined in common.py for the given problem.
2015-08-27Add some helper methods to db.modelsTimotej Lazar
2015-08-27Replace prolog.engine.run with ask_allTimotej Lazar
Creating and destroying the pengine should be handled somewhere else. This commit also removes query functionality from prolog.engine.create.
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
Poorly documented, but works better than abort & destroy.
2015-08-26Add the tagsfile to .gitignoreTimotej Lazar
2015-08-26Do not include facts when loading Prolog solutionsTimotej Lazar
Fact library is not a part of the solution, and is loaded separately when running queries or tests for a particular problem.
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š