codeq-web.git - CodeQ web client

Age	Commit message (Collapse)	Author
2015-09-18	Use a link instead of a button in a static hint sequence.	Aleš Smodiš

2015-09-18	Add "Plan" button to display next "planning" hint	Timotej Lazar

2015-09-18	divided the login and problem chooser into two different screens	Robert Zorko

2015-09-18	removed some forgotten references form the index file	Robert Zorko

2015-09-18	added some comments and improved the selection of the divs which are beeing ↵	Robert Zorko
	changed when transitioning
2015-09-18	XMerge branch 'master' of ssh://212.235.189.51:22122/codeq-web	Robert Zorko

2015-09-18	added python and prolog into two different states	Robert Zorko

2015-09-17	Refactored hint handling into a separate module.	Aleš Smodiš

2015-09-17	improvments to the state machine (states can now be registered) and those ↵	Robert Zorko
	improvments are now used for the existing two states (plus some code general code cleanup)
2015-09-16	Enabled the state machine and the UI improvments and removed some debug loging	Robert Zorko

2015-09-16	Merge branch 'master' of ssh://212.235.189.51:22122/codeq-web	Robert Zorko

2015-09-16	basis for the state machine and some UI improvements (currently disabled)	Robert Zorko

2015-09-16	Removed the "run" and "break" buttons. Removed commented-out code from ↵	Aleš Smodiš
	prolog and python handlers.
2015-09-15	Remove the old code: old communication, separate prolog and python pages.	Aleš Smodiš

2015-09-14	Implemented async delivery of server events.	Aleš Smodiš
	Fixed center alignment: only the login page needs to be centered.
2015-09-14	Reimplemented communication with the server.	Aleš Smodiš
	* Using engine.io to use web sockets or long polling. * Changed to a single-page app.
2015-08-25	Login now fetches the list of available problems from the server.	Aleš Smodiš
	Made the query work, so terminal interaction now works.
2015-08-24	Introduced 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.