| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2015-08-11 | Simplify calls to prolog.util.map_vars | Timotej Lazar | |
| 2015-08-11 | Exclude admin and test users when analyzing traces | Timotej Lazar | |
| 2015-08-11 | Use one format for all messages passed to JS side | Timotej Lazar | |
| 2015-08-11 | Add a function for Damerau-Levenshtein distance | Timotej Lazar | |
| Will be used to check for typos. | |||
| 2015-08-11 | Don't store solution-line frequencies | Timotej Lazar | |
| This is currently unused. | |||
| 2015-08-11 | Pass the entire current path to monkey.fix.step | Timotej Lazar | |
| Only the last step is used currently. | |||
| 2015-08-11 | monkey.fix.step: apply all edits in line order | Timotej Lazar | |
| For instance, don't add a new rule at line 1 after changing line 3 - only the ordered sequence of edits will be checked. | |||
| 2015-08-11 | Remove unused imports in monkey.test | Timotej Lazar | |
| 2015-08-11 | Simplify monkey.edits.get_edits_from_traces | Timotej Lazar | |
| 2015-08-11 | Rename monkey.edits.edit_graph to trace_graph | Timotej Lazar | |
| 2015-08-11 | Cleanups | Timotej Lazar | |
| 2015-08-11 | Fix recording replacements (remove/insert) | Timotej Lazar | |
| 2015-08-11 | Improve adding a rule in monkey.fix.step | Timotej Lazar | |
| 2015-08-11 | Improve codemirror markers | Timotej Lazar | |
| 2015-08-11 | Improve monkey.fix.postprocess | Timotej Lazar | |
| 2015-08-11 | Move normalize to prolog.util | Timotej Lazar | |
| 2015-08-11 | Ignore edits after the first correct version | Timotej Lazar | |
| 2015-08-11 | Clean up prolog.util.decompose | Timotej Lazar | |
| 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. | |||
| 2015-08-11 | Add prolog.engine.test | Timotej Lazar | |
| Depends on run_tests/3. | |||
| 2015-08-11 | Improve error handling in PrologEngine | Timotej Lazar | |
| 2015-08-11 | Delegate testing to a Prolog server | Timotej Lazar | |
| ... which obsoletes *a lot* of effort in making the testing procedure more robust in the past two years. Oh well. It seems to be the sanest way of coping with more than one simultaneous user (who could have predicted this use case?). The new way involves a PEngine server, and it seems to work quite well. Remember Knuth: premature optimization (as in ignoring possible solutions because they _might_ be to slow) is stupid. TODO: - library loading (again) - use of previous solution (again) - fix issues when converting non-ground terms to json Side note, constructivism works: in the past few days I have reached a much better but fundamentally ineffable intuition about Prolog, more so than in the past two years teaching it. So, fuck ITS and rather fix the schools by giving students something meaningful to do. Sigh. | |||
| 2015-08-11 | PrologEngine: add load/unload functions | Timotej Lazar | |
| 2015-08-11 | Store test cases in PrologEngine | Timotej Lazar | |
| 2015-08-11 | Add support for per-problem fact libraries | Timotej Lazar | |
| Each fact library is loaded at most once, so different problems can share the same library (e.g. family-relation problems). | |||
| 2015-08-11 | Quote predicate name for abolish/1 | Timotej Lazar | |
 |
index : codeq-server.git | |
| CodeQ server | git repository hosting |
| summaryrefslogtreecommitdiff |