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-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
2015-08-11
Ignore edits a→b where a or b has multiple parts
Timotej Lazar
2015-08-11
Annotate tokens instead of splitting program
Timotej Lazar
2015-08-11
Simplify calls to prolog.util.map_vars
Timotej Lazar
2015-08-11
Exclude admin and test users when analyzing traces
Timotej Lazar
2015-08-11
Use one format for all messages passed to JS side
Timotej Lazar
2015-08-11
Add a function for Damerau-Levenshtein distance
Timotej Lazar
2015-08-11
Don't store solution-line frequencies
Timotej Lazar
2015-08-11
Pass the entire current path to monkey.fix.step
Timotej Lazar
2015-08-11
monkey.fix.step: apply all edits in line order
Timotej Lazar
2015-08-11
Remove unused imports in monkey.test
Timotej Lazar
2015-08-11
Simplify monkey.edits.get_edits_from_traces
Timotej Lazar
2015-08-11
Rename monkey.edits.edit_graph to trace_graph
Timotej Lazar
2015-08-11
Cleanups
Timotej Lazar
2015-08-11
Fix recording replacements (remove/insert)
Timotej Lazar
2015-08-11
Improve adding a rule in monkey.fix.step
Timotej Lazar
2015-08-11
Improve codemirror markers
Timotej Lazar
2015-08-11
Improve monkey.fix.postprocess
Timotej Lazar
2015-08-11
Move normalize to prolog.util
Timotej Lazar
2015-08-11
Ignore edits after the first correct version
Timotej Lazar
2015-08-11
Clean up prolog.util.decompose
Timotej Lazar
2015-08-11
Clean up monkey.fix.step
Timotej Lazar
2015-08-11
Simplify get_edits_from_traces
Timotej Lazar
2015-08-11
Minor fixes in monkey.test
Timotej Lazar
2015-08-11
Remove all trailing punctuation from lines
Timotej Lazar
2015-08-11
Small cleanups
Timotej Lazar
2015-08-11
Clean up monkey.edits.get_paths
Timotej Lazar
2015-08-11
Move monkey.prolog to root module
Timotej Lazar
2015-08-11
Clean up monkey.prolog.util
Timotej Lazar
2015-08-11
Minor cleanups in monkey.monkey
Timotej Lazar
[prev]
[next]