| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2015-09-30 | Add RobotSession | Timotej Lazar | |
| Currently it does nothing useful. | |||
| 2015-09-29 | removed some debug output and actually enabled writing into the DB | Robert Zorko | |
| 2015-09-29 | added 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-29 | Merge branch 'master' of ssh://212.235.189.51:22122/codeq-server | Robert Zorko | |
| 2015-09-29 | added 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-29 | Add HintPopup and set hint_type on Hint* classes | Timotej Lazar | |
| 2015-09-24 | Update monkey.test.test for new testing functions | Timotej Lazar | |
| 2015-09-24 | Remove trailing . from historical Prolog queries | Timotej Lazar | |
| 2015-09-24 | Create WEB_OUTPUT directory if it doesn't exist | Timotej Lazar | |
| 2015-09-24 | Updated the readme: scripts/build_web_resources.py must be run before ↵ | Aleš Smodiš | |
| running the whole shebang. | |||
| 2015-09-24 | Update JSON build script: include problem name translations with language ↵ | Aleš Smodiš | |
| index data. | |||
| 2015-09-23 | Implemented the script to build static JSON data for problem definitions. | Aleš Smodiš | |
| 2015-09-23 | Kill Python interpreter on excessive output | Timotej Lazar | |
| 2015-09-23 | Only show ^C on interrupt if user code is running | Timotej Lazar | |
| 2015-09-23 | Allow syscalls needed for help() in Python sandbox | Timotej Lazar | |
| 2015-09-22 | Merge branch 'master' of ssh://212.235.189.51:22122/codeq-server | Martin | |
| 2015-09-22 | Added basic handling of exception to util.py | Martin | |
| 2015-09-22 | Add Node.subtrees and Node.leaves functions | Timotej Lazar | |
| 2015-09-22 | Merge branch 'master' of ssh://212.235.189.51:22122/codeq-server | Martin | |
| 2015-09-22 | Fix an inconsequential typo | Timotej Lazar | |
| 2015-09-22 | Oops, overzealous copy/paste | Timotej Lazar | |
| 2015-09-22 | Create the hint-list in individual test functions | Timotej Lazar | |
| This will allow us to add more hints, for example "did you know?"-type information when the program is correct. | |||
| 2015-09-22 | Add support for execing the user's Python program | Timotej Lazar | |
| 2015-09-21 | Merge branch 'master' of ssh://212.235.189.51:22122/codeq-server | Martin | |
| 2015-09-21 | Changed testing in util.py | Martin | |
| Changed output when timeout occurs in Python | |||
| 2015-09-18 | Set problems path via CODEQ_PROBLEMS environment variable. | Aleš Smodiš | |
| 2015-09-18 | added a parameter to the get problems python function, which accepts the ↵ | Robert Zorko | |
| language (either 'prolog' or 'python') | |||
| 2015-09-18 | Send the plan definition in get_problem_data | Timotej Lazar | |
| 2015-09-18 | Merge branch 'master' of ssh://212.235.189.51:22122/codeq-server | Martin | |
| 2015-09-18 | Added functions to util.py. | Martin | |
| 2015-09-18 | Simplify exceptions returned by PythonSession.run | Timotej Lazar | |
| Don't include the first stack entry or the filename (which is <string>). | |||
| 2015-09-17 | Replace prolog.engine.ask_all with check_answers | Timotej Lazar | |
| When testing a program we can stop searching for new solutions after we have received a wrong one. | |||
| 2015-09-16 | Update readme | Timotej Lazar | |
| 2015-09-16 | Implement async. comm. with Python interpreter | Timotej 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-15 | Add handlers for python_{push,pull} requests | Timotej Lazar | |
| Will be reimplemented asynchronously. | |||
| 2015-09-15 | Merge branch 'master' of ssh://212.235.189.51:22122/codeq-server | Aleš Smodiš | |
| 2015-09-15 | Bugfix: invert the packet length comparison in the TCP packet decode loop. | Aleš Smodiš | |
| 2015-09-15 | Merge branch 'master' of ssh://212.235.189.51:22122/codeq-server | Martin | |
| 2015-09-15 | Added utility functions to util.py | Martin | |
| 2015-09-15 | Removed WSGI parts. They've been supplanted with the node app and the TCP ↵ | Aleš Smodiš | |
| communication with the node app. | |||
| 2015-09-15 | Augmented the readme with apache directives for proxying websocket directives. | Aleš Smodiš | |
| 2015-09-14 | Fix two bugs in chunk-parsing code in main.js | Timotej Lazar | |
| Invert a comparison and initialize receivedLength to 0 after emptying receiveBuffer. | |||
| 2015-09-14 | Add SID to JSON object in UserSession.send | Timotej Lazar | |
| 2015-09-14 | Correct proxy path in readme | Timotej Lazar | |
| 2015-09-14 | Reimplemented 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-14 | Script for adding problems to DB, update readme | Timotej Lazar | |
| 2015-09-11 | Pass a list of solved problems to Prolog hint/test | Timotej 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-11 | Pass PythonSession.run to hint and test functions | Timotej Lazar | |
| No other session stuff is needed (for now). | |||
| 2015-09-11 | Use Hint classes in PythonSession | Timotej Lazar | |
 |
index : codeq-server.git | |
| CodeQ server | git repository hosting |
| summaryrefslogtreecommitdiff |