index
:
codeq-server.git
master
release
CodeQ server
git repository hosting
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
server
/
prolog_session.py
Age
Commit message (
Expand
)
Author
2016-02-24
Merge hint function into test for {Prolog,Python}Session
Timotej Lazar
2016-02-09
Decrease timeout for Monkey hints to 3 s
Timotej Lazar
2016-01-12
Get number of passed/total tests from Prolog test functions
Timotej Lazar
2016-01-05
Factor common code out of PrologSession.{hint,run_for_user}
Timotej Lazar
2016-01-05
PrologSession: only add definitions of predicates that appear in program when...
Timotej Lazar
2015-12-23
Prolog: pass aux. code to problem's test function
Timotej Lazar
2015-12-11
Only try monkey.fix if we have edits for this problem
Timotej Lazar
2015-12-11
Use a more general method for extracting edits
Timotej Lazar
2015-12-10
Add copyright info
Timotej Lazar
2015-11-18
Handle Prolog engine exceptions in PrologSession
Timotej Lazar
2015-10-16
Record solved problems in database
Timotej Lazar
2015-10-15
Store identifiers instead of IDs in Problem model
Timotej Lazar
2015-10-06
Test user's program before looking for hints
Timotej Lazar
2015-10-04
Unification of language session implementations. Added load_problem and end_p...
Aleš Smodiš
2015-09-22
Oops, overzealous copy/paste
Timotej Lazar
2015-09-22
Create the hint-list in individual test functions
Timotej Lazar
2015-09-11
Pass a list of solved problems to Prolog hint/test
Timotej Lazar
2015-09-11
s/hint_defs/hint_type/g
Timotej Lazar
2015-09-10
Add Hint classes for normal and sequence hints
Timotej Lazar
2015-09-03
Pass the session object to test and hint functions
Timotej Lazar
2015-08-31
s/Problem.identifier()/Problem.get_identifier()
Timotej Lazar
2015-08-28
Handle test results as a static hint
Timotej Lazar
2015-08-28
Add a hint service for Prolog
Timotej Lazar
2015-08-28
Destroy the Prolog engine when ending a query
Timotej Lazar
2015-08-27
Remove unneeded import
Timotej Lazar
2015-08-27
Add test service to wsgi_server
Timotej Lazar
2015-08-27
Replace prolog.engine.run with ask_all
Timotej Lazar
2015-08-26
Implemented activity service (auto-saving of traces and solutions).
Aleš Smodiš
2015-08-25
Wait with updating solutions until the code is done.
Aleš Smodiš
2015-08-25
Work on handling activity trace.
Aleš Smodiš
2015-08-25
Implemented methods to fetch a list of available problems and the problem des...
Aleš Smodiš
2015-08-24
Split the development into daemon and wsgi_server.
Aleš Smodiš
