Skgland
7d0d61d789
remove no longer necessary allows
2026-02-20 22:45:09 +01:00
Skgland
5ef5a3f30a
replace custom modular_bitfields fork with update upstream
...
part of #2468
2026-02-20 22:40:33 +01:00
Danil Platonov
337d9c5583
move drop to impl Drop
2026-01-26 04:57:28 -08:00
Danil Platonov
26523139a8
fix http stream not being closed fully
2026-01-25 03:16:37 -08:00
Skgland
65aadb3b88
reduce visibility to pub(crate) to prevent accidentally exposing
2026-01-24 04:20:13 +01:00
Skgland
dfad71bc6e
fix some lint warnings
2026-01-24 04:13:26 +01:00
Skgland
d8c6fa1fe5
don't expose lexical error and provide location
2026-01-24 04:08:41 +01:00
Skgland
18b476af28
make ParserError a struct with an enum kind field
2026-01-24 04:08:40 +01:00
Skgland
bd233fedfd
add location to InvalidSingleQuotedCharacter
2026-01-24 04:08:40 +01:00
Skgland
083546442d
make match exhaustive
2026-01-24 04:08:40 +01:00
Skgland
3343188756
replace pairs of usize with location struct
2026-01-24 04:08:40 +01:00
Daniel K Lyons
ed36aa7313
Fixed a typo in the documentation for atom_codes/2
2026-01-20 09:54:18 -07:00
Markus Triska
0dc94ecc0b
ADDED: not_si/1
...
For a recent example that would benefit from this, see "Prolog Basics
Explained with Pokémon" by @alexpetros:
https://unplannedobsolescence.com/blog/prolog-basics-pokemon/
Thank you a lot!
2026-01-18 09:58:31 +01:00
Mark Thom
453a88f03e
Merge pull request #3211 from mthom/setof_correction_and_opt
...
Correct and optimize setof/3 and bagof/3
2026-01-14 22:07:10 -07:00
Mark Thom
c79fd74331
remove unnecessary extra work in findall_with_existential/5
2026-01-14 20:39:48 -08:00
Mark Thom
e446b13376
remove hashbrown crate
2026-01-14 20:39:48 -08:00
Mark Thom
a83f412251
replace sort_without_dedup/2 with keysort/2
2026-01-14 20:39:48 -08:00
Mark Thom
1a8c4f9b03
cargo fmt fixes
2026-01-14 20:39:48 -08:00
Mark Thom
c2e1ded852
remove variant_hashing.rs and related instructions
2026-01-14 20:39:48 -08:00
Mark Thom
70220687f4
find variant terms using just sort/2 and (==)/2
2026-01-14 20:39:48 -08:00
Mark Thom
69a367d1c9
do not retain attributes in solutions of findall ( #3020 )
2026-01-14 20:39:48 -08:00
Mark Thom
e2bdf59c81
fix cargo fmt
2026-01-14 20:39:48 -08:00
Mark Thom
6284aa3a3f
add variant_hash and is_non_variant to fix setof/3, bagof/3
2026-01-14 20:39:48 -08:00
Mark Thom
29cd80510b
replace compare_term_test with parallel iterator, add is_not_variant
2026-01-14 20:39:45 -08:00
Mark Thom
9089f9ddb4
use branch numbers to detect branch subsumption
2026-01-14 20:34:06 -08:00
Mark Thom
16dc10ee96
assert rational(3) as true in tests/builtins.pl
2026-01-14 20:34:06 -08:00
Mark Thom
4e8f338870
Merge pull request #3222 from Skgland/reduce-instructions_template
...
move static parts of instructions template directly into instructions module, fix clippy and typos
2026-01-12 23:22:44 -07:00
Skgland
b14e363d5e
run rustfmt to fix formatting
2026-01-10 18:31:40 +01:00
Bennet Bleßmann
87f89545bb
restore accidentally removed comment
2026-01-10 18:30:09 +01:00
Skgland
5064760b1e
fix spelling
2026-01-10 18:13:59 +01:00
Skgland
eca4262be6
fix clippy lints
2026-01-10 17:52:34 +01:00
Skgland
73c26bed2a
extaract the static part of the instructions template directly into the instructions module
...
This way goto source doesn't end up in a generated file for those parts and they can be edited directly.
I have way too often accidentally edited the generated file.
2026-01-10 17:48:07 +01:00
Mark Thom
172b6a6f8f
Merge pull request #3207 from Skgland/quote-fix-unquote-segv
...
"fix" segv from #3198 , #3199 , and #3205
2025-12-17 14:11:21 -07:00
Skgland
129cca53ed
throw error(resource_error(memory), []) when the list length exceeds usize.
2025-12-10 00:04:24 +01:00
Mark Thom
cd1ed106ed
Merge pull request #3177 from triska/use_phrase_to_file
...
use more recently available phrase_[to|from]_file/3 in example
2025-12-08 19:23:52 -07:00
Skgland
00aba96185
remove overengineered RecursionGuard
2025-12-08 22:27:24 +01:00
Skgland
616f071cd9
fix another integer overflow
2025-12-08 19:59:43 +01:00
Skgland
580572aec6
don't calculate panic message eagerly
2025-12-07 23:06:09 +01:00
Skgland
47e908bf76
handle overflown in Heap::with_cell_capacity
2025-12-07 22:59:00 +01:00
Skgland
11901b5fde
handle oob heap index calculation
2025-12-07 21:45:13 +01:00
Skgland
d63b0a192c
use checked multiplication in heap_index! macro
2025-12-07 21:31:24 +01:00
Skgland
2fc08dde1e
prevent multiply with overflow resulting in odd errors/segv
2025-12-07 21:27:24 +01:00
Skgland
193cfabc66
detect recursive throw_resource_error and panic instead of causing a segmentation fault
2025-12-07 21:08:17 +01:00
Skgland
7c3ffd0e87
deny function_casts_as_integer warnings
2025-12-04 23:35:35 +01:00
Skgland
797a8f8611
fix function_casts_as_integer warning
...
Comparing addresses of function pointers is brittle.
Functions may be duplicated resulting in function pointers to the same function to compare !=.
Functions may be merged/de-duplicated resulting in function pointers to different function to compare ==.
The later shouldn't be relevant here as the function differ in behavior, but mentioning it for completeness.
2025-12-04 23:35:23 +01:00
Mark Thom
f570e566f8
fix backtrack_on_resource_error around choice instructions
2025-12-03 18:13:00 -08:00
Mark Thom
96a9dfcc1b
Merge pull request #3185 from mthom/install_verify_attr_opt
...
Optimize `verify_attr` by removing the need to scan instructions
2025-12-03 19:10:46 -07:00
Mark Thom
6fdcd17f32
Merge pull request #3164 from Skgland/alloc_errors2
...
handle machine heap/stack allocation error
2025-12-03 19:10:22 -07:00
Mark Thom
652e824e59
Merge pull request #3147 from jjtolton/error-termination-flag
...
Add -t flag for custom toplevel (replaces --halt-on-error)
2025-12-02 00:24:46 -07:00
Mark Thom
f595eaee2e
Merge pull request #3179 from triska/meetups
...
update meetups
2025-12-01 23:55:46 -07:00
