summaryrefslogtreecommitdiff
AgeCommit message (Collapse)Author
2015-10-06Fixed a bug with function almost_equal.Martin
2015-10-06Bugfix: revert to request.session.update_settings() in the Settings class.Aleš Smodiš
2015-10-06Kill all the zombiesTimotej Lazar
2015-10-06sign up, update last_loginMarko Pušnik
2015-10-06Merge branch 'master' of ssh://212.235.189.51:22122/codeq-serverMarko Pušnik
2015-10-06change passwordMarko Pušnik
2015-10-05Implemented systemd unit files to manage CodeQ daemons.Aleš Smodiš
2015-10-05Add the prolog runner to be used for daemonisation in init scripts.Aleš Smodiš
2015-10-05Update actionsTimotej Lazar
2015-10-05Bind the node server to the localhost interface.Aleš Smodiš
2015-10-05Add logging to file to python server. Configure logfile paths from ↵Aleš Smodiš
environment variables CODEQ_SERVER_LOG and CODEQ_WEB_LOG.
2015-10-05Bugfix: correctly handle python-nodejs transport using bytes.Aleš Smodiš
2015-10-04Unification of language session implementations. Added load_problem and ↵Aleš Smodiš
end_problem actions so handlers get appropriately created and destroyed upon loading and unloading the problem solving screen.
2015-10-04Improved exception tolerance, added logging to a file, removed old code, ↵Aleš Smodiš
simplified handling of common requests.
2015-10-03Update and clean up installation instructionsTimotej Lazar
2015-10-01Build script also produces the web resources tree.Aleš Smodiš
2015-09-30Add RobotSessionTimotej Lazar
Currently it does nothing useful.
2015-09-29removed some debug output and actually enabled writing into the DBRobert Zorko
2015-09-29added support to save settings, currently only 'lang' will actually be ↵Robert Zorko
saved, since it is the only one already in the database
2015-09-29Merge branch 'master' of ssh://212.235.189.51:22122/codeq-serverRobert Zorko
2015-09-29added settings to the user session and the login function now also returns ↵Robert Zorko
those settings - currently only gui language is implemented. The create.sql script is updated for that change as well.
2015-09-29 * Bugfix: always do cur.fetchone() on new iteration.Aleš Smodiš
* Implemented ordering of problem groups and problems. * Added hint types based on hint definitions from common.py files.
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 ↵Aleš Smodiš
running the whole shebang.
2015-09-24Update JSON build script: include problem name translations with language ↵Aleš Smodiš
index data.
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
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-21Merge branch 'master' of ssh://212.235.189.51:22122/codeq-serverMartin
2015-09-21Changed testing in util.pyMartin
Changed output when timeout occurs in Python
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