Skip to content

Pull requests: mthom/scryer-prolog

New pull request New
67 Open 813 Closed
67 Open 813 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Reviews
Filter by reviews
No reviews Review required Approved review Changes requested
Assignee
Filter by who’s assigned
Assigned to nobody Loading
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Pull requests list

Bump pprof from 0.13.0 to 0.14.0 dependencies Pull requests that update a dependency file rust Pull requests that update rust code
#3349 opened May 26, 2026 by dependabot Bot Loading…
showterm.el: use new magick command by default, fallback to convert
#3347 opened May 26, 2026 by drzv Contributor Loading…
5
Bump openssl from 0.10.72 to 0.10.80 dependencies Pull requests that update a dependency file rust Pull requests that update rust code
#3344 opened May 23, 2026 by dependabot Bot Loading…
Prove safety of RawBlock and support multi-threaded usages
#3331 opened May 10, 2026 by adri326 Contributor Loading…
10
More Accesible Quad Module
#3313 opened Apr 26, 2026 by constraintAutomaton Loading…
5
Bump rand from 0.8.5 to 0.8.6 dependencies Pull requests that update a dependency file rust Pull requests that update rust code
#3304 opened Apr 22, 2026 by dependabot Bot Loading…
Test: SIGINT should be able to interrupt non-terminating goals on linux
#3299 opened Apr 19, 2026 by danilp-id Contributor Loading…
11
Issue 3223 migrate to rust edition 2024
#3275 opened Apr 2, 2026 by abmclin Contributor • Draft
1
34
Library: add run_query_safe exposing parsing errors
#3236 opened Jan 21, 2026 by exlee Loading…
14
Limit file tests to unix target family
#3230 opened Jan 17, 2026 by thierrymarianne Contributor • Draft
Fix invalid (|) parsing when | is operator
#3208 opened Dec 8, 2025 by jjtolton Contributor Loading…
1
Fix invalid [|] parsing when | is operator
#3206 opened Dec 6, 2025 by jjtolton Contributor • Draft
Fix #3156: Reject bracketed terms as functors
#3203 opened Dec 6, 2025 by jjtolton Contributor Loading…
1
Getting Started With Scryer Tutorial
#3183 opened Nov 24, 2025 by dougransom Loading…
38
Fix setof/3 duplicate grouping for variant witnesses (issue #3151)
#3176 opened Nov 22, 2025 by jjtolton Contributor • Draft
5 tasks done
1
1
populate the second argument of error terms thrown from rust with a context list
#3173 opened Nov 21, 2025 by Skgland Contributor • Draft
5
Fix #3116: UTF-8 errors as representation_error
#3169 opened Nov 21, 2025 by jjtolton Contributor Loading…
1
1
Fix #3119: Enforce priority 999 limit in lists
#3168 opened Nov 20, 2025 by jjtolton Contributor Loading…
1
Fix #3156: Reject bracketed terms as functors
#3167 opened Nov 20, 2025 by jjtolton Contributor Loading…
1
1
Fix #3161: malformed list syntax in curly braces
#3166 opened Nov 20, 2025 by jjtolton Contributor Loading…
1
1
Top level keybindings documentation
#3155 opened Nov 16, 2025 by constraintAutomaton • Draft
1
16
add a rust API for defining struct types and ffi functions from safe rust without loading a dynamic library
#3145 opened Nov 5, 2025 by Skgland Contributor • Draft
4 tasks
Add RTLD_GLOBAL support to FFI for Python C extension compatibility
#3144 opened Nov 4, 2025 by jjtolton Contributor Loading…
5 tasks done
14
Fix (|) parsing per ISO TC2 C2: operator-dependent validity
#3141 opened Oct 26, 2025 by jjtolton Contributor Loading…
1
Fix parser to reject incomplete reductions like ([, ({, ((
#3139 opened Oct 26, 2025 by jjtolton Contributor Loading…
1
10
ProTip! Type g i on any issue or pull request to go back to the issue listing page.