Skip to content

Pull requests: mthom/scryer-prolog

New pull request New
65 Open 763 Closed
65 Open 763 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

fix function_casts_as_integer warning
#3189 opened Nov 27, 2025 by Skgland Loading…
7
Optimize verify_attr by removing the need to scan instructions
#3185 opened Nov 26, 2025 by mthom Loading…
2
Getting Started With Scryer Tutorial
#3183 opened Nov 24, 2025 by dougransom Loading…
34
improve dispatch_loop Instruction::InstallVerifyAttr
#3182 opened Nov 23, 2025 by Skgland • Draft
9
ADDED: foldl/6, addressing #2973
#3180 opened Nov 23, 2025 by triska Loading…
update meetups
#3179 opened Nov 23, 2025 by triska Loading…
use more recently available phrase_[to|from]_file/3 in example
#3177 opened Nov 23, 2025 by triska Loading…
Fix setof/3 duplicate grouping for variant witnesses (issue #3151)
#3176 opened Nov 22, 2025 by jjtolton • 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 • Draft
5
Fix #3116: UTF-8 errors as representation_error
#3169 opened Nov 21, 2025 by jjtolton Loading…
1
1
Fix #3119: Enforce priority 999 limit in lists
#3168 opened Nov 20, 2025 by jjtolton Loading…
1
Fix #3156: Reject bracketed terms as functors
#3167 opened Nov 20, 2025 by jjtolton Loading…
1
1
Fix #3161: malformed list syntax in curly braces
#3166 opened Nov 20, 2025 by jjtolton Loading…
1
1
handle machine heap/stack allocation error
#3164 opened Nov 19, 2025 by Skgland Loading…
14
cleanup some unnecessary allocations and other minor changes
#3162 opened Nov 18, 2025 by Skgland Loading…
12
Top level keybindings documentation
#3155 opened Nov 16, 2025 by constraintAutomaton • Draft
1
16
Add -t flag for custom toplevel (replaces --halt-on-error)
#3147 opened Nov 6, 2025 by jjtolton Loading…
1
28
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 • Draft
4 tasks
Add RTLD_GLOBAL support to FFI for Python C extension compatibility
#3144 opened Nov 4, 2025 by jjtolton Loading…
5 tasks done
14
Fix (|) parsing per ISO TC2 C2: operator-dependent validity
#3141 opened Oct 26, 2025 by jjtolton Loading…
1
Fix parser to reject incomplete reductions like ([, ({, ((
#3139 opened Oct 26, 2025 by jjtolton Loading…
1
10
Fix: Handle empty list in term_expansion/2 to remove terms without warnings
#3137 opened Oct 25, 2025 by jjtolton Loading…
1
1
Add timeout support for get_n_chars/4
#3136 opened Oct 25, 2025 by jjtolton Loading…
31
Implement double bar (||) operator for partial string lists
#3135 opened Oct 24, 2025 by jjtolton Loading…
11
Add digit separator support for binary, octal, and hexadecimal numbers
#3134 opened Oct 24, 2025 by jjtolton Loading…
5 tasks done
18
ProTip! What’s not been updated in a month: updated:<2025-10-29.