Skip to content

Issues: mthom/scryer-prolog

New issue

Have a question about this project? # for a free GitHub account to open an issue and contact its maintainers and the community.

#

By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? # to your account

376 Open 1,341 Closed
376 Open 1,341 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
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

Atoms with \0\ are not correctly handled (rebis-dev/master)
#2848 opened Mar 9, 2025 by triska
rebis-dev: thread 'main' panicked at src/machine/heap.rs:114:14
#2845 opened Mar 3, 2025 by triska
1
Strings in toplevel answers can sometimes not be read
#2844 opened Mar 3, 2025 by triska
Wasm: Machine exceptions are 'sticky'
#2842 opened Mar 3, 2025 by guregu
Source Paths do not resolve correctly
#2840 opened Mar 1, 2025 by jjtolton
4
Provide more context to animate
#2829 opened Feb 16, 2025 by jgarte
Module qualifications not resolved at runtime
#2826 opened Feb 14, 2025 by bakaq
4
meta_predicate/1 directive unexpectedly does not accept predicate indicator lists
#2823 opened Feb 10, 2025 by triska
meta_predicate is unexpectedly an operator
#2822 opened Feb 9, 2025 by triska
4
The current state of the Wasm port
#2819 opened Feb 8, 2025 by bakaq
3
Redundant WAM instructions for inlined goals of meta-predicates
#2816 opened Feb 5, 2025 by triska
asserta/1: no 7.6.2 term-to-body conversion
#2811 opened Feb 3, 2025 by UWN
A escaped null byte (0x00) in the middle of strings literals is ignored
#2810 opened Feb 3, 2025 by Kiyoshi364
3
Doing anything with a null stream crashes
#2801 opened Jan 31, 2025 by bakaq
1
1
Donating a library for reasoning about CBOR
#2800 opened Jan 30, 2025 by Kiyoshi364
16
get_char/1 panic
#2797 opened Jan 28, 2025 by flexoron
get_line_to_chars emits newline
#2787 opened Jan 22, 2025 by ak-1
format("~0f",[1.4]) incorrect
#2779 opened Jan 18, 2025 by UWN
16
format: ~Nf gives surprising result for floats with negative exponents.
#2771 opened Jan 15, 2025 by tmerr
10
Could we get a new release?
#2770 opened Jan 13, 2025 by yewscion
1
Idiom for alerting user who attempts to use a non-enabled Rust feature
#2766 opened Jan 11, 2025 by dcnorris
3
~~special~~ indispensable math functions
#2765 opened Jan 9, 2025 by dcnorris
10
rebis-dev: build_meta_predicate_clause triggers UB
#2763 opened Jan 9, 2025 by adri326
1
Build excluding networking and other IO
#2761 opened Jan 8, 2025 by jeswr
rebis-dev: MachineState::new calling Heap::store_resource_error makes tests non-deterministic
#2760 opened Jan 8, 2025 by adri326
1
ProTip! Type g i on any issue or pull request to go back to the issue listing page.