| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 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 | Add call(predicate, arguments) to PrologEngine | Timotej Lazar | |
| Also disable error messages printed by swipl library. | |||
| 2015-08-11 | Optimize prolog.util.stringify (~15% faster) | Timotej Lazar | |
| 2015-08-11 | Improve testing procedure | Timotej Lazar | |
| - only run queries with correct code once - use msort/2 to implement quicksort/3, used for some tests - correctly split programs in the presence of =.. operator | |||
| 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 |