]> Repositorios git - scryer-prolog.git/log
scryer-prolog.git
7 weeks agofix discussion 3359
Skgland [Wed, 3 Jun 2026 19:09:58 +0000 (21:09 +0200)]
fix discussion 3359

7 weeks agoadd regression test for discussion 3359
Skgland [Wed, 3 Jun 2026 19:09:39 +0000 (21:09 +0200)]
add regression test for discussion 3359

7 weeks agoMerge pull request #3357 from Skgland/fix-issue3346
Mark Thom [Wed, 3 Jun 2026 05:19:21 +0000 (22:19 -0700)]
Merge pull request #3357 from Skgland/fix-issue3346

ensure ParallelHeapIter pushes its stack in pairs and fix 3346

7 weeks agofix parallel heap iter
Skgland [Mon, 1 Jun 2026 21:59:37 +0000 (23:59 +0200)]
fix parallel heap iter

7 weeks agouse a pair for ParallelHeapIter
Skgland [Mon, 1 Jun 2026 21:58:17 +0000 (23:58 +0200)]
use a pair for ParallelHeapIter

to ensure it is pushed popped in pairs

8 weeks agoMerge pull request #3347 from drzv/im7-compat2 HEAD master origin/HEAD origin/master
Mark Thom [Thu, 28 May 2026 23:34:52 +0000 (16:34 -0700)]
Merge pull request #3347 from drzv/im7-compat2

showterm.el: use new magick command by default, fallback to convert

2 months agoMerge pull request #3272 from abmclin/windows_improve_notty_stdin_support
Mark Thom [Tue, 26 May 2026 20:01:23 +0000 (14:01 -0600)]
Merge pull request #3272 from abmclin/windows_improve_notty_stdin_support

Windows improve notty stdin support to resolve issue 3264

2 months agoshowterm.el: use new magick command by default, fallback to convert
drzv [Tue, 26 May 2026 12:14:54 +0000 (08:14 -0400)]
showterm.el: use new magick command by default, fallback to convert

2 months agoshowterm.el: revert #3338
drzv [Tue, 26 May 2026 01:55:01 +0000 (01:55 +0000)]
showterm.el: revert #3338

2 months agoIssue 3264: rebase and update dependencies
Alexander McLin [Mon, 25 May 2026 22:24:24 +0000 (18:24 -0400)]
Issue 3264: rebase and update dependencies

2 months agoIssue 3264 add rationale comment & `#[allow(...)]`
Alexander McLin [Tue, 14 Apr 2026 19:27:52 +0000 (15:27 -0400)]
Issue 3264 add rationale comment & `#[allow(...)]`

Explain why no multibyte UTF-8 encoding support
Disable `bytes()` clippy warning about performance penalty due to unbuffered bytes

2 months agoIssue 3264: refactor `supported_terminal`
Alexander McLin [Sun, 12 Apr 2026 12:42:15 +0000 (08:42 -0400)]
Issue 3264: refactor `supported_terminal`

Use better code style

2 months agoIssue 3264: reformat to conform to style guidelines
Alexander McLin [Sat, 11 Apr 2026 01:57:23 +0000 (21:57 -0400)]
Issue 3264: reformat to conform to style guidelines

2 months agoFixes issue 3264 by adding a fallback read mode when reading from non-tty stdin on...
Alexander McLin [Mon, 30 Mar 2026 01:29:48 +0000 (21:29 -0400)]
Fixes issue 3264 by adding a fallback read mode when reading from non-tty stdin on Windows

2 months agoMerge pull request #3342 from Skgland/pdl-pairs
Mark Thom [Mon, 25 May 2026 21:10:02 +0000 (15:10 -0600)]
Merge pull request #3342 from Skgland/pdl-pairs

ensure pdl is pushed/popped in pairs and reuse tabu_list allocation by moving it from a local variable into the machine state

2 months agoMerge pull request #3310 from Skgland/process_wait-release
Mark Thom [Mon, 25 May 2026 21:08:37 +0000 (15:08 -0600)]
Merge pull request #3310 from Skgland/process_wait-release

add `release(Bool)` option to `process_wait/3`

2 months agoMerge pull request #3320 from Skgland/all-pure-rust
Mark Thom [Mon, 25 May 2026 20:36:04 +0000 (14:36 -0600)]
Merge pull request #3320 from Skgland/all-pure-rust

add a feature for enabling all features that don't pull in non pure rust dependencies

2 months agoMerge pull request #3317 from Skgland/optimize-put_back_char
Mark Thom [Mon, 25 May 2026 20:03:31 +0000 (14:03 -0600)]
Merge pull request #3317 from Skgland/optimize-put_back_char

optimize put_back_char

2 months agomerge crypto-impure feature into feature crypto-full
Skgland [Mon, 25 May 2026 17:07:20 +0000 (19:07 +0200)]
merge crypto-impure feature into feature crypto-full

2 months agomore spelling fixes
Skgland [Mon, 25 May 2026 14:39:37 +0000 (16:39 +0200)]
more spelling fixes

2 months agofix spelling
Skgland [Sun, 24 May 2026 21:55:19 +0000 (23:55 +0200)]
fix spelling

2 months agocleanup
Skgland [Mon, 27 Apr 2026 20:54:36 +0000 (22:54 +0200)]
cleanup

- fix some warnings and mark others as expected
- make use of the msrv bump to 1.93.1 and cleanup compat and workarounds

2 months agocheck individual features in CI
Skgland [Mon, 27 Apr 2026 20:53:05 +0000 (22:53 +0200)]
check individual features in CI

2 months agomake crypto depending on ring optional
Skgland [Sat, 25 Apr 2026 19:17:48 +0000 (21:17 +0200)]
make crypto depending on ring optional

2 months agoMerge pull request #3290 from abmclin/bump-rustyline-version-18
Mark Thom [Sun, 24 May 2026 19:27:00 +0000 (13:27 -0600)]
Merge pull request #3290 from abmclin/bump-rustyline-version-18

bump `Rust` version to 1.93.1 and bump `rustyline` to version 18.0.0

2 months agoMerge pull request #3338 from drzv/master
Mark Thom [Sun, 24 May 2026 19:22:33 +0000 (13:22 -0600)]
Merge pull request #3338 from drzv/master

Use make-process to call imagemagick in showterm.el

2 months agoMerge pull request #3312 from Skgland/big-endian-miri
Mark Thom [Sun, 24 May 2026 19:22:00 +0000 (13:22 -0600)]
Merge pull request #3312 from Skgland/big-endian-miri

run miri for a big-endian target

2 months agoconfigure linker via env var insread of .cargo/config.toml
Skgland [Sun, 24 May 2026 17:02:59 +0000 (19:02 +0200)]
configure linker via env var insread of .cargo/config.toml

someone might already have a .cargo/config.toml

2 months agofix missing description
Skgland [Sun, 24 May 2026 17:02:23 +0000 (19:02 +0200)]
fix missing description

Github documentation states that it is a required field and my linter complained

https://docs.github.com/en/actions/reference/workflows-and-actions/metadata-syntax#description

2 months agoadd a feature for things that are simple to cross-compile
Skgland [Mon, 27 Apr 2026 19:33:08 +0000 (21:33 +0200)]
add a feature for things that are simple to cross-compile

2 months agofix miri not being passed the target
Skgland [Sat, 25 Apr 2026 22:17:33 +0000 (00:17 +0200)]
fix miri not being passed the target

2 months agofix ci and setup cross-compilation
Skgland [Sat, 25 Apr 2026 19:41:59 +0000 (21:41 +0200)]
fix ci and setup cross-compilation

2 months agoadd miri CI for a big endian target
Skgland [Sat, 25 Apr 2026 19:27:03 +0000 (21:27 +0200)]
add miri CI for a big endian target

2 months agofix spelling again
Skgland [Sun, 24 May 2026 08:30:30 +0000 (10:30 +0200)]
fix spelling again

2 months agoremove out-dated comment and fix spelling/grammar
Skgland [Sun, 24 May 2026 08:25:24 +0000 (10:25 +0200)]
remove out-dated comment and fix spelling/grammar

2 months agoMerge pull request #3311 from Skgland/cleanup2
Mark Thom [Sun, 24 May 2026 00:27:50 +0000 (18:27 -0600)]
Merge pull request #3311 from Skgland/cleanup2

some cleanup and fixes

2 months agoMerge pull request #3333 from 0nkery/lazy-lock
Mark Thom [Sat, 23 May 2026 15:51:22 +0000 (09:51 -0600)]
Merge pull request #3333 from 0nkery/lazy-lock

replace lazy_static macro with std::sync::LazyLock

2 months agoMerge pull request #3345 from triska/meetups
Mark Thom [Sat, 23 May 2026 15:51:06 +0000 (09:51 -0600)]
Merge pull request #3345 from triska/meetups

link to Scryer Prolog Meetup 2026 page and its announcement

2 months agofix spelling
Skgland [Sat, 23 May 2026 09:28:45 +0000 (11:28 +0200)]
fix spelling

2 months agolink to Scryer Prolog Meetup 2026 page and its announcement
Markus Triska [Sat, 23 May 2026 08:14:15 +0000 (10:14 +0200)]
link to Scryer Prolog Meetup 2026 page and its announcement

2 months agoMerge pull request #3336 from 0nkery/fix-between-doc
Mark Thom [Sat, 23 May 2026 05:04:05 +0000 (23:04 -0600)]
Merge pull request #3336 from 0nkery/fix-between-doc

fix var mode in between/3 documentation

2 months agoMerge pull request #3334 from Skgland/stable-order
Mark Thom [Sat, 23 May 2026 04:56:13 +0000 (22:56 -0600)]
Merge pull request #3334 from Skgland/stable-order

use BTree{Map,Set} to ensure a stable order based on the key/entry

2 months agoMerge pull request #3328 from Skgland/update-libffi
Mark Thom [Sat, 23 May 2026 04:53:49 +0000 (22:53 -0600)]
Merge pull request #3328 from Skgland/update-libffi

upgrade libffi dependency

2 months agoMerge pull request #3316 from josd/master
Mark Thom [Sat, 23 May 2026 04:52:27 +0000 (22:52 -0600)]
Merge pull request #3316 from josd/master

Improve CharReader buffering

2 months agoMerge pull request #3323 from triska/VATmiraal
Mark Thom [Sat, 23 May 2026 04:45:39 +0000 (22:45 -0600)]
Merge pull request #3323 from triska/VATmiraal

add link to VATmiraal, https://vatmiraal.be

2 months agoreuse tabu list
Skgland [Sun, 17 May 2026 18:50:37 +0000 (20:50 +0200)]
reuse tabu list

2 months agoensure pdl is pushed/popped in pairs
Skgland [Sun, 17 May 2026 17:45:55 +0000 (19:45 +0200)]
ensure pdl is pushed/popped in pairs

2 months agoCall ImageMagick with make-process. Redirect stderr to separate buffer
drzv [Thu, 14 May 2026 19:10:05 +0000 (19:10 +0000)]
Call ImageMagick with make-process. Redirect stderr to separate buffer

2 months agofix var mode in between/3 documentation
Dmitrii Shlagov [Thu, 14 May 2026 14:25:33 +0000 (16:25 +0200)]
fix var mode in between/3 documentation

2 months agouse BTree{Map,Set} to ensure a stable order based on the key/entry even if filesystem...
Skgland [Wed, 13 May 2026 22:50:37 +0000 (00:50 +0200)]
use BTree{Map,Set} to ensure a stable order based on the key/entry even if filesystem enumeration order changes

this should help with reproducibility

2 months agoroll back gitignore changes
Dmitrii Shlagov [Tue, 12 May 2026 15:14:19 +0000 (17:14 +0200)]
roll back gitignore changes

2 months agoremove redundant closure
Dmitry Shlagoff [Tue, 12 May 2026 14:12:33 +0000 (16:12 +0200)]
remove redundant closure

2 months agoreplace lazy_static macro with std::sync::LazyLock
Dmitry Shlagoff [Tue, 12 May 2026 13:39:35 +0000 (15:39 +0200)]
replace lazy_static macro with std::sync::LazyLock

2 months agoupgrade libffi dependency
Skgland [Fri, 8 May 2026 20:36:41 +0000 (22:36 +0200)]
upgrade libffi dependency

2 months agoBump Cargo.toml `rust-version` to `1.93.1`
Alexander McLin [Tue, 5 May 2026 13:58:05 +0000 (09:58 -0400)]
Bump Cargo.toml `rust-version` to `1.93.1`

MSRV discussion settled on `1.93.1` to align with upcoming Debian stable releases

2 months agoexplanation of product
Markus Triska [Sun, 3 May 2026 09:00:14 +0000 (11:00 +0200)]
explanation of product

See posting by @constraintAutomaton at:

    https://github.com/mthom/scryer-prolog/pull/3323#issuecomment-4365798844

Many thanks!

2 months agoadd link to VATmiraal, https://vatmiraal.be
Markus Triska [Sun, 3 May 2026 07:51:42 +0000 (09:51 +0200)]
add link to VATmiraal, https://vatmiraal.be

2 months agoun-ignore lorem_ipsum tests as they are no longer slow
Skgland [Thu, 30 Apr 2026 17:54:39 +0000 (19:54 +0200)]
un-ignore lorem_ipsum tests as they are no longer slow

2 months agooptimize CharReader
Skgland [Thu, 30 Apr 2026 17:44:31 +0000 (19:44 +0200)]
optimize CharReader

2 months agouse a function rather than a closure
Skgland [Thu, 30 Apr 2026 17:02:27 +0000 (19:02 +0200)]
use a function rather than a closure

2 months agoadd a test with bad utf-8
Skgland [Thu, 30 Apr 2026 17:01:34 +0000 (19:01 +0200)]
add a test with bad utf-8

3 months agooptimize put_back_char
Skgland [Sun, 26 Apr 2026 11:43:04 +0000 (13:43 +0200)]
optimize put_back_char

Always encode the char directly into the buffer.
Only shift the buffer content if there isn't enough room in the front.

3 months agoImprove CharReader buffering
josd [Sun, 26 Apr 2026 11:42:41 +0000 (13:42 +0200)]
Improve CharReader buffering

3 months agofix ArenaPtr payload offset logic
Skgland [Sat, 25 Apr 2026 14:39:53 +0000 (16:39 +0200)]
fix ArenaPtr payload offset logic

the old logic would be incorrect if the payload has higher alignment than the ArenaHeader i.e. when there is padding between the ArenaHeader and the Payload

3 months agodon't erase ptr type early when construction a Cons HeapCellValue
Skgland [Wed, 22 Apr 2026 21:22:27 +0000 (23:22 +0200)]
don't erase ptr type early when construction a Cons HeapCellValue

rather than passing an address as usize pass the ArenaHeader pointer
similarly don't return a u8 ptr but use a ArenaHeader pointer instead

Don't convert the pointer to a ConsPtr by going through native endian
bytes in between.
We are exploiting the fact that the 3 least significant bytes are zero
for pointer to types of alignment 8 and we expect these to line up with
the f, m, and tag field at the end of the ConsPtr struct, but using
native endiannes for this would only work on big endian systems.

3 months agofix unused import warning on windows
Skgland [Wed, 22 Apr 2026 20:42:35 +0000 (22:42 +0200)]
fix unused import warning on windows

3 months agofix large enum variant size difference warning of PermVarAllocation
Skgland [Fri, 17 Apr 2026 23:29:28 +0000 (01:29 +0200)]
fix large enum variant size difference warning of PermVarAllocation

by wrapping BranchNumber in an Arc.
PermVarAllocation::Done had size 208 and is now down to 32.
A Box rather than an Arc would be smaller, but it looks like BranchNumber/BranchDesignator are clones a bunch so I expect it to be beneficial to reduce allocations both of the Box itself as well as its content.

3 months agofix linux tests on 1.85
Skgland [Sat, 25 Apr 2026 13:19:41 +0000 (15:19 +0200)]
fix linux tests on 1.85

old rust versions didn't print the pid

3 months agoadjust test expectations
Skgland [Sat, 25 Apr 2026 11:56:48 +0000 (13:56 +0200)]
adjust test expectations

3 months agoadd process_wait/3 release(Bool) option
Skgland [Sat, 25 Apr 2026 10:59:20 +0000 (12:59 +0200)]
add process_wait/3 release(Bool) option

make process_wait/3 release the Process by default

3 months agoadd tests
Skgland [Sat, 25 Apr 2026 10:49:14 +0000 (12:49 +0200)]
add tests

3 months agoremove unused HeapCellValueView
Skgland [Fri, 17 Apr 2026 19:48:53 +0000 (21:48 +0200)]
remove unused HeapCellValueView

it is identical to HeapCellValueTag

3 months agoreplace tabs with spaces
Mark Thom [Tue, 21 Apr 2026 23:22:38 +0000 (16:22 -0700)]
replace tabs with spaces

3 months agodereference compare_term_test args down from stack (#3286, #3295)
Mark Thom [Tue, 21 Apr 2026 23:02:55 +0000 (16:02 -0700)]
dereference compare_term_test args down from stack (#3286, #3295)

3 months agoreplace tabs with spaces
Mark Thom [Tue, 21 Apr 2026 22:02:14 +0000 (15:02 -0700)]
replace tabs with spaces

3 months agotake Lis index from rd in copy_var (#3298)
Mark Thom [Tue, 21 Apr 2026 21:31:53 +0000 (14:31 -0700)]
take Lis index from rd in copy_var (#3298)

3 months agoMerge pull request #3269 from no382001/quads
Mark Thom [Sun, 19 Apr 2026 00:20:03 +0000 (18:20 -0600)]
Merge pull request #3269 from no382001/quads

fix library paths and module qualification in quadtests.pl

3 months agoMerge pull request #3293 from danilp-id/http_server_test
Mark Thom [Sun, 19 Apr 2026 00:17:18 +0000 (18:17 -0600)]
Merge pull request #3293 from danilp-id/http_server_test

http_server test + unignore http_open_hanging

3 months agoMerge pull request #3274 from no382001/issue3262
Mark Thom [Sun, 19 Apr 2026 00:16:53 +0000 (18:16 -0600)]
Merge pull request #3274 from no382001/issue3262

fix read/1 on non-TTY stdin blocking until newline

3 months agoMerge pull request #3291 from Skgland/update-actions
Mark Thom [Sun, 19 Apr 2026 00:16:00 +0000 (18:16 -0600)]
Merge pull request #3291 from Skgland/update-actions

Update actions

3 months agocargo fmt
Danil Platonov [Mon, 13 Apr 2026 02:32:40 +0000 (19:32 -0700)]
cargo fmt

3 months agopass scryer path through stream instead of env var
Danil Platonov [Mon, 13 Apr 2026 02:29:39 +0000 (19:29 -0700)]
pass scryer path through stream instead of env var

3 months agohttp server test, and also unignore http client test
Danil Platonov [Sat, 11 Apr 2026 15:59:01 +0000 (08:59 -0700)]
http server test, and also unignore http client test

3 months agoupdate pyTooling/Actions/[email protected] -> pyTooling/Actions/with-post-step...
Skgland [Fri, 10 Apr 2026 22:06:13 +0000 (00:06 +0200)]
update pyTooling/Actions/[email protected] -> pyTooling/Actions/[email protected]

3 months agoupdate actions/[email protected] -> actions/[email protected]
Skgland [Fri, 10 Apr 2026 21:59:59 +0000 (23:59 +0200)]
update actions/[email protected] -> actions/[email protected]

3 months agopin 3rd-party actions
Skgland [Fri, 10 Apr 2026 20:57:13 +0000 (22:57 +0200)]
pin 3rd-party actions

following githubs recommendations[^3rd-p-a] to use full-length commit SHA for 3rd-party actions

setup dependabot to help keep dependencies up-to-date

[^3rd-p-a]: https://docs.github.com/en/actions/reference/security/secure-use#using-third-party-actions

3 months agoupdate docker/build-push-action@v6 -> docker/build-push-action@v7
Skgland [Fri, 10 Apr 2026 21:22:09 +0000 (23:22 +0200)]
update docker/build-push-action@v6 -> docker/build-push-action@v7

3 months agoupdate docker/metadata-action@v5 -> docker/metadata-action@v6
Skgland [Fri, 10 Apr 2026 21:20:39 +0000 (23:20 +0200)]
update docker/metadata-action@v5 -> docker/metadata-action@v6

3 months agoupdate docker/login-action@v3 -> docker/login-action@v4
Skgland [Fri, 10 Apr 2026 21:19:08 +0000 (23:19 +0200)]
update docker/login-action@v3 -> docker/login-action@v4

3 months agoupdate docker/setup-buildx-action@v3 -> docker/setup-buildx-action@v4
Skgland [Fri, 10 Apr 2026 21:18:20 +0000 (23:18 +0200)]
update docker/setup-buildx-action@v3 -> docker/setup-buildx-action@v4

3 months agoupdate actions/download-artifact@v4 -> actions/download-artifact@v8
Skgland [Fri, 10 Apr 2026 21:16:58 +0000 (23:16 +0200)]
update actions/download-artifact@v4 -> actions/download-artifact@v8

3 months agoupdate actions/upload-artifact@v4 -> actions/upload-artifact@v7
Skgland [Fri, 10 Apr 2026 21:13:46 +0000 (23:13 +0200)]
update actions/upload-artifact@v4 -> actions/upload-artifact@v7

3 months agoupdate actions/checkout@v4 -> actions/checkout@v6
Skgland [Fri, 10 Apr 2026 21:10:23 +0000 (23:10 +0200)]
update actions/checkout@v4 -> actions/checkout@v6

3 months agoMerge pull request #3276 from Skgland/cleanup
Mark Thom [Thu, 9 Apr 2026 04:18:32 +0000 (22:18 -0600)]
Merge pull request #3276 from Skgland/cleanup

remove unused file

3 months agobump `rustyline` to version 18.0.0
Alexander McLin [Mon, 6 Apr 2026 00:43:38 +0000 (20:43 -0400)]
bump `rustyline` to version 18.0.0

Fixes regression discovered on Linux after upgrading `rustyline` to 17.0.2; `SIGINT` not handled as expected, breaking ability to interrupt nontermination in `scryer`.

This was due to a change in `rustyline`'s `SIGINT` behavior since version 16 and corrected in version 18.

3 months agoMerge pull request #3273 from no382001/issue2914
Mark Thom [Sat, 4 Apr 2026 19:06:11 +0000 (13:06 -0600)]
Merge pull request #3273 from no382001/issue2914

fix panic in current_prolog_flag/2 when arguments are the same variable

3 months agoMerge pull request #3271 from abmclin/update_rustyline
Mark Thom [Sat, 4 Apr 2026 18:28:35 +0000 (12:28 -0600)]
Merge pull request #3271 from abmclin/update_rustyline

Resolves issue 2694 by updating rustyline to 17.0.2

3 months agoMerge pull request #3266 from Skgland/perf-issue-3265
Mark Thom [Sat, 4 Apr 2026 18:02:29 +0000 (12:02 -0600)]
Merge pull request #3266 from Skgland/perf-issue-3265

perf improvements for 3265

3 months agoremove unused file
Skgland [Thu, 2 Apr 2026 21:29:47 +0000 (23:29 +0200)]
remove unused file

3 months agorestructure based on suggestion
no382001 [Tue, 31 Mar 2026 19:13:40 +0000 (21:13 +0200)]
restructure based on suggestion

Co-authored-by: Bennet Bleßmann <[email protected]>