| 2024-02-09 |
Nicolas Luck | Merge branch 'master' into library-use-case |
commit | commitdiff | tree | snapshot |
| 2024-02-09 |
Mark Thom | Update src/machine/parsed_results.rs |
commit | commitdiff | tree | snapshot |
| 2024-02-08 |
Mark | fix tests broken by singleton |
commit | commitdiff | tree | snapshot |
| 2024-02-08 |
Mark Thom | Merge pull request #2322 from triska/char_code |
commit | commitdiff | tree | snapshot |
| 2024-02-07 |
Markus Triska | ENHANCED: Bidirectional char_type/2, addressing #2321. |
commit | commitdiff | tree | snapshot |
| 2024-02-07 |
Mark Thom | Merge pull request #2319 from triska/clpz_t |
commit | commitdiff | tree | snapshot |
| 2024-02-06 |
Markus Triska | ADDED: clpz_t/2, generalizing support for use with... |
commit | commitdiff | tree | snapshot |
| 2024-02-06 |
Mark | fmt |
commit | commitdiff | tree | snapshot |
| 2024-02-04 |
Mark Thom | Merge pull request #2317 from aarroyoc/all-modules... |
commit | commitdiff | tree | snapshot |
| 2024-02-04 |
Adrián Arroyo... | Add all_mdoules test and fix library(csv) |
commit | commitdiff | tree | snapshot |
| 2024-02-03 |
Mark | fix reverted tests, ensure files are loaded before... |
commit | commitdiff | tree | snapshot |
| 2024-02-03 |
Mark | fix broken tests |
commit | commitdiff | tree | snapshot |
| 2024-02-02 |
Mark | treat consultation of command line modules as regular... |
commit | commitdiff | tree | snapshot |
| 2024-02-02 |
Mark | fmt |
commit | commitdiff | tree | snapshot |
| 2024-02-02 |
Mark | load .scryerrc before files and goals (#1775, #2313) |
commit | commitdiff | tree | snapshot |
| 2024-02-01 |
Mark | record stub choice point as block |
commit | commitdiff | tree | snapshot |
| 2024-02-01 |
Nicolas Luck | Test show problem with nonexistent predicate |
commit | commitdiff | tree | snapshot |
| 2024-02-01 |
Nicolas Luck | fmt |
commit | commitdiff | tree | snapshot |
| 2024-02-01 |
Nicolas Luck | clippy |
commit | commitdiff | tree | snapshot |
| 2024-02-01 |
Nicolas Luck | Fix all orderings in integration assertions |
commit | commitdiff | tree | snapshot |
| 2024-02-01 |
Nicolas Luck | Remove test with long program literals, not needed |
commit | commitdiff | tree | snapshot |
| 2024-02-01 |
Nicolas Luck | More ordering adjustments |
commit | commitdiff | tree | snapshot |
| 2024-02-01 |
Mark | fix style errors |
commit | commitdiff | tree | snapshot |
| 2024-02-01 |
Mark | index stub choice point correctly |
commit | commitdiff | tree | snapshot |
| 2024-01-31 |
Nicolas Luck | Extract failing assertion as single test case |
commit | commitdiff | tree | snapshot |
| 2024-01-30 |
Nicolas Luck | Adjust some first result orderings in integration asser... |
commit | commitdiff | tree | snapshot |
| 2024-01-29 |
Mark | check for True or False Query Resolution unconditionally |
commit | commitdiff | tree | snapshot |
| 2024-01-29 |
Nicolas Luck | fmt |
commit | commitdiff | tree | snapshot |
| 2024-01-29 |
Nicolas Luck | Add more test cases to differentiate usage of discontiguous |
commit | commitdiff | tree | snapshot |
| 2024-01-29 |
Nicolas Luck | Minimal reproduction of faulty behaviour seen in integr... |
commit | commitdiff | tree | snapshot |
| 2024-01-26 |
Nicolas Luck | Merge branch 'master' into library-use-case |
commit | commitdiff | tree | snapshot |
| 2024-01-26 |
Nicolas Luck | Add expected results to integration test |
commit | commitdiff | tree | snapshot |
| 2024-01-26 |
Mark | scan registers of instructions leading to verify_attrib... |
commit | commitdiff | tree | snapshot |
| 2024-01-26 |
Mark | add non chunk traversing cut family instructions to... |
commit | commitdiff | tree | snapshot |
| 2024-01-25 |
Mark Thom | Merge pull request #2308 from triska/small_format_impro... |
commit | commitdiff | tree | snapshot |
| 2024-01-25 |
Markus Triska | update answers using latest toplevel output |
commit | commitdiff | tree | snapshot |
| 2024-01-25 |
Markus Triska | rely on recently improved argument indexing for determinism |
commit | commitdiff | tree | snapshot |
| 2024-01-25 |
Mark | move call_residue_vars/2 from atts.pl to iso_ext.pl |
commit | commitdiff | tree | snapshot |
| 2024-01-25 |
Mark | don't mark temp variables as safe through argument_to_v... |
commit | commitdiff | tree | snapshot |
| 2024-01-23 |
Mark Thom | Merge pull request #2306 from triska/dcg_representation |
commit | commitdiff | tree | snapshot |
| 2024-01-23 |
Mark Thom | Merge pull request #2305 from mthom/dependabot/cargo... |
commit | commitdiff | tree | snapshot |
| 2024-01-23 |
Markus Triska | improve error context |
commit | commitdiff | tree | snapshot |
| 2024-01-23 |
Markus Triska | no longer use (->)//2, since it is implementation defined |
commit | commitdiff | tree | snapshot |
| 2024-01-23 |
dependabot... | Bump h2 from 0.3.22 to 0.3.24 |
commit | commitdiff | tree | snapshot |
| 2024-01-23 |
Mark Thom | Merge pull request #2303 from mthom/dependabot/cargo... |
commit | commitdiff | tree | snapshot |
| 2024-01-22 |
dependabot... | Bump shlex from 1.2.0 to 1.3.0 |
commit | commitdiff | tree | snapshot |
| 2024-01-22 |
Mark Thom | Merge pull request #2302 from triska/dcg_representation |
commit | commitdiff | tree | snapshot |
| 2024-01-21 |
Markus Triska | use newly available false//0 |
commit | commitdiff | tree | snapshot |
| 2024-01-21 |
Markus Triska | no longer use (->)//2, since it is implementation dependent |
commit | commitdiff | tree | snapshot |
| 2024-01-21 |
Markus Triska | remove checks that are now no longer needed due to... |
commit | commitdiff | tree | snapshot |
| 2024-01-21 |
Markus Triska | ENHANCED: Throw representation errors for DCG bodies... |
commit | commitdiff | tree | snapshot |
| 2024-01-21 |
Markus Triska | MODIFIED: (->)/2 in DCGs is now only supported in the... |
commit | commitdiff | tree | snapshot |
| 2024-01-19 |
Mark Thom | Merge pull request #2301 from aarroyoc/docs-copy-term-3 |
commit | commitdiff | tree | snapshot |
| 2024-01-19 |
Mark Thom | Merge pull request #2300 from aarroyoc/fix-2298 |
commit | commitdiff | tree | snapshot |
| 2024-01-19 |
Adrián Arroyo... | Move copy_term/3 to library(iso_ext) |
commit | commitdiff | tree | snapshot |
| 2024-01-19 |
Adrián Arroyo... | Throw error in call_residue_vars/2 |
commit | commitdiff | tree | snapshot |
| 2024-01-17 |
Mark | add better no op detection in char_reader.rs (#2297) |
commit | commitdiff | tree | snapshot |
| 2024-01-14 |
Mark | add #2293 tests, advance continuable HeapPStrIters... |
commit | commitdiff | tree | snapshot |
| 2024-01-13 |
Mark | fix additional tests, make better use of existing code... |
commit | commitdiff | tree | snapshot |
| 2024-01-13 |
Mark | fix additional tests (#2293) |
commit | commitdiff | tree | snapshot |
| 2024-01-12 |
Mark | add missing CStr branch to unify_partial_string (#2293) |
commit | commitdiff | tree | snapshot |
| 2024-01-11 |
Mark Thom | Merge pull request #2276 from triska/hophrase |
commit | commitdiff | tree | snapshot |
| 2024-01-10 |
Mark Thom | Merge pull request #2281 from bakaq/miri |
commit | commitdiff | tree | snapshot |
| 2024-01-09 |
bakaq | Make "cargo miri test" actually run |
commit | commitdiff | tree | snapshot |
| 2024-01-09 |
Mark | fix cargo fmt --check |
commit | commitdiff | tree | snapshot |
| 2024-01-09 |
Mark Thom | Merge pull request #2280 from notoria/clpz |
commit | commitdiff | tree | snapshot |
| 2024-01-09 |
Mark | check for PStr in eager stackful preorder iterator... |
commit | commitdiff | tree | snapshot |
| 2024-01-08 |
notoria | Special case for `(^)/2` |
commit | commitdiff | tree | snapshot |
| 2024-01-08 |
Mark Thom | Merge pull request #2278 from notoria/clpz |
commit | commitdiff | tree | snapshot |
| 2024-01-08 |
Mark Thom | Merge pull request #2277 from triska/master |
commit | commitdiff | tree | snapshot |
| 2024-01-07 |
notoria | Fix bound computation in `(^)/2` |
commit | commitdiff | tree | snapshot |
| 2024-01-07 |
notoria | Remove `min/2` and `max/2` when possible |
commit | commitdiff | tree | snapshot |
| 2024-01-07 |
notoria | Fix `min/2` and `max/2` |
commit | commitdiff | tree | snapshot |
| 2024-01-07 |
Markus Triska | Correct arithmetic inequalities accidentally broken... |
commit | commitdiff | tree | snapshot |
| 2024-01-06 |
Mark Thom | Merge pull request #2264 from Skgland/fix-os-argv-1 |
commit | commitdiff | tree | snapshot |
| 2024-01-06 |
Markus Triska | ADDED: Support for higher-order non-terminals phrase... |
commit | commitdiff | tree | snapshot |
| 2024-01-05 |
Mark Thom | Merge pull request #2275 from triska/master |
commit | commitdiff | tree | snapshot |
| 2024-01-05 |
Markus Triska | Prevent assertion of clauses for (-->)/2 when DCGs... |
commit | commitdiff | tree | snapshot |
| 2024-01-04 |
Mark | fix cargo --fmt check error |
commit | commitdiff | tree | snapshot |
| 2024-01-04 |
Mark | add missing permission error in compile_assert (#2271) |
commit | commitdiff | tree | snapshot |
| 2024-01-04 |
Mark | fix acceptance of invalid syntax, update iso_conformity... |
commit | commitdiff | tree | snapshot |
| 2024-01-04 |
Skgland | simplify os:argv/1 fix |
commit | commitdiff | tree | snapshot |
| 2024-01-04 |
Skgland | use once to limit solutions instead of cut |
commit | commitdiff | tree | snapshot |
| 2024-01-04 |
Skgland | add another test case for os:argv/1 |
commit | commitdiff | tree | snapshot |
| 2024-01-03 |
Mark Thom | Merge pull request #2269 from aarroyoc/fix-2267 |
commit | commitdiff | tree | snapshot |
| 2024-01-03 |
Mark Thom | Merge pull request #2268 from aarroyoc/docs-toplevel |
commit | commitdiff | tree | snapshot |
| 2024-01-03 |
Adrián Arroyo... | Use reqwest async and use futures::executor |
commit | commitdiff | tree | snapshot |
| 2024-01-03 |
Adrián Arroyo... | Small fixes in documentation and toplevel.pl |
commit | commitdiff | tree | snapshot |
| 2024-01-02 |
Skgland | fix `os:argv(V)` not completing |
commit | commitdiff | tree | snapshot |
| 2024-01-02 |
Skgland | fix os:argv |
commit | commitdiff | tree | snapshot |
| 2024-01-02 |
Skgland | cover both args ending in `--` and args not ending... |
commit | commitdiff | tree | snapshot |
| 2024-01-02 |
Skgland | remove unnecessary `true` |
commit | commitdiff | tree | snapshot |
| 2024-01-02 |
Skgland | cover trailing `--` and `os:argv([])` in os_argv test |
commit | commitdiff | tree | snapshot |
| 2024-01-02 |
Skgland | fix os:argv/1 |
commit | commitdiff | tree | snapshot |
| 2024-01-02 |
Skgland | add failing test for os:argv issue |
commit | commitdiff | tree | snapshot |
| 2024-01-02 |
Mark | expand module names in transitive goals (#2255) |
commit | commitdiff | tree | snapshot |
| 2024-01-02 |
Mark | fix cargo fmt --check |
commit | commitdiff | tree | snapshot |
| 2024-01-02 |
Mark | mark anonymous variables in compile_is_call (#2257) |
commit | commitdiff | tree | snapshot |
| 2024-01-02 |
Mark Thom | Merge pull request #2263 from aarroyoc/docs-toplevel |
commit | commitdiff | tree | snapshot |
| 2024-01-02 |
Mark Thom | Merge pull request #2262 from triska/faster_global_card... |
commit | commitdiff | tree | snapshot |
| next |
projects / scryer-prolog.git / shortlog