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-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š
2015-08-20
Bugfix: database constraint problem.problem_uq2 referenced only identifier, b...
Aleš Smodiš
2015-08-20
Remove unneeded DB init stuff from monkey.action
Timotej Lazar
2015-08-19
Adapted existing database entities to changes in the model. Excluded database...
Aleš Smodiš
2015-08-19
New database tables and data imports: user_group, user_in_group, language, pr...
Aleš Smodiš
2015-08-18
Implemented the script to export problems from the SQLite database to the new...
Aleš Smodiš
2015-08-13
The essential .gitignore.
Aleš Smodiš
2015-08-13
The conversion script SQLite -> PostgreSQL:
Aleš Smodiš
2015-08-13
The initial readme.
Aleš Smodiš
2015-08-13
Initial PostgreSQL data model: codeq_user and solution tables.
Aleš Smodiš
2015-08-11
Add code to check for typos
Mehmet Akalın
2015-08-11
Fix monkey.test.print_hint
Timotej Lazar
2015-08-11
Print 'true' on success with no bindings
Timotej Lazar
2015-08-11
Disable parser generation
Timotej Lazar
2015-08-11
Improve error & warning reporting
Timotej Lazar
2015-08-11
Use json-html format for Prolog replies
Timotej Lazar
2015-08-11
Merge prolog.engine.create{,_and_ask} functions
Timotej Lazar
2015-08-11
Remove app-specific code from prolog.engine
Timotej Lazar
2015-08-11
Specify timeout when generating test cases
Timotej Lazar
2015-08-11
Do not look for edits in problems with no traces
Timotej Lazar
2015-08-11
Ignore attempts from all non-student users
Timotej Lazar
2015-08-11
Silence warnings from ply.lex.lex()
Timotej Lazar
2015-08-11
Add a couple of utility functions to Node
Timotej Lazar
2015-08-11
Use Node class from monkey.util in parser
Timotej Lazar
2015-08-11
Add a parser for (simplified) Prolog
Timotej Lazar
2015-08-11
Always lex , as COMMA, never as NAME
Timotej Lazar
2015-08-11
Remove unused function from prolog.util
Timotej Lazar
2015-08-11
Tweak message handling code
Timotej Lazar
2015-08-11
Reorder cases in monkey.test and fix print_hint
Timotej Lazar
2015-08-11
Use different colors for different types of edits
Timotej Lazar
2015-08-11
Minor tweaks in monkey.monkey
Timotej Lazar
2015-08-11
Print a random failing test for incorrect solution
Timotej Lazar
2015-08-11
prolog.engine: use .get() to access reply
Timotej Lazar
2015-08-11
Move hint message generation to a new function
Timotej Lazar
2015-08-11
Correctly find first token in current part in step
Timotej Lazar
2015-08-11
Oops, a line got lost
Timotej Lazar
[next]