| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2018-10-12 | Update sandbox for updated SWI-PrologHEADreleasemaster | Timotej Lazar | |
| 2016-07-15 | Fix prolog runner for SWI-Prolog ≥ 7.3.22 | Timotej Lazar | |
| 2016-05-29 | Prolog runner: allow call/1 in sandboxed mode | Timotej Lazar | |
| Required by some exercises. This allows the user to escape the sandbox, so a better solution is needed. | |||
| 2016-02-28 | Increase thread pool size for Prolog runner | Timotej Lazar | |
| 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-10-05 | Add the prolog runner to be used for daemonisation in init scripts. | Aleš Smodiš | |
| 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 |