67 Commits

Author	SHA1	Message	Date
Bennet Bleßmann	e7600884fb	remove unecessary into_iter	2025-07-31 21:47:11 +02:00
Bennet Bleßmann	fae5e13bd5	impl From rather than Into	2025-07-31 21:47:05 +02:00
Bennet Bleßmann	8cc74b2af7	fix clippy::uninlined_format_args	2025-07-31 21:26:08 +02:00
Mark Thom	762b63e1f4	use granular hierarchical locks in offset_table.rs	2025-07-07 22:44:02 -07:00
Mark Thom	1332611f83	use OffsetTableImpl without synchronization by default	2025-07-07 22:39:47 -07:00
Mark Thom	22080f3787	move CodeIndex to F64Table-like table	2025-07-07 22:38:12 -07: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
Emilie Burgun	7f2ce57ba7	Fix stream realiasing possibly shadowing other streams.	2025-02-06 23:01:33 +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
Bennet Bleßmann	b1f057b67d	resolve problems from deps upgrade ... - downgrade reqwest to 0.11.27 - fixes problems with missmatched transitive dependencies between it and warp, mainly http - replace deprecated ripemd160 with ripemd (as specified in the formers readme) - indexmap: replace deprecated remove with functionally identical swap_remove	2024-08-04 01:57:25 +02:00
Bennet Bleßmann	74720d4d2e	remove unsafe impl From<UntypedArenaPtr> for CodeIndex	2024-07-07 14:18:50 +02:00
Bennet Bleßmann	1ff995fedb	clippy: allow new without default	2024-07-06 13:04:55 +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
Adrián Arroyo Calle	f4d2839dc7	Fix warnings of dead code	2024-05-27 19:52:02 +02:00
Mark Thom	5e1effc69a	fix failing clippy checks, remove unnecessary code	2024-04-25 20:05:22 -06:00
Mark	0292cb73d3	expand_call_goals/3 should expand meta-predicate subgoals (#2361)	2024-03-19 17:12:26 -06:00
Mark	b70f121e46	use scryer-modular-bitfield on github, version bump	2024-02-29 10:08:14 -07:00
infogulch	9444e62df9	Resolve lints and format	2023-11-04 02:16:54 -05:00
Mark	de440a8c92	get rid of OssifiedOpDir, DBRef, simplify current_op/3	2023-09-11 15:36:15 -06: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
Mark	a154a34f87	omit anonymous variables from read_term variable_names and singletons lists	2023-07-17 13:20:10 -06:00
Mark	617c961f88	add is_inbuilt check to err_on_builtin_overwrite (#1872)	2023-07-15 10:44:00 -06:00
Mark	12f890e4a2	throw permission_error in compile_assert when attempting to assert a built-in (#1872)	2023-07-13 15:03:26 -06:00
Mark	b593fffc7d	support module resolution in current_predicate/1 (#1817)	2023-06-27 11:08:29 -06:00
Mark	d7f5675727	improve call/N implementation (#1829)	2023-06-23 14:11:31 -06:00
Mark	0e583d620a	implement new disjunction compilation	2023-06-23 14:11:31 -06:00
Mark Thom	063cf0c608	new TermIterState variants	2023-06-23 14:11:30 -06:00
Mark Thom	b9c9de5222	add classifications and occurrence counting	2023-06-23 13:54:46 -06:00
Mark Thom	a7e93db363	improve retract/1 and related predicates (#1598)	2023-01-22 21:04:41 -07:00
Mark Thom	ec9c763211	print index_ptr offset (#1534)	2022-10-26 23:36:07 -06:00
Mark Thom	0aec980aa8	inference count call_inline, fail on undefined index	2022-10-26 23:36:07 -06:00
Mark Thom	6b05ee5130	streamline assertz/1, asserta/1	2022-10-26 23:36:07 -06:00
Mark Thom	1ffbf63d20	inline metacalls	2022-10-26 23:36:07 -06:00
Mark Thom	f3e5f7879d	allow late dynamic declaration for predicates (#1205)	2022-01-14 16:31:49 -07:00
Mark Thom	955e1799c8	flatten the instruction dispatch loop	2022-01-06 22:09:36 -07:00
Mark Thom	3db86f1e25	relocate most instruction routines from MachineState to Machine	2022-01-06 21:46:23 -07:00
Mark Thom	6f9b6a29c4	remove LocalCodePtr::IndexingBuf	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
Mark Thom	7e4cfede7d	fix use of local skeletons to reload predicates (#919)	2021-04-27 02:01:00 -06:00
Mark Thom	5f7abda22d	remove operators declared at user-level from files when reloading	2021-03-16 18:30:34 -06:00
Mark Thom	51424aed32	clear user-level definitions when reloading a file (#455)	2021-03-16 02:30:09 -06:00
Skgland	2f428b7261	split into lib and bin ... * makes most pub things in src/ pub(crate) as not to expose things accidentally * only those things needed by src/bin/scryer-prolog.rs and tests/scryer.rs should be pub * split src/main.rs into src/lib.rs and src/bin/scryer-prolog.rs * add tests folder and run most of the files in src/tests with cargo test added bytes method to Stream in src/machine/streams.rs to check if stdout is as expected	2021-02-28 19:21:30 +01:00
Mark Thom	064d261357	implement logical update semantics for dynamic database predicates	2021-02-27 23:33:10 -07:00
Mark Thom	6c447da730	no longer generate a choice point in bb_b_put/2 (#742)	2021-02-22 18:27:30 -07:00
Mark Thom	0ef5f7f9b1	issue singleton variable warnings from loader.pl (#812)	2021-02-21 19:20:42 -07:00
Mark Thom	d69b7f41f2	add '$remove_module_exports' to loader.rs	2021-02-18 14:08:25 -07:00