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
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
2015-08-11
Initial error marking support
Timotej Lazar
2015-08-11
Pass auxiliary code to fix in monkey.test
Timotej Lazar
2015-08-11
Refactor monkey.monkey.fix
Timotej Lazar
2015-08-11
Remove a superfluous try/except block
Timotej Lazar
2015-08-11
Reduce number of requests when testing
Timotej Lazar
2015-08-11
Find out pengine ID server-side in run_tests
Timotej Lazar
2015-08-11
Move get_aux_code to tutor/models.py
Timotej Lazar
2015-08-11
Remove unused imports
Timotej Lazar
2015-08-11
Add support for hint generation
Timotej Lazar
2015-08-11
Pickle frequent edits when calling monkey.edits
Timotej Lazar
2015-08-11
Move testing code from monkey.py to test.py
Timotej Lazar
2015-08-11
Add prolog.engine.test
Timotej Lazar
2015-08-11
Rename monkey.prolog.engine.test to test_all
Timotej Lazar
2015-08-11
Rewrite monkey.action test code to use Django db
Timotej Lazar
2015-08-11
Use relative imports in monkey modules
Timotej Lazar
2015-08-11
Move pymonkey stuff to monkey/
Timotej Lazar
2015-08-11
Add prolog.engine.test
Timotej Lazar
2015-08-11
Improve error handling in PrologEngine
Timotej Lazar
2015-08-11
Delegate testing to a Prolog server
Timotej Lazar
2015-08-11
PrologEngine: add load/unload functions
Timotej Lazar
2015-08-11
Store test cases in PrologEngine
Timotej Lazar
2015-08-11
Add support for per-problem fact libraries
Timotej Lazar
2015-08-11
Quote predicate name for abolish/1
Timotej Lazar
2015-08-11
Improve testing procedure
Timotej Lazar
2015-08-11
Term.__iter__: create new Terms on each iteration
Timotej Lazar
2015-08-11
Mark solution predicates as static after loading
Timotej Lazar
2015-08-11
Reorder functions in PrologEngine
Timotej Lazar
2015-08-11
Use abolish/1 instead of erase/1 to remove clauses
Timotej Lazar
2015-08-11
Improve handling of Prolog exceptions
Timotej Lazar
2015-08-11
PrologEngine: disable autoload
Timotej Lazar
2015-08-11
Load prolog/lib.pl during PrologEngine init
Timotej Lazar
2015-08-11
Add a test to prolog.engine and clean up a bit
Timotej Lazar
2015-08-11
Remember correct answers to test queries
Timotej Lazar
2015-08-11
Start refactoring testing code
Timotej Lazar
2015-08-11
Mark random and random_between as safe goals
Timotej Lazar
2015-08-11
Keep token positions when lexing
Timotej Lazar
2015-08-11
Simplify prolog.util.map_vars
Timotej Lazar
2015-08-11
Add some ad-hoc test code to prolog/util.py
Timotej Lazar
2015-08-11
Rework prolog query engine
Timotej Lazar
2015-08-11
Clean up prolog.engine
Timotej Lazar
2015-08-11
Add PL_clear_exception to prolog/core.py
Timotej Lazar
[next]