Bennet Bleßmann
821358c062
unify pointer width
2024-07-06 01:49:25 +02:00
Bennet Bleßmann
dd2548453b
rework some unsafe parts
...
- removed some unsafe
- added some safety comments
- add explicit types to transmute calls
- reworked UntypedArenaPtr -> TypedArenaPtr conversion
might help with mthom/scryer-prolog#2438 , I noticed fewer complains from miri after changing the default impl for `ArenaAllocated::alloc`
2024-07-05 23:45:02 +02:00
infogulch
9444e62df9
Resolve lints and format
2023-11-04 02:16:54 -05:00
Mark
8aadc99f1d
fix bugs in marker algorithm iterator
2023-10-13 14:38:50 -06:00
Skgland
b2130c2a48
run cargo fmt
2023-09-05 19:12:17 +02:00
Adrián Arroyo Calle
4523bb5b81
32 bit CI for Linux
2023-08-27 19:25:54 +02:00
Rujia Liu
4fd059be5f
32-bit system support, addressing all (at most) 4GB addresses of RAM.
2023-08-24 20:05:40 +08:00
Mark
44052cb373
Revert "Allow comparisons with stream terms"
...
This reverts commit 076a75d138
2023-07-12 11:44:45 -06:00
Adrián Arroyo Calle
076a75d138
Allow comparisons with stream terms
2023-07-04 17:33:48 +02:00
Mark
c36bd4dc07
introduce CutPoint heap tag so that they can be offset by call_continuation/1
2023-06-29 12:14:15 -06:00
Mark Thom
4da646252b
Revert "correct call_residue_vars/3 using new copy_term_3 ( #1239 )"
...
This reverts commit 9b35a316c9
2023-03-14 21:34:49 -06:00
Mark Thom
9b35a316c9
correct call_residue_vars/3 using new copy_term_3 ( #1239 )
2023-03-12 17:56:54 -06:00
Mark Thom
491472a8c5
retire TrailedAttrVarHeapLink TrailEntry tag
2023-02-10 22:52:27 -07:00
Mark Thom
1ffbf63d20
inline metacalls
2022-10-26 23:36:07 -06:00
Mark Thom
6030fae685
track f64 offsets in Literal ( #1190 )
2022-05-04 21:54:46 -06:00
Mark Thom
05c14d5780
fix comparisons to partial string tails ( #1420 )
2022-04-14 22:14:23 -06:00
Mark Thom
f3167f6b5f
add forwarding bit to all heap cells ( #1384 )
2022-04-05 20:34:27 -06:00
Mark Thom
8c99d748e2
allocate floats in dedicated buffer
2022-04-05 20:34:27 -06:00
Mark Thom
012fefa37e
retrieve F64 behind Cons tags properly ( #1369 )
2022-03-26 21:18:07 -06:00
Mark Thom
bd5d6d0686
fix parser bounds check bug ( #1333 , #1301 )
2022-03-08 21:25:19 -07:00
Mark Thom
5a132aaff4
throw error instead of overwriting builtin export ( #1225 )
2022-01-18 19:16:14 -07:00
Mark Thom
3974b6e6cd
dereference variables when looking for string terminators
2022-01-06 21:44:41 -07:00
Mark Thom
fb4e627e62
fix various partial string bugs (copying using them in arg/3)
2022-01-06 21:44:41 -07:00
Mark Thom
ef3a97cedd
detect attributed variables by properly detecting them in copy_term/2
2022-01-06 21:44:41 -07:00
Mark Thom
4af57b0dd3
fix HeapPStrIter bug not recognizing nil focus if PStrLoc points to PStrOffset to CStr
2022-01-06 21:44:41 -07:00
Mark Thom
0404c3bd94
use new heap term representation
2022-01-06 21:44:38 -07:00
