88 Commits

Author	SHA1	Message	Date
Skgland	119761ad10	ignore unused_parens warning ... parens are generated by external macro	2025-11-18 21:42:00 +01:00
Skgland	348c5029b3	reduce msrv back to 1.85	2025-08-18 20:52:15 +02:00
Bennet Bleßmann	25edde2eb4	replace filter by tfiltert and fix Pipe{Reader,Writer} streams	2025-08-01 20:47:51 +02:00
Bennet Bleßmann	ae0baf4893	[WIP] add support to spawn new processes	2025-08-01 20:18:13 +02:00
Bennet Bleßmann	6885074006	fix clippy::unit_arg	2025-07-31 21:47:07 +02:00
Mark Thom	9e1e99f961	Revert "remove Term" ... This reverts commit 3b5879841aedecba5057c70c71da0ba23e5cd84a.	2025-07-07 22:38:10 -07:00
Mark Thom	c0f72704ec	introduce bespoke Heap type for in-heap partial strings	2025-07-07 21:59:50 -07:00
Mark Thom	1ef681bd21	remove Term	2025-07-07 21:54:08 -07:00
Mark Thom	90f4716cc3	Merge branch 'null-stream-safety' of https://github.com/adri326/scryer-prolog into adri326-null-stream-safety	2025-04-29 23:32:48 -07:00
bakaq	3fc5709c50	Add builder style configuration of user input, output and error	2025-02-16 04:04:48 -03:00
bakaq	28926486e0	More stream tests	2025-02-16 04:04:48 -03:00
bakaq	baae1dca15	Refactor UserInput to use channels	2025-02-16 04:04:48 -03:00
bakaq	7a6620b52d	Add input stream channel	2025-02-16 04:04:48 -03:00
bakaq	dd6533e76c	Add callback streams	2025-02-16 03:52:52 -03:00
Emilie Burgun	f45b0bcfe8	Remove redundant alias resolution in at_end_of_stream/1, add corresponding tests for null streams ... Also fixed at_end_of_stream/0 leaving a choicepoint.	2025-02-07 15:05:01 +01:00
Emilie Burgun	8966e175f1	[fixup] return that reading from a null stream wrote 0 bytes to the buffer	2025-02-07 14:35:27 +01:00
Emilie Burgun	7f2ce57ba7	Fix stream realiasing possibly shadowing other streams.	2025-02-06 23:01:33 +01:00
Emilie Burgun	949d316773	Fix realiased streams causing close/1 to leave a dangling stream	2025-02-06 23:00:00 +01:00
Emilie Burgun	0cf46d3ec4	Encapsulate accesses to IndexStore::streams and ::stream_aliases ... These two fields are able to hold `Stream` instances, which predicates like `close/1` expect to be managed properly for their correctness. To ensure that this is the case, I have removed direct accesses to those two fields, so that they can be properly managed in one place.	2025-02-06 23:00:00 +01:00
Emilie Burgun	7108e87e92	Make Stream::Null behave like /dev/null	2025-02-03 00:12:03 +01:00
Emilie Burgun	fdc35f8b40	Fix UB caused by interactions with null streams	2025-02-03 00:08:37 +01:00
Emilie Burgun	2fe7b55343	Fix close/1 messing up stream_aliases when user_input or user_output aren't set to Stdin and Stdout	2025-02-03 00:07:39 +01:00
bakaq	d32f3ee2f3	Fix warnings	2024-09-06 18:42:31 -03:00
Adrián Arroyo Calle	e310f9683e	Fix build on WASM after #2442 ... (cherry-pick of 3acf4c637b6f8b17bb0230edeaaae0507d9030d1 from PR mthom/scryer-prolog#2446)	2024-07-26 01:08:00 +02:00
Bennet Bleßmann	1eb6a883f6	run rustfmt	2024-07-23 00:01:58 +02:00
Mark Thom	eaa95293e4	Merge pull request #2439 from Skgland/miri ... Some cleanup and miri fixes	2024-07-22 13:40:57 -06:00
Bennet Bleßmann	5d03be4b09	fix leak of slaps with dropped payload	2024-07-07 19:22:46 +02:00
Bennet Bleßmann	1b19ae81d5	wrap Payloads that are dropped eraly in ManuallyDrop	2024-07-07 15:58:31 +02:00
Bennet Bleßmann	496e4e9f56	fix clippy again	2024-07-07 11:31:36 +02:00
Adrián Arroyo Calle	08a9f7c068	Fix at_end_of_stream/1 for http read stream	2024-07-06 16:00:50 +02:00
Bennet Bleßmann	285f11ccdc	add associated Payload type to ArenaAllocated	2024-07-06 15:37:08 +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
Bennet Bleßmann	1a9d10d298	fix two clippy lints	2024-05-28 21:28:18 +02:00
Mark Thom	a6157a926d	improve use of unsafe Rust in arena.rs (#2391)	2024-04-24 20:28:06 -06:00
Mark	b70f121e46	use scryer-modular-bitfield on github, version bump	2024-02-29 10:08:14 -07:00
Mark	75a94fd0b3	fmt	2024-02-02 11:49:02 -07:00
bakaq	f02c0eacd8	Make "cargo miri test" actually run	2024-01-09 04:38:53 -03:00
Mark	631674db29	open pl files instead of directories (#2014)	2023-11-28 15:32:06 -07:00
infogulch	9444e62df9	Resolve lints and format	2023-11-04 02:16:54 -05:00
Nicolas Luck	0c9740fe52	Fix wasm warnings	2023-10-17 22:07:38 +02:00
Adrián Arroyo Calle	660860bccf	Replace Hyper with Warp for HTTP server ... - Use Warp - Optimize clones - HTTPS server - Content-Length limit - HTTP Basic Auth - Stop server with Ctrl-C	2023-09-27 18:50:19 +02:00
Mark	b3239abea1	throw resource error if OpenOptions raises an error of uncategorized kind (#1375)	2023-09-21 14:36:53 -06:00
Skgland	86166dbf25	[WIP] make AtomTable concurrentcy ready	2023-09-05 19:12:22 +02:00
Skgland	b2130c2a48	run cargo fmt	2023-09-05 19:12:17 +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
Rujia Liu	25d4950216	Allow users to disable optional features. Needed for wasm32 support (see #615).	2023-08-21 10:01:24 +08:00
Mark	86c90d77dd	do a better job handling EOF in read_term (#1887)	2023-07-17 13:19:30 -06:00
Mark	b051f39145	correct peek_byte/2 bugs (#1882)	2023-07-13 12:23:20 -06:00
Mark	3f5dbc1680	emit stream aliases as permission error culprits whenever possible	2023-07-12 12:17:06 -06:00
Mark	067b5998ee	clarify EOF error across stream types and predicates (#1867, #1870)	2023-07-08 13:38:52 -06:00