summaryrefslogtreecommitdiff
path: root/js/prolog.js
AgeCommit message (Collapse)Author
2015-09-18XMerge branch 'master' of ssh://212.235.189.51:22122/codeq-webRobert Zorko
2015-09-18added python and prolog into two different statesRobert Zorko
2015-09-17Refactored hint handling into a separate module.Aleš Smodiš
2015-09-17Minor bugfix in prolog mode terminal: don't add an additional full-stop on ↵Aleš Smodiš
manual stop of browsing through answers.
2015-09-16Bugfix: console must not collapse spaces.Aleš Smodiš
2015-09-16Removed the "run" and "break" buttons. Removed commented-out code from ↵Aleš Smodiš
prolog and python handlers.
2015-09-15A few terminal newline fixes for Prolog.Aleš Smodiš
2015-09-15Prolog handler now uses CodeQ terminal.Aleš Smodiš
2015-09-14Reimplemented communication with the server.Aleš Smodiš
* Using engine.io to use web sockets or long polling. * Changed to a single-page app.
2015-09-10Support hints with indexed messagesTimotej Lazar
Add an 'indices' field with an index array to a hint object to select a particular message.
2015-09-08Process templates in popover hintsTimotej Lazar
2015-09-04Remove limits on activity time deltasTimotej Lazar
2015-09-01Send the language as a request parameterTimotej Lazar
2015-08-28Handle test results as a static hintTimotej Lazar
2015-08-28Add support for template arguments in hintsTimotej Lazar
2015-08-28Add initial support for hintsTimotej Lazar
2015-08-27Allow 'n' for next answer in Prolog queryTimotej Lazar
2015-08-27Add testing functionalityTimotej Lazar
2015-08-26Fixed sending of activities (traces and solutions).Aleš Smodiš
2015-08-25Work on sending activity trace.Aleš Smodiš
2015-08-25Login now fetches the list of available problems from the server.Aleš Smodiš
Made the query work, so terminal interaction now works.
2015-08-24Introduced the Q promises library, created a basic login page to test prolog ↵Aleš Smodiš
examples, and started tying the terminal and editor activity to the REST services.
2015-07-17Show the sins.py example in the mockup.Aleš Smodiš
2015-07-17Tied the 3 hint mockups to the 3 buttons.Aleš Smodiš
2015-07-16Fix backgound of popups.Aleš Smodiš
2015-07-16Implemented pop-up with bootstrap's popover.Aleš Smodiš
2015-07-15Added support for displaying hints. For now triggered by hand via a console, ↵Aleš Smodiš
e.g. FireBug.