index
:
codeq-server.git
master
release
CodeQ server
git repository hosting
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
prolog
Age
Commit message (
Expand
)
Author
2015-11-18
Fix test code in prolog.engine
Timotej Lazar
2015-11-04
Fix prolog.engine.check_answers
Timotej Lazar
2015-10-05
Add the prolog runner to be used for daemonisation in init scripts.
Aleš Smodiš
2015-09-17
Replace prolog.engine.ask_all with check_answers
Timotej Lazar
2015-09-10
Update prolog engine (sasha's aux functions for prolog hint testing added).
Aleksander Sadikov
2015-08-30
Replaced localhost with 127.0.0.1
Aleksander Sadikov
2015-08-28
Fix regex for stripping internal Prolog engine IDs
Timotej Lazar
2015-08-27
Strip trailing periods from Prolog queries
Timotej Lazar
2015-08-27
Replace prolog.engine.run with ask_all
Timotej Lazar
2015-08-27
Fix a typo and add a comment
Timotej Lazar
2015-08-26
Use /destroy_all to abort and destroy pengines
Timotej Lazar
2015-08-21
Add a hashbang line to the Prolog server script
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-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
Silence warnings from ply.lex.lex()
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
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
Annotate tokens instead of splitting program
Timotej Lazar
2015-08-11
Simplify calls to prolog.util.map_vars
Timotej Lazar
2015-08-11
Move normalize to prolog.util
Timotej Lazar
2015-08-11
Clean up prolog.util.decompose
Timotej Lazar
2015-08-11
Remove all trailing punctuation from lines
Timotej Lazar
2015-08-11
Move monkey.prolog to root module
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
[next]