]>
Repositorios git - scryer-prolog.git/log
Mark Thom [Sat, 23 Aug 2025 21:34:49 +0000 (14:34 -0700)]
clear rustc warnings (#3051)
Mark Thom [Sat, 23 Aug 2025 21:20:00 +0000 (14:20 -0700)]
make max_depth checking in heap_print.rs consistent across atomics
Mark Thom [Sat, 23 Aug 2025 20:18:09 +0000 (13:18 -0700)]
some max_depth improvements (#1876, #2666, #3008, #3027)
Mark Thom [Sat, 23 Aug 2025 18:51:56 +0000 (11:51 -0700)]
further improvements to cyclic partial list printing (#2635)
Mark Thom [Sat, 23 Aug 2025 01:55:32 +0000 (18:55 -0700)]
improve printer's handling of cyclic lists (#2111, #2635)
Mark Thom [Fri, 22 Aug 2025 06:24:30 +0000 (23:24 -0700)]
Merge pull request #3056 from Skgland/fix-msrv
Fix msrv
Mark Thom [Fri, 22 Aug 2025 05:52:25 +0000 (22:52 -0700)]
fix cyclic detection of partial strings in StackfulPreOrderHeapIter (#3050)
Mark Thom [Fri, 22 Aug 2025 00:34:21 +0000 (17:34 -0700)]
Use from_str_radix for BigInt in parse_integer_by_radix (#3025, #3033)
Skgland [Mon, 18 Aug 2025 18:53:02 +0000 (20:53 +0200)]
make CI read msrv from Cargo.toml
instead of hardcoding it, so we have a single source of truth
Skgland [Mon, 18 Aug 2025 18:52:15 +0000 (20:52 +0200)]
reduce msrv back to 1.85
Mark Thom [Sun, 17 Aug 2025 22:49:20 +0000 (15:49 -0700)]
Merge pull request #3055 from Skgland/build-debs
use cargo-deb in CI to build debian deb packages
Skgland [Sun, 17 Aug 2025 20:52:45 +0000 (22:52 +0200)]
fixup logtalk-test
Skgland [Sun, 17 Aug 2025 20:31:28 +0000 (22:31 +0200)]
explicitly pass the target to cargo-deb
Skgland [Sun, 17 Aug 2025 20:12:54 +0000 (22:12 +0200)]
fix paths
Mark Thom [Sun, 17 Aug 2025 20:12:28 +0000 (13:12 -0700)]
Merge pull request #3053 from Skgland/add-test-for-issue-3048
add tests for issue 3048
Skgland [Sun, 17 Aug 2025 17:19:47 +0000 (19:19 +0200)]
build debian packages on linux targets
Skgland [Sat, 16 Aug 2025 13:29:25 +0000 (15:29 +0200)]
add tests for issue 3048
Mark Thom [Sat, 16 Aug 2025 22:26:10 +0000 (15:26 -0700)]
clear pdl after comparing partial strings (#3048)
Mark Thom [Fri, 15 Aug 2025 04:21:32 +0000 (21:21 -0700)]
check for stack variables in ground_test before iterating (#3048)
Mark Thom [Wed, 13 Aug 2025 05:29:31 +0000 (22:29 -0700)]
small tweak for read_from_term performance (#2668)
Mark Thom [Wed, 13 Aug 2025 05:23:52 +0000 (22:23 -0700)]
deref terms in read_from_term (#2668)
Mark Thom [Tue, 12 Aug 2025 05:26:01 +0000 (22:26 -0700)]
Merge pull request #3042 from dcnorris/numerics
library(numerics), special funs from crate puruspe
David C. Norris [Mon, 11 Aug 2025 01:30:36 +0000 (21:30 -0400)]
Add README entry for numerics/special_functions
David C. Norris [Sun, 10 Aug 2025 22:44:08 +0000 (18:44 -0400)]
Drop 2 extra lines flagged by 'cargo fmt'
David C. Norris [Sun, 10 Aug 2025 22:36:54 +0000 (18:36 -0400)]
Address CI style complaints
Mark Thom [Sun, 10 Aug 2025 20:14:15 +0000 (13:14 -0700)]
Merge pull request #2786 from Skgland/ffi-f64-tests
add ffi tests & fix ffi
Mark Thom [Sun, 10 Aug 2025 20:04:03 +0000 (13:04 -0700)]
Merge pull request #3023 from triska/promote_call_with_error_context
ADDED: variants of errors promoting call_with_error_context/2
David C. Norris [Sun, 10 Aug 2025 15:45:21 +0000 (11:45 -0400)]
Address several comments by @triska
David C. Norris [Sun, 10 Aug 2025 14:01:01 +0000 (10:01 -0400)]
library(numerics), special funs from crate puruspe
Mark Thom [Sun, 10 Aug 2025 08:36:15 +0000 (01:36 -0700)]
Merge pull request #2746 from triska/quads
preliminary support for a subset of quads introduced by @UWN
Markus Triska [Sat, 9 Aug 2025 08:22:28 +0000 (10:22 +0200)]
ADDED: resource_error/1
Markus Triska [Sat, 9 Aug 2025 08:19:49 +0000 (10:19 +0200)]
ADDED: representation_error/1
Markus Triska [Sat, 2 Aug 2025 07:55:47 +0000 (09:55 +0200)]
ADDED: variants of errors promoting call_with_error_context/2
A good example of call_with_error_context/2 was recently provided by
@Skgland in
d907f86c8d3bf5b5429c9f53187b65473fcbfce0. Many thanks!
Mark Thom [Sat, 9 Aug 2025 04:12:19 +0000 (21:12 -0700)]
Merge pull request #3024 from triska/remove_operator_meta_predicate
ISO: remove nonstandard operator meta_predicate.
Mark Thom [Sat, 9 Aug 2025 04:11:46 +0000 (21:11 -0700)]
Merge pull request #3026 from triska/DEDUCTION
mention the DEDUCTION Programme
Mark Thom [Sat, 9 Aug 2025 04:11:32 +0000 (21:11 -0700)]
Merge pull request #3029 from triska/process_item
add newly available library(process) to the list of libraries
Skgland [Fri, 8 Aug 2025 20:45:24 +0000 (22:45 +0200)]
allow passing a null through a cstr arg/return
Skgland [Fri, 8 Aug 2025 20:08:13 +0000 (22:08 +0200)]
fix clippy lint warning
Markus Triska [Fri, 8 Aug 2025 19:33:44 +0000 (21:33 +0200)]
support newly added representation_error/1 in answer descriptions
Markus Triska [Fri, 8 Aug 2025 16:44:25 +0000 (18:44 +0200)]
preliminary support for a subset of quads introduced by @UWN
This lets us embed toplevel interactions in Prolog programs.
Embedded toplevel interactions are currently ignored.
Example:
:- use_module(library(lists)).
?- member(X, "abc").
X = a
; X = b
; X = c.
Markus Triska [Tue, 5 Aug 2025 15:50:27 +0000 (17:50 +0200)]
add newly available library(process) to the list of libraries
Thank you a lot @Skgland for this extremely valuable contribution!
Markus Triska [Sun, 3 Aug 2025 12:23:28 +0000 (14:23 +0200)]
mention the DEDUCTION Programme
Markus Triska [Sat, 2 Aug 2025 08:08:27 +0000 (10:08 +0200)]
ISO: remove nonstandard operator meta_predicate.
Use functional notation instead for declarations.
This addresses #2822.
Mark Thom [Sat, 2 Aug 2025 07:01:39 +0000 (00:01 -0700)]
Merge pull request #3021 from mthom/rebis-dev
Merge rebis-dev to master
Mark Thom [Sat, 2 Aug 2025 06:18:36 +0000 (23:18 -0700)]
Merge pull request #3009 from Skgland/process
adds predicates for spawning new processes without a shell
Bennet Bleßmann [Fri, 1 Aug 2025 19:19:52 +0000 (21:19 +0200)]
add process module to all_modules test
Bennet Bleßmann [Wed, 30 Jul 2025 20:21:00 +0000 (22:21 +0200)]
use call_with_error_context
Bennet Bleßmann [Wed, 30 Jul 2025 20:19:03 +0000 (22:19 +0200)]
use named vars instead of wildcards
makes updating tests easier as globs are sometimes lost when using TRYCMD=overwrite
Bennet Bleßmann [Wed, 30 Jul 2025 20:14:43 +0000 (22:14 +0200)]
fix culprit
Bennet Bleßmann [Wed, 30 Jul 2025 19:22:37 +0000 (21:22 +0200)]
fix arity of prcess_wait builtin errors
Bennet Bleßmann [Sun, 27 Jul 2025 18:36:07 +0000 (20:36 +0200)]
more tests
Bennet Bleßmann [Sat, 26 Jul 2025 21:59:58 +0000 (23:59 +0200)]
adjust/add tests
Bennet Bleßmann [Sat, 26 Jul 2025 21:10:29 +0000 (23:10 +0200)]
adjust options checking and add more tests
Bennet Bleßmann [Sat, 26 Jul 2025 20:08:58 +0000 (22:08 +0200)]
address comment by triska
https://github.com/mthom/scryer-prolog/pull/3009#discussion_r2233221091
Bennet Bleßmann [Sat, 26 Jul 2025 19:55:18 +0000 (21:55 +0200)]
use functor/3 for must_be_known_options
Bennet Bleßmann [Sat, 26 Jul 2025 19:39:44 +0000 (21:39 +0200)]
reformat ;
Bennet Bleßmann [Sat, 26 Jul 2025 19:18:15 +0000 (21:18 +0200)]
add another test and remove unecessary module qualification
Bennet Bleßmann [Sat, 26 Jul 2025 19:02:42 +0000 (21:02 +0200)]
replace filter by tfiltert and fix Pipe{Reader,Writer} streams
Bennet Bleßmann [Sat, 26 Jul 2025 16:46:47 +0000 (18:46 +0200)]
adjust error kind
Bennet Bleßmann [Sat, 26 Jul 2025 16:21:00 +0000 (18:21 +0200)]
get process_create working and add tests
Bennet Bleßmann [Sat, 26 Jul 2025 11:30:56 +0000 (13:30 +0200)]
add documentation
Bennet Bleßmann [Sat, 26 Jul 2025 11:14:29 +0000 (13:14 +0200)]
change behaviour in supposedly unreachable cases
Bennet Bleßmann [Sun, 20 Jul 2025 22:25:34 +0000 (00:25 +0200)]
adjust error for duplicate options
Bennet Bleßmann [Sun, 20 Jul 2025 22:06:46 +0000 (00:06 +0200)]
fix rename pid to process
Bennet Bleßmann [Sun, 20 Jul 2025 22:06:03 +0000 (00:06 +0200)]
don't remove the child on wait/kill
- important for wait with timout(0) as we may want to try again until the process has realy exited.
- make process_release release the process instead
Bennet Bleßmann [Sun, 20 Jul 2025 21:53:01 +0000 (23:53 +0200)]
fix timeout default value in process_wait/3
Bennet Bleßmann [Sun, 20 Jul 2025 21:52:25 +0000 (23:52 +0200)]
incorporate suggestion by triska
Bennet Bleßmann [Sun, 20 Jul 2025 21:04:01 +0000 (23:04 +0200)]
make atom!() with a new value less annoying
Bennet Bleßmann [Sun, 20 Jul 2025 20:57:06 +0000 (22:57 +0200)]
implement process_release/1, process_wait/2, process_wait/3, and process_kill/1
Bennet Bleßmann [Sun, 20 Jul 2025 19:08:44 +0000 (21:08 +0200)]
store child process in machine state
Bennet Bleßmann [Sun, 20 Jul 2025 18:11:12 +0000 (20:11 +0200)]
handle some error cases and replace unwrap with expect
Bennet Bleßmann [Sun, 20 Jul 2025 16:47:44 +0000 (18:47 +0200)]
adjust errors
Bennet Bleßmann [Sun, 20 Jul 2025 16:34:45 +0000 (18:34 +0200)]
rename pid to process
Bennet Bleßmann [Sat, 19 Jul 2025 23:52:34 +0000 (01:52 +0200)]
undo changes to error.pl
Bennet Bleßmann [Sat, 19 Jul 2025 23:25:16 +0000 (01:25 +0200)]
adjust default cwd
Bennet Bleßmann [Sat, 19 Jul 2025 22:51:50 +0000 (00:51 +0200)]
restructure option parsing
Bennet Bleßmann [Sat, 19 Jul 2025 20:56:51 +0000 (22:56 +0200)]
add comments and try to fix binding the child process pid
Bennet Bleßmann [Sat, 19 Jul 2025 19:44:28 +0000 (21:44 +0200)]
fix more things
Bennet Bleßmann [Sat, 19 Jul 2025 19:33:19 +0000 (21:33 +0200)]
get it working
Bennet Bleßmann [Sat, 19 Jul 2025 19:00:36 +0000 (21:00 +0200)]
fix indices
Bennet Bleßmann [Sat, 19 Jul 2025 18:50:53 +0000 (20:50 +0200)]
[WIP] add support to spawn new processes
Bennet Bleßmann [Fri, 1 Aug 2025 18:06:07 +0000 (20:06 +0200)]
ignore test making network requests
Bennet Bleßmann [Wed, 16 Jul 2025 23:45:13 +0000 (01:45 +0200)]
update docs
Bennet Bleßmann [Wed, 16 Jul 2025 23:28:52 +0000 (01:28 +0200)]
support cstr as an ffi return type and do some more restructuring
Bennet Bleßmann [Tue, 18 Feb 2025 20:31:53 +0000 (21:31 +0100)]
no longer skip f32 and f64 now that they work consistently
Bennet Bleßmann [Tue, 18 Feb 2025 20:24:27 +0000 (21:24 +0100)]
further cleanup
- replace macros with functions
- stop abusing allocation error
Bennet Bleßmann [Mon, 17 Feb 2025 20:23:08 +0000 (21:23 +0100)]
further ffi cleanup
Bennet Bleßmann [Mon, 17 Feb 2025 19:19:36 +0000 (20:19 +0100)]
don't panic on unexpected/invalid value
Bennet Bleßmann [Mon, 17 Feb 2025 19:18:47 +0000 (20:18 +0100)]
also accept rust type name
Bennet Bleßmann [Tue, 21 Jan 2025 21:23:50 +0000 (22:23 +0100)]
use libffi::middle instead of libffi::low were possible
Bennet Bleßmann [Mon, 17 Feb 2025 18:58:46 +0000 (19:58 +0100)]
add a simple ffi test using structs
Bennet Bleßmann [Mon, 27 Jan 2025 20:55:34 +0000 (21:55 +0100)]
fix UB in ffi tests
Bennet Bleßmann [Mon, 27 Jan 2025 20:27:29 +0000 (21:27 +0100)]
add new test helper
Bennet Bleßmann [Wed, 22 Jan 2025 23:40:31 +0000 (00:40 +0100)]
make ffi support full {i,u}64 range
Bennet Bleßmann [Wed, 22 Jan 2025 19:32:44 +0000 (20:32 +0100)]
fix {i,u}64 in ffi
Bennet Bleßmann [Tue, 21 Jan 2025 23:03:18 +0000 (00:03 +0100)]
fix all but {i,u}64
Bennet Bleßmann [Tue, 21 Jan 2025 22:37:47 +0000 (23:37 +0100)]
fix crash when trying to load and ffi library with an invalid type specification
Bennet Bleßmann [Tue, 21 Jan 2025 22:36:14 +0000 (23:36 +0100)]
add more ffi tests
Bennet Bleßmann [Tue, 21 Jan 2025 18:20:33 +0000 (19:20 +0100)]
cleanup and fix miri & cross-compile
Bennet Bleßmann [Mon, 20 Jan 2025 22:00:03 +0000 (23:00 +0100)]
add ffi tests using f64