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
/
js
/
prolog.js
Age
Commit message (
Collapse
)
Author
2015-08-28
Handle test results as a static hint
Timotej Lazar
2015-08-28
Add support for template arguments in hints
Timotej Lazar
2015-08-28
Add initial support for hints
Timotej Lazar
2015-08-27
Allow 'n' for next answer in Prolog query
Timotej Lazar
2015-08-27
Add testing functionality
Timotej Lazar
2015-08-26
Fixed sending of activities (traces and solutions).
Aleš Smodiš
2015-08-25
Work on sending activity trace.
Aleš Smodiš
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.
2015-07-17
Show the sins.py example in the mockup.
Aleš Smodiš
2015-07-17
Tied the 3 hint mockups to the 3 buttons.
Aleš Smodiš
2015-07-16
Fix backgound of popups.
Aleš Smodiš
2015-07-16
Implemented pop-up with bootstrap's popover.
Aleš Smodiš
2015-07-15
Added support for displaying hints. For now triggered by hand via a console, ↵
Aleš Smodiš
e.g. FireBug.