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
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
2015-08-11
mv prolog/sandbox.pl prolog/lib.pl
Timotej Lazar
2015-08-11
Cleanups in monkey.py
Timotej Lazar
2015-08-11
Lexer: increase priority for t_comment
Timotej Lazar
2015-08-11
Move PQueue and utility functions into util.py
Timotej Lazar
2015-08-11
Use immutable values in queue
Timotej Lazar
2015-08-11
Remove unnecessary check from prolog.util.compose
Timotej Lazar
2015-08-11
Fix two bugs in prolog.util.decompose
Timotej Lazar
2015-08-11
Add call(predicate, arguments) to PrologEngine
Timotej Lazar
2015-08-11
Optimize prolog.util.stringify (~15% faster)
Timotej Lazar
2015-08-11
Improve testing procedure
Timotej Lazar
2015-08-11
Cleanups
Timotej Lazar
2015-08-11
Some cleanups in main program
Timotej Lazar
2015-08-11
Initial commit for pymonkey
Timotej Lazar
[prev]