| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2015-08-11 | Start refactoring testing code | Timotej Lazar | |
| Testing logic now lives in PrologEngine. The engine now has some notion of problems and users, which is necessary to avoid repeatedly loading code into Prolog. TODO: - support library loading - fix PrologEngine.test for unusual cases (more than one solution, …) - memoization of correct answers | |||
| 2015-08-11 | Keep token positions when lexing | Timotej Lazar | |
| This will allow us to match line edits to original source locations. | |||
| 2015-08-11 | Simplify prolog.util.map_vars | Timotej Lazar | |
| Return a single mapping instead of generating all possible permutations. Only the first solution was used anyway, with little effect on found solutions. | |||
| 2015-08-11 | Add some ad-hoc test code to prolog/util.py | Timotej Lazar | |
| 2015-08-11 | Move PQueue and utility functions into util.py | Timotej Lazar | |
| 2015-08-11 | Use immutable values in queue | Timotej Lazar | |
| 2015-08-11 | Remove unnecessary check from prolog.util.compose | Timotej Lazar | |
| 2015-08-11 | Fix two bugs in prolog.util.decompose | Timotej Lazar | |
| 2015-08-11 | Optimize prolog.util.stringify (~15% faster) | Timotej Lazar | |
| 2015-08-11 | Cleanups | Timotej Lazar | |
| 2015-08-11 | Some cleanups in main program | Timotej Lazar | |
| 2015-08-11 | Initial commit for pymonkey | Timotej Lazar | |
 |
index : codeq-server.git | |
| CodeQ server | git repository hosting |
| summaryrefslogtreecommitdiff |