summaryrefslogtreecommitdiff
path: root/server/prolog_session.py
AgeCommit message (Expand)Author
2016-03-16PrologSession: remove unused attributeTimotej Lazar
2016-03-12prolog_session: check for generic hints after specificTimotej Lazar
2016-02-28Experiment: prolog_hintsTimotej Lazar
2016-02-25Destroy the pengine before creating a new oneTimotej Lazar
2016-02-24Merge hint function into test for {Prolog,Python}SessionTimotej Lazar
2016-02-09Decrease timeout for Monkey hints to 3 sTimotej Lazar
2016-01-12Get number of passed/total tests from Prolog test functionsTimotej Lazar
2016-01-05Factor common code out of PrologSession.{hint,run_for_user}Timotej Lazar
2016-01-05PrologSession: only add definitions of predicates that appear in program when...Timotej Lazar
2015-12-23Prolog: pass aux. code to problem's test functionTimotej Lazar
2015-12-11Only try monkey.fix if we have edits for this problemTimotej Lazar
2015-12-11Use a more general method for extracting editsTimotej Lazar
2015-12-10Add copyright infoTimotej Lazar
2015-11-18Handle Prolog engine exceptions in PrologSessionTimotej Lazar
2015-10-16Record solved problems in databaseTimotej Lazar
2015-10-15Store identifiers instead of IDs in Problem modelTimotej Lazar
2015-10-06Test user's program before looking for hintsTimotej Lazar
2015-10-04Unification of language session implementations. Added load_problem and end_p...Aleš Smodiš
2015-09-22Oops, overzealous copy/pasteTimotej Lazar
2015-09-22Create the hint-list in individual test functionsTimotej Lazar
2015-09-11Pass a list of solved problems to Prolog hint/testTimotej Lazar
2015-09-11s/hint_defs/hint_type/gTimotej Lazar
2015-09-10Add Hint classes for normal and sequence hintsTimotej Lazar
2015-09-03Pass the session object to test and hint functionsTimotej Lazar
2015-08-31s/Problem.identifier()/Problem.get_identifier()Timotej Lazar
2015-08-28Handle test results as a static hintTimotej Lazar
2015-08-28Add a hint service for PrologTimotej Lazar
2015-08-28Destroy the Prolog engine when ending a queryTimotej Lazar
2015-08-27Remove unneeded importTimotej Lazar
2015-08-27Add test service to wsgi_serverTimotej Lazar
2015-08-27Replace prolog.engine.run with ask_allTimotej Lazar
2015-08-26Implemented activity service (auto-saving of traces and solutions).Aleš Smodiš
2015-08-25Wait with updating solutions until the code is done.Aleš Smodiš
2015-08-25Work on handling activity trace.Aleš Smodiš
2015-08-25Implemented methods to fetch a list of available problems and the problem des...Aleš Smodiš
2015-08-24Split the development into daemon and wsgi_server.Aleš Smodiš