| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2015-08-11 | Clean up monkey.fix.step | Timotej Lazar | |
| 2015-08-11 | Simplify get_edits_from_traces | Timotej Lazar | |
| 2015-08-11 | Minor fixes in monkey.test | Timotej Lazar | |
| 2015-08-11 | Remove all trailing punctuation from lines | Timotej Lazar | |
| Remove trailing sequences of COMMAs and PERIODs when extracting edits from a trace. This is because subgoal order is rarely important in Prolog, and we don't care if the edit happened on the last line or not. This means that we treat for example "conc(A,B)," → "conc(A,B,C)." the same as "conc(A,B)" → "conc(A,B,C)". | |||
| 2015-08-11 | Small cleanups | Timotej Lazar | |
| 2015-08-11 | Clean up monkey.edits.get_paths | Timotej Lazar | |
| 2015-08-11 | Move monkey.prolog to root module | Timotej Lazar | |
| 2015-08-11 | Clean up monkey.prolog.util | Timotej Lazar | |
| 2015-08-11 | Minor cleanups in monkey.monkey | Timotej Lazar | |
| 2015-08-11 | Initial error marking support | Timotej Lazar | |
| Some cleanups in monkey.monkey. Need better namespacing. Basic postprocessing (merge edits to same line). | |||
| 2015-08-11 | Pass auxiliary code to fix in monkey.test | Timotej Lazar | |
| 2015-08-11 | Refactor monkey.monkey.fix | Timotej Lazar | |
| 2015-08-11 | Remove a superfluous try/except block | Timotej Lazar | |
| 2015-08-11 | Reduce number of requests when testing | Timotej Lazar | |
| Allow running a query when creating the pengine. Also replace PrologEngine with a set of functions. | |||
| 2015-08-11 | Find out pengine ID server-side in run_tests | Timotej Lazar | |
| 2015-08-11 | Move get_aux_code to tutor/models.py | Timotej Lazar | |
| 2015-08-11 | Remove unused imports | Timotej Lazar | |
| 2015-08-11 | Add support for hint generation | Timotej Lazar | |
| 2015-08-11 | Pickle frequent edits when calling monkey.edits | Timotej Lazar | |
| Resulting file contains a 4-tuple with edit, line, submission and query frequencies. Each element of the tuple is a dictionary of the form <pid>: dictionary of frequencies The data in this file will be loaded by the tutor app and used for generating hints. | |||
| 2015-08-11 | Move testing code from monkey.py to test.py | Timotej Lazar | |
| Drop monkey/db.py and use Django models instead. | |||
| 2015-08-11 | Add prolog.engine.test | Timotej Lazar | |
| Runs tests for the specified predicate on the given code and returns True if all tests succeed. Stop at first failure. | |||
| 2015-08-11 | Rename monkey.prolog.engine.test to test_all | Timotej Lazar | |
| 2015-08-11 | Rewrite monkey.action test code to use Django db | Timotej Lazar | |
| 2015-08-11 | Use relative imports in monkey modules | Timotej Lazar | |
| 2015-08-11 | Move pymonkey stuff to monkey/ | Timotej Lazar | |
| Importing pymonkey into webmonkey, let's see how this works. | |||
 |
index : codeq-server.git | |
| CodeQ server | git repository hosting |
| summaryrefslogtreecommitdiff |