| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2016-05-08 | Prolog: allow custom inference limit in check_answers | Timotej Lazar | |
| 2016-05-08 | Prolog: support CLP(FD) in parser | Timotej Lazar | |
| 2016-05-06 | Prolog: increase inference limit for test queries | Timotej Lazar | |
| Needed for problems/clp_fd/tobase_3. | |||
| 2016-05-06 | Prolog: increase inference limit for test queries | Timotej Lazar | |
| Needed for problems/clp_fd/magic_1. | |||
| 2016-04-24 | Support CLP(R) expressions in Prolog parser | Timotej Lazar | |
| 2016-04-08 | Prolog: use A,B,C,… for normalized variable names | Timotej Lazar | |
| This is somewhat more readable than A0,A1,A2,…. | |||
| 2016-04-08 | Remove unused prolog.util.normalized | Timotej Lazar | |
| 2016-04-07 | Always return a string in prolog.util.Token.__str__ | Timotej Lazar | |
| 2016-03-12 | Fix pengine regex | Timotej Lazar | |
| 2016-02-29 | Improved hints for ancestor/2. "Timeout results as False" ask_truthTO() ↵ | Aleksander Sadikov | |
| function added. | |||
| 2016-02-28 | Increase thread pool size for Prolog runner | Timotej Lazar | |
| 2016-02-23 | Replace urllib3.ReadTimeoutException with socket.timeout | Timotej Lazar | |
| To keep compatibility with existing test / hint functions. | |||
| 2016-02-23 | Prolog engine: allow lists predicates in sandbox | Timotej Lazar | |
| 2016-02-17 | prolog.engine: use a urllib3 HTTP connection pool | Timotej Lazar | |
| Opening large numbers of single-shot requests caused local port exhaustion due to TIME_WAIT. | |||
| 2016-01-12 | Replace prolog.util.rename_vars with rename_vars_list everywhere | Timotej Lazar | |
| 2016-01-06 | Remove unused imports | Timotej Lazar | |
| 2016-01-04 | Add function to find predicates used by a Prolog program | Timotej Lazar | |
| 2015-12-11 | Rename a function | Timotej Lazar | |
| 2015-12-11 | Use a more general method for extracting edits | Timotej Lazar | |
| This is a large overhaul of monkey code. Before, only edits within individual lines were tracked, which required a Prolog-specific method for splitting a program into a list of lines for every rule. In this version, modifications can be tracked within arbitrary code ranges. Ranges to be tracked are determined by selecting "interesting" subtrees in the AST of the starting code version. The new method is simpler, less language-dependent and easier to extend. The downside is that a program must be syntactically correct before we can attempt to fix it (the previous approach could handle programs with syntax errors in some cases). This commit also integrates a call to monkey.fix in prolog_session.hint, by running it if no other hint is found. | |||
| 2015-12-10 | Support Tree objects in python.util.stringify | Timotej Lazar | |
| 2015-12-10 | Disable debug info when generating Prolog parser | Timotej Lazar | |
| 2015-12-10 | Sort token list for Prolog parser | Timotej Lazar | |
| Ensures the cached version of parsetab.py is used. | |||
| 2015-12-10 | Fix a parser bug | Timotej Lazar | |
| 2015-12-10 | Add prolog.util.parse method | Timotej Lazar | |
| 2015-12-10 | Use the NLTK ParentedTree class for parser output | Timotej Lazar | |
| 2015-12-10 | Add copyright info | Timotej Lazar | |
| 2015-11-30 | Limit the number of inferences for Prolog queries | Timotej Lazar | |
| 2015-11-27 | Fix: response on /pengine/destroy_all is just "ok" | 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-11-18 | Fix test code in prolog.engine | Timotej Lazar | |
| 2015-11-04 | Fix prolog.engine.check_answers | Timotej Lazar | |
| Variables not specified in the set of expected answers are now ignored. | |||
| 2015-10-05 | Add the prolog runner to be used for daemonisation in init scripts. | Aleš Smodiš | |
| 2015-09-17 | Replace prolog.engine.ask_all with check_answers | Timotej Lazar | |
| When testing a program we can stop searching for new solutions after we have received a wrong one. | |||
| 2015-09-10 | Update prolog engine (sasha's aux functions for prolog hint testing added). | Aleksander Sadikov | |
| 2015-08-30 | Replaced localhost with 127.0.0.1 | Aleksander Sadikov | |
| Windows takes a while to resolve the above. | |||
| 2015-08-28 | Fix regex for stripping internal Prolog engine IDs | Timotej Lazar | |
| 2015-08-27 | Strip trailing periods from Prolog queries | Timotej Lazar | |
| 2015-08-27 | Replace prolog.engine.run with ask_all | Timotej Lazar | |
| Creating and destroying the pengine should be handled somewhere else. This commit also removes query functionality from prolog.engine.create. | |||
| 2015-08-27 | Fix a typo and add a comment | Timotej Lazar | |
| 2015-08-26 | Use /destroy_all to abort and destroy pengines | Timotej Lazar | |
| Poorly documented, but works better than abort & destroy. | |||
| 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". | |||
| 2015-08-20 | Add prolog.engine.run | Timotej Lazar | |
| Collects all the answers to a given query within the specified timeout. | |||
| 2015-08-20 | Simplify and privatize prolog.engine.get_message | Timotej Lazar | |
| 2015-08-20 | Add a timeout option for prolog.engine requests | Timotej Lazar | |
| 2015-08-20 | Replace strip_html function in prolog.engine | Timotej Lazar | |
| 2015-08-11 | Print 'true' on success with no bindings | Timotej Lazar | |
| 2015-08-11 | Disable parser generation | Timotej Lazar | |
| The parser is currently unused. | |||
| 2015-08-11 | Improve error & warning reporting | Timotej Lazar | |
| Hope it does not break anything. | |||
| 2015-08-11 | Use json-html format for Prolog replies | Timotej Lazar | |
| The only way to get residuals in CLP queries. | |||
 |
index : codeq-server.git | |
| CodeQ server | git repository hosting |
| summaryrefslogtreecommitdiff |