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
2016-09-27
Added ast related functions.
Martin Možina
2016-09-27
Merge branch 'master' of ssh://212.235.189.51:22122/codeq-server
Martin Možina
2016-09-27
Added python util functions.
Martin Možina
2016-09-22
Re-add support for disabling some hint types
Timotej Lazar
2016-09-07
Improve error handling in build_web_resources
Timotej Lazar
2016-07-15
Fix prolog runner for SWI-Prolog ≥ 7.3.22
Timotej Lazar
2016-05-29
Prolog runner: allow call/1 in sandboxed mode
Timotej Lazar
2016-05-22
Fix: store current solution when tests pass
Timotej Lazar
2016-05-22
Add support for per-problem initial code
Timotej Lazar
2016-05-16
Detect predicates used in DCG clauses
Timotej Lazar
2016-05-15
Support a | b notation for DCGs
Timotej Lazar
2016-05-15
Hack in support for DCGs in Prolog parser
Timotej Lazar
2016-05-08
Prolog: allow custom inference limit in check_answers
Timotej Lazar
2016-05-08
Prolog: support CLP(FD) in parser
Timotej Lazar
2016-05-06
Prolog: increase inference limit for test queries
Timotej Lazar
2016-05-06
Prolog: increase inference limit for test queries
Timotej Lazar
2016-04-24
Support CLP(R) expressions in Prolog parser
Timotej Lazar
2016-04-24
Return info about experiments to the client
Timotej Lazar
2016-04-22
Fix: previous commit
Timotej Lazar
2016-04-19
Fix: correctly parse difflib.SequenceMatcher output
Timotej Lazar
2016-04-08
Prolog: use A,B,C,… for normalized variable names
Timotej Lazar
2016-04-08
Remove unused prolog.util.normalized
Timotej Lazar
2016-04-08
Fix monkey.test to match monkey.edits updates
Timotej Lazar
2016-04-08
Revert "Experiment: prolog_hints"
Timotej Lazar
2016-04-07
Always return a string in prolog.util.Token.__str__
Timotej Lazar
2016-03-30
Web: store session SAML data as soon as we get it
Timotej Lazar
2016-03-17
Improve build_web_resources.py
Timotej Lazar
2016-03-16
PrologSession: remove unused attribute
Timotej Lazar
2016-03-12
Fix pengine regex
Timotej Lazar
2016-03-12
prolog_session: check for generic hints after specific
Timotej Lazar
2016-03-03
Remove unused variable
Timotej Lazar
2016-03-02
Improve hints returned by monkey.fix_hints
Timotej Lazar
2016-03-02
Parse 'experiment' actions
Timotej Lazar
2016-03-01
Support experiments field for SAML logins
Timotej Lazar
2016-02-29
Improved hints for ancestor/2. "Timeout results as False" ask_truthTO() funct...
Aleksander Sadikov
2016-02-28
Experiment: prolog_hints
Timotej Lazar
2016-02-28
Add experiments column to codeq_user
Timotej Lazar
2016-02-28
Increase thread pool size for Prolog runner
Timotej Lazar
2016-02-25
Simplify server.handlers.Login
Timotej Lazar
2016-02-25
Destroy the pengine before creating a new one
Timotej Lazar
2016-02-25
Update monkey.action parser
Timotej Lazar
2016-02-25
Catch exceptions in server.handlers.Hint()
Timotej Lazar
2016-02-25
Add a get_solutions(problem_ids) API function
Timotej Lazar
2016-02-24
Merge hint function into test for {Prolog,Python}Session
Timotej Lazar
2016-02-23
Remove obsolete HintSequence class
Timotej Lazar
2016-02-23
Replace urllib3.ReadTimeoutException with socket.timeout
Timotej Lazar
2016-02-23
Prolog engine: allow lists predicates in sandbox
Timotej Lazar
2016-02-22
Do not send language in test/hint commands
Timotej Lazar
2016-02-17
Also remove --nosignals in the sysvinit script
Timotej Lazar
2016-02-17
Remove --nosignals from the swipl command line
Timotej Lazar
[next]