index
:
codeq-web.git
master
release
CodeQ web client
git repository hosting
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
index.html
Age
Commit message (
Expand
)
Author
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 imp...
Robert Zorko
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 prolog...
Aleš Smodiš
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š
2015-09-14
Reimplemented communication with the server.
Aleš Smodiš
2015-08-25
Login now fetches the list of available problems from the server.
Aleš Smodiš
2015-08-24
Introduced the Q promises library, created a basic login page to test prolog ...
Aleš Smodiš
