| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2016-02-23 | Prolog engine: allow lists predicates in sandbox | Timotej Lazar | |
| 2015-12-10 | Add copyright info | Timotej Lazar | |
| 2015-11-18 | Disable predicate autoloading in Prolog engine | Timotej Lazar | |
| So that for example append/3 and member/2 are not accessible to users when solving conc/3 and memb/2. | |||
| 2015-08-21 | Add a hashbang line to the Prolog server script | Timotej Lazar | |
| 2015-08-20 | Add a Prolog pengine server for running queries | Timotej Lazar | |
| Run with "swipl main.pl". | |||
 |
index : codeq-server.git | |
| CodeQ server | git repository hosting |
| summaryrefslogtreecommitdiff |