All pull requests

Pull requests

• Return end_of_file from read_term when only layout is left before EOF

  #3452·no382001 opened Oct 8, 2026Contributor·

  ·
  1

• Fix statistics/2: raise domain_error on unknown key instead of failing silently

  #3429·youdie006 opened Aug 19, 2026·

  ·

• Add checked parser, query, and module-load APIs

  #3394·Kenerator opened Jun 21, 2026·

  ·
  1

  67

• Raise interrupt exception on Ctrl-C at the read prompt

  #3390·jasagredo opened Jun 17, 2026Contributor·

  ·
  3

• Proper backtracking on interrupted socket/http listeners

  #3387·jasagredo opened Jun 16, 2026Contributor·

  ·
  11

• Add support for SCRYER_EDIT_MODE environment variable

  #3385·pronussonus opened Jun 16, 2026·

  ·
  1

• Replace native-tls with rustls and expose optional client certificate

  #3383·jasagredo opened Jun 15, 2026Contributor·

  ·
  7

• Better visuals for documentation in library(tls), library(process)

  #3380·jasagredo opened Jun 15, 2026Contributor·

  ·
  3

• Allow using pipes that close in phrase_from_stream

  #3379·jasagredo opened Jun 15, 2026Contributor·

  ·
  3

• Draft fix for redundant WAM argument move in #761

  #3374·jasonhemann opened Jun 11, 2026Contributor·

  ·
  1

• Bump pprof from 0.13.0 to 0.14.0

  dependenciesrust
  #3349·dependabot[bot] opened May 26, 2026Bot·

  ·

• Bump openssl from 0.10.72 to 0.10.80

  dependenciesrust
  #3344·dependabot[bot] opened May 23, 2026Bot·

  ·

• More Accesible Quad Module

  #3313·constraintAutomaton opened Apr 26, 2026·

  ·
  21

• Bump rand from 0.8.5 to 0.8.6

  dependenciesrust
  #3304·dependabot[bot] opened Apr 22, 2026Bot·

  ·

• Library: add run_query_safe exposing parsing errors

  #3236·exlee opened Jan 21, 2026·

  ·
  14

• Limit file tests to unix target family

  #3230·thierrymarianne opened Jan 17, 2026Contributor·

  ·

• Fix invalid (|) parsing when | is operator

  #3208·jjtolton opened Dec 8, 2025Contributor·

  ·
  1

• Fix invalid [|] parsing when | is operator

  #3206·jjtolton opened Dec 6, 2025Contributor·

  ·

• Fix #3156: Reject bracketed terms as functors

  #3203·jjtolton opened Dec 6, 2025Contributor·

  ·
  1

• Getting Started With Scryer Tutorial

  #3183·dougransom opened Nov 24, 2025·

  ·
  38

• Fix setof/3 duplicate grouping for variant witnesses (issue #3151)

  #3176·jjtolton opened Nov 22, 2025Contributor·5 tasks done·

  ·
  1

  1

• populate the second argument of error terms thrown from rust with a context list

  #3173·Skgland opened Nov 21, 2025Contributor·

  ·
  5

• Fix #3116: UTF-8 errors as representation_error

  #3169·jjtolton opened Nov 21, 2025Contributor·

  ·
  1

  1

• Fix #3119: Enforce priority 999 limit in lists

  #3168·jjtolton opened Nov 20, 2025Contributor·

  ·
  1

• Fix #3156: Reject bracketed terms as functors

  #3167·jjtolton opened Nov 20, 2025Contributor·

  ·
  1

  1