index
:
codeq-server.git
master
release
CodeQ server
git repository hosting
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
monkey
Age
Commit message (
Expand
)
Author
2016-02-11
monkey.utils.PQueue: fix size tracking
Timotej Lazar
2016-02-11
monkey.edits: ignore edits that insert too much
Timotej Lazar
2016-02-10
monkey: modify cutoff for adding candidate programs to the queue
Timotej Lazar
2016-02-09
Fix test function call in monkey.edits
Timotej Lazar
2016-01-12
Replace prolog.util.rename_vars with rename_vars_list everywhere
Timotej Lazar
2016-01-12
Get number of passed/total tests from Prolog test functions
Timotej Lazar
2016-01-11
For each edit remember the user ids where it was seen
Timotej Lazar
2016-01-10
Add each edit at most once per solution
Timotej Lazar
2016-01-10
Avoid a potential division by zero
Timotej Lazar
2016-01-06
Update and fix monkey.test
Timotej Lazar
2016-01-06
Remove unused imports
Timotej Lazar
2016-01-06
Remove unused monkey.graph (replaced by nltk.Tree)
Timotej Lazar
2016-01-05
monkey.edits: cache test results
Timotej Lazar
2016-01-05
monkey.edits: only add solutions to predicates that are actually used when te...
Timotej Lazar
2016-01-04
Fix: use correct action types in monkey.edits
Timotej Lazar
2015-12-23
Prolog: pass aux. code to problem's test function
Timotej Lazar
2015-12-22
Fix off-by-one when extracting edits
Timotej Lazar
2015-12-22
Remove a stray "pass"
Timotej Lazar
2015-12-21
Support all action types in monkey.action
Timotej Lazar
2015-12-21
Fix printing edits in monkey.test
Timotej Lazar
2015-12-11
Rename a function
Timotej Lazar
2015-12-11
Use a more general method for extracting edits
Timotej Lazar
2015-12-10
Remove unused monkey.action.compress
Timotej Lazar
2015-12-10
Remove trace-graph function from monkey.test
Timotej Lazar
2015-12-10
Add copyright info
Timotej Lazar
2015-11-04
Use correct type for prolog_solve action
Timotej Lazar
2015-10-15
Store identifiers instead of IDs in Problem model
Timotej Lazar
2015-10-13
Move monkey/monkey.py to monkey/__init__.py
Timotej Lazar
2015-10-13
Remove unused code from monkey.action
Timotej Lazar
2015-10-13
Fix: add a missing comma
Timotej Lazar
2015-10-05
Update actions
Timotej Lazar
2015-09-24
Update monkey.test.test for new testing functions
Timotej Lazar
2015-09-24
Remove trailing . from historical Prolog queries
Timotej Lazar
2015-09-22
Add Node.subtrees and Node.leaves functions
Timotej Lazar
2015-09-02
Update monkey.test to work with new DB
Timotej Lazar
2015-09-02
Accept test function as a parameter to monkey.fix
Timotej Lazar
2015-08-27
Replace prolog.engine.run with ask_all
Timotej Lazar
2015-08-24
Remove in-edges from monkey.graph.Node class
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-20
Convert monkey.edits to use the new DB
Timotej Lazar
2015-08-20
Remove unneeded DB init stuff from monkey.action
Timotej Lazar
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
Improve error & warning reporting
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
Do not look for edits in problems with no traces
Timotej Lazar
2015-08-11
Ignore attempts from all non-student users
Timotej Lazar
[next]