index
:
codeq-server.git
master
release
CodeQ server
git repository hosting
summary
refs
log
tree
commit
diff
log msg
author
committer
range
Age
Commit message (
Expand
)
Author
2015-08-31
Return problems for all languages in list_problems
Timotej Lazar
2015-08-31
s/Problem.identifier()/Problem.get_identifier()
Timotej Lazar
2015-08-31
Add a Python utility module
Timotej Lazar
2015-08-31
Update examples in readme.txt
Timotej Lazar
2015-08-31
Add hint & test functions for PythonSession
Timotej Lazar
2015-08-31
Update TODO
Timotej Lazar
2015-08-31
Add TODO
Timotej Lazar
2015-08-30
Path (for loading modules) now usable also on Windows.
Aleksander Sadikov
2015-08-30
Replaced localhost with 127.0.0.1
Aleksander Sadikov
2015-08-28
Change timeout result in python runner
Timotej Lazar
2015-08-28
Handle test results as a static hint
Timotej Lazar
2015-08-28
Add a hint service for Prolog
Timotej Lazar
2015-08-28
Fix regex for stripping internal Prolog engine IDs
Timotej Lazar
2015-08-28
Fix SQL in UserSession.update_solution
Timotej Lazar
2015-08-28
Add Python session support
Timotej Lazar
2015-08-28
Add support for creating Python interpreters
Timotej Lazar
2015-08-28
Destroy the Prolog engine when ending a query
Timotej Lazar
2015-08-27
Strip trailing periods from Prolog queries
Timotej Lazar
2015-08-27
Remove unneeded import
Timotej Lazar
2015-08-27
Fix a typo
Timotej Lazar
2015-08-27
Add test service to wsgi_server
Timotej Lazar
2015-08-27
Add some helper methods to db.models
Timotej Lazar
2015-08-27
Replace prolog.engine.run with ask_all
Timotej Lazar
2015-08-27
Fix a typo and add a comment
Timotej Lazar
2015-08-26
Implemented activity service (auto-saving of traces and solutions).
Aleš Smodiš
2015-08-26
Use /destroy_all to abort and destroy pengines
Timotej Lazar
2015-08-26
Add the tagsfile to .gitignore
Timotej Lazar
2015-08-26
Do not include facts when loading Prolog solutions
Timotej Lazar
2015-08-25
Wait with updating solutions until the code is done.
Aleš Smodiš
2015-08-25
Merge branch 'master' of ssh://212.235.189.51:22122/codeq-server
Aleš Smodiš
2015-08-25
Work on handling activity trace.
Aleš Smodiš
2015-08-25
Update readme
Timotej Lazar
2015-08-25
Implemented methods to fetch a list of available problems and the problem des...
Aleš Smodiš
2015-08-25
Fix a typo.
Aleš Smodiš
2015-08-24
Split the development into daemon and wsgi_server.
Aleš Smodiš
2015-08-24
Remove in-edges from monkey.graph.Node class
Timotej Lazar
2015-08-24
.gitignore some more stuff
Timotej Lazar
2015-08-24
Simplify python.engine
Timotej Lazar
2015-08-24
monkey.graph.graphviz: fix escaping of node labels
Timotej Lazar
2015-08-24
monkey.graph.graphviz: use id() to reference nodes
Timotej Lazar
2015-08-21
Add a hashbang line to the Prolog server script
Timotej Lazar
2015-08-21
Add a Python server for running users' code
Timotej Lazar
2015-08-20
Add a Prolog pengine server for running queries
Timotej Lazar
2015-08-20
Add prolog.engine.run
Timotej Lazar
2015-08-20
Simplify and privatize prolog.engine.get_message
Timotej Lazar
2015-08-20
Add a timeout option for prolog.engine requests
Timotej Lazar
2015-08-20
Replace strip_html function in prolog.engine
Timotej Lazar
2015-08-20
Convert monkey.edits to use the new DB
Timotej Lazar
2015-08-20
Add a data model for the problem table
Timotej Lazar
2015-08-20
Merge branch 'master' of ssh://212.235.189.51:22122/codeq-server
Aleš Smodiš
[next]