codeq-server.git - CodeQ server

Age	Commit message (Collapse)	Author
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() ↵	Aleksander Sadikov
	function added.
2016-02-28	Experiment: prolog_hints	Timotej Lazar
	Given an experiment object read from codeq_user in the form {'id': 'prolog_hints', 'group': 'manual_hints'} selectively enable only manual hints, automatic hints, or no hints. This should probably be reverted once the experiment is done.
2016-02-28	Add experiments column to codeq_user	Timotej Lazar
	This JSON column holds an array of experiment objects, for example: [{'id': 'prolog_hints', 'group': 'manual_hints'}]. To include users in an experiment, just add appropriate objects to their records. Not the cleanest design from the DB point of view, but enough for the single current use case.
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
	Note: support for explicit Hint() requests will likely be removed.
2016-02-25	Add a get_solutions(problem_ids) API function	Timotej Lazar
	It returns the user’s solutions to given problems.
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
	To keep compatibility with existing test / hint functions.
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
	Signals are needed for destroying pengines.
2016-02-17	Note the new dependency python3-urllib3	Timotej Lazar

2016-02-17	prolog.engine: use a urllib3 HTTP connection pool	Timotej Lazar
	Opening large numbers of single-shot requests caused local port exhaustion due to TIME_WAIT.
2016-02-11	Update systemd unit files and add codeq.target	Timotej Lazar
	For some reason, codeq-web should be started after codeq-web.
2016-02-11	monkey.utils.PQueue: fix size tracking	Timotej Lazar

2016-02-11	monkey.edits: ignore edits that insert too much	Timotej Lazar

2016-02-10	monkey: modify cutoff for adding candidate programs to the queue	Timotej Lazar
	Queue size is not a problem since the switch to AST-based edits.
2016-02-09	Decrease timeout for Monkey hints to 3 s	Timotej Lazar

2016-02-09	Fix test function call in monkey.edits	Timotej Lazar

2016-01-12	Replace prolog.util.rename_vars with rename_vars_list everywhere	Timotej Lazar

2016-01-12	Get number of passed/total tests from Prolog test functions	Timotej Lazar

2016-01-11	For each edit remember the user ids where it was seen	Timotej Lazar

2016-01-10	Add each edit at most once per solution	Timotej Lazar

2016-01-10	Avoid a potential division by zero	Timotej Lazar

2016-01-06	Update and fix monkey.test	Timotej Lazar

2016-01-06	Remove unused imports	Timotej Lazar

2016-01-06	Remove unused monkey.graph (replaced by nltk.Tree)	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 ↵	Timotej Lazar
	when testing
2016-01-05	monkey.edits: cache test results	Timotej Lazar

2016-01-05	monkey.edits: only add solutions to predicates that are actually used when ↵	Timotej Lazar
	testing
2016-01-05	Add db.util.make_identifier function	Timotej Lazar
	Does the same as scripts.utils.filenamefy.
2016-01-04	Add function to find predicates used by a Prolog program	Timotej Lazar

2016-01-04	Fix: use correct action types in monkey.edits	Timotej Lazar

2015-12-23	Prolog: pass aux. code to problem's test function	Timotej Lazar
	This allows us to simplify individual problem test functions.
2015-12-22	Fix off-by-one when extracting edits	Timotej Lazar

2015-12-22	Remove a stray "pass"	Timotej Lazar

2015-12-21	Support all action types in monkey.action	Timotej Lazar

2015-12-21	Fix printing edits in monkey.test	Timotej Lazar

2015-12-21	Merge branch 'release'	Aleš Smodiš

2015-12-21	Use SAML IDP at idp.uni-lj.si proxied through codeq.si.	Aleš Smodiš

2015-12-15	Implement client logs receiving service, which dumps the received logs from ↵	Aleš Smodiš
	clients.
2015-12-14	Improve robot control script	Timotej Lazar

2015-12-11	Only try monkey.fix if we have edits for this problem	Timotej Lazar