| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2018-10-12 | Update sandbox for updated SWI-PrologHEADreleasemaster | Timotej Lazar | |
| 2017-02-24 | prolog.parser: implement most remaining operators | Timotej Lazar | |
| Also fix some precedence issues. | |||
| 2017-02-24 | Modify Prolog parser to produce ASTs instead of parse trees | Timotej Lazar | |
| 2016-10-20 | Revert "Week2: simpop/3 exercise added." | Timotej Lazar | |
| This reverts commit b2b11240ce7c9b6075a0f673cd72f469db75fa0f. | |||
| 2016-10-17 | Week2: simpop/3 exercise added. | Aleksander Sadikov | |
| 2016-09-27 | Incorporate some tweaks to the monkey methods | 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-05-16 | Detect predicates used in DCG clauses | Timotej Lazar | |
| 2016-05-15 | Support a | b notation for DCGs | Timotej Lazar | |
| 2016-05-15 | Hack in support for DCGs in Prolog parser | Timotej Lazar | |
| 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 | |
 |
index : codeq-server.git | |
| CodeQ server | git repository hosting |
| summaryrefslogtreecommitdiff |