codeq-server.git - CodeQ server

Age	Commit message (Collapse)	Author
2015-09-11	s/hint_defs/hint_type/g	Timotej Lazar

2015-09-10	Remove unneeded import	Timotej Lazar

2015-09-10	Add Hint classes for normal and sequence hints	Timotej Lazar

2015-09-10	Update prolog engine (sasha's aux functions for prolog hint testing added).	Aleksander Sadikov

2015-09-08	Check for syntax errors in python_session.hint	Timotej Lazar

2015-09-04	Add Python push&pull services to wsgi_server	Timotej Lazar

2015-09-03	Pass the session object to test and hint functions	Timotej Lazar

2015-09-03	Use multiprocessing.managers for the Python runner	Timotej Lazar

2015-09-02	Update monkey.test to work with new DB	Timotej Lazar

2015-09-02	Accept test function as a parameter to monkey.fix	Timotej Lazar

2015-09-01	Change hard-coded language to Slovene for testing	Timotej Lazar

2015-09-01	Add Python support to wsgi_server.{Hint,Test}	Timotej Lazar

2015-08-31	Return problems for all languages in list_problems	Timotej Lazar

2015-08-31	s/Problem.identifier()/Problem.get_identifier()	Timotej Lazar

2015-08-31	Add a Python utility module	Timotej Lazar

2015-08-31	Update examples in readme.txt	Timotej Lazar

2015-08-31	Add hint & test functions for PythonSession	Timotej Lazar

2015-08-31	Update TODO	Timotej Lazar

2015-08-31	Add TODO	Timotej Lazar

2015-08-30	Path (for loading modules) now usable also on Windows.	Aleksander Sadikov

2015-08-30	Replaced localhost with 127.0.0.1	Aleksander Sadikov
	Windows takes a while to resolve the above.
2015-08-28	Change timeout result in python runner	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	Fix regex for stripping internal Prolog engine IDs	Timotej Lazar

2015-08-28	Fix SQL in UserSession.update_solution	Timotej Lazar

2015-08-28	Add Python session support	Timotej Lazar

2015-08-28	Add support for creating Python interpreters	Timotej Lazar

2015-08-28	Destroy the Prolog engine when ending a query	Timotej Lazar

2015-08-27	Strip trailing periods from Prolog queries	Timotej Lazar

2015-08-27	Remove unneeded import	Timotej Lazar

2015-08-27	Fix a typo	Timotej Lazar

2015-08-27	Add test service to wsgi_server	Timotej Lazar
	This calls the test function defined in common.py for the given problem.
2015-08-27	Add some helper methods to db.models	Timotej Lazar

2015-08-27	Replace prolog.engine.run with ask_all	Timotej Lazar
	Creating and destroying the pengine should be handled somewhere else. This commit also removes query functionality from prolog.engine.create.
2015-08-27	Fix a typo and add a comment	Timotej Lazar

2015-08-26	Implemented activity service (auto-saving of traces and solutions).	Aleš Smodiš

2015-08-26	Use /destroy_all to abort and destroy pengines	Timotej Lazar
	Poorly documented, but works better than abort & destroy.
2015-08-26	Add the tagsfile to .gitignore	Timotej Lazar

2015-08-26	Do not include facts when loading Prolog solutions	Timotej Lazar
	Fact library is not a part of the solution, and is loaded separately when running queries or tests for a particular problem.
2015-08-25	Wait with updating solutions until the code is done.	Aleš Smodiš

2015-08-25	Merge branch 'master' of ssh://212.235.189.51:22122/codeq-server	Aleš Smodiš

2015-08-25	Work on handling activity trace.	Aleš Smodiš

2015-08-25	Update readme	Timotej Lazar

2015-08-25	Implemented methods to fetch a list of available problems and the problem ↵	Aleš Smodiš
	description. JavaScript no longer parses pythonic problem descriptions, instead they are loaded by server and JSONized.
2015-08-25	Fix a typo.	Aleš Smodiš

2015-08-24	Split the development into daemon and wsgi_server.	Aleš Smodiš
	Implemented basic infrastructure for daemon (Prolog), and partial support for services in wsgi_server.
2015-08-24	Remove in-edges from monkey.graph.Node class	Timotej Lazar

2015-08-24	.gitignore some more stuff	Timotej Lazar

2015-08-24	Simplify python.engine	Timotej Lazar