rishi/scryer-prolog
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
4,579 Commits 2 Branches 18 Tags
ad13aa3801f54bd6bed8142c1e94de5862d0adf0
Commit Graph

4579 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Mark Thom
8dffd72db5 replace tabs with spaces 2026-04-21 16:22:38 -07:00
Mark Thom
703a6dddd1 dereference compare_term_test args down from stack (#3286, #3295) 2026-04-21 16:02:55 -07:00
Mark Thom
5ea262e1d3 replace tabs with spaces 2026-04-21 15:02:14 -07:00
Mark Thom
010b00f349 take Lis index from rd in copy_var (#3298) 2026-04-21 14:31:53 -07:00
Mark Thom
974722bc1c Merge pull request #3269 from no382001/quads 
fix library paths and module qualification in quadtests.pl
 2026-04-18 18:20:03 -06:00
Mark Thom
695389bda1 Merge pull request #3293 from danilp-id/http_server_test 
http_server test + unignore http_open_hanging
 2026-04-18 18:17:18 -06:00
Mark Thom
9cf0d8b484 Merge pull request #3274 from no382001/issue3262 
fix read/1 on non-TTY stdin blocking until newline
 2026-04-18 18:16:53 -06:00
Mark Thom
381b4f2857 Merge pull request #3291 from Skgland/update-actions 
Update actions
 2026-04-18 18:16:00 -06:00
Danil Platonov
35aa4d9048 cargo fmt 2026-04-12 19:32:40 -07:00
Danil Platonov
8e2dcd905b pass scryer path through stream instead of env var 2026-04-12 19:29:39 -07:00
Danil Platonov
081f3c0827 http server test, and also unignore http client test 2026-04-11 08:59:01 -07:00
Skgland
8bbb484f94 update pyTooling/Actions/with-post-step@v4.1.0 -> pyTooling/Actions/with-post-step@v7.7.0 2026-04-11 00:06:13 +02:00
Skgland
717c3c2db8 update actions/cache@v4.3.0 -> actions/cache@v5.0.4 2026-04-10 23:59:59 +02:00
Skgland
0aa6abe517 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
 2026-04-10 23:52:43 +02:00
Skgland
4a9f690c16 update docker/build-push-action@v6 -> docker/build-push-action@v7 2026-04-10 23:22:38 +02:00
Skgland
e3d020ea74 update docker/metadata-action@v5 -> docker/metadata-action@v6 2026-04-10 23:22:38 +02:00
Skgland
82378c6338 update docker/login-action@v3 -> docker/login-action@v4 2026-04-10 23:22:38 +02:00
Skgland
f456c98c5b update docker/setup-buildx-action@v3 -> docker/setup-buildx-action@v4 2026-04-10 23:22:37 +02:00
Skgland
4db325e4b8 update actions/download-artifact@v4 -> actions/download-artifact@v8 2026-04-10 23:22:37 +02:00
Skgland
8f33eaf7d1 update actions/upload-artifact@v4 -> actions/upload-artifact@v7 2026-04-10 23:22:37 +02:00
Skgland
eba16a2213 update actions/checkout@v4 -> actions/checkout@v6 2026-04-10 23:22:37 +02:00
Mark Thom
87f97c7e5c Merge pull request #3276 from Skgland/cleanup 
remove unused file
 2026-04-08 22:18:32 -06:00
Alexander McLin
2fec440ba6 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.
 2026-04-05 20:43:38 -04:00
Mark Thom
3e2f3ecfdb Merge pull request #3273 from no382001/issue2914 
fix panic in current_prolog_flag/2 when arguments are the same variable
 2026-04-04 13:06:11 -06:00
Mark Thom
2b6b11e6be Merge pull request #3271 from abmclin/update_rustyline 
Resolves issue 2694 by updating rustyline to 17.0.2
 2026-04-04 12:28:35 -06:00
Mark Thom
7da2ba2015 Merge pull request #3266 from Skgland/perf-issue-3265 
perf improvements for 3265
 2026-04-04 12:02:29 -06:00
Skgland
bb9c1cf5a2 remove unused file 2026-04-03 00:16:59 +02:00
no382001
28f8da5ce9 restructure based on suggestion 
Co-authored-by: Bennet Bleßmann <3877590+Skgland@users.noreply.github.com>
 2026-03-31 21:14:54 +02:00
no382001
c065b52778 fix read/1 on non-TTY stdin blocking until newline #3262 2026-03-31 15:52:27 +02:00
no382001
6a10c6d6a5 fix panic in current_prolog_flag/2 when arguments are the same variable 2026-03-31 12:01:00 +02:00
Alexander McLin
0623e8e7df Resolves issue 2694 by updating rustyline to 17.0.2 2026-03-29 14:49:51 -04:00
Skgland
3c9c7ade8d use checked_add to prevent silent overflow 2026-03-27 22:00:54 +01:00
no382001
13c85c74db fix library paths and module qualification in quadtests.pl 2026-03-27 21:27:15 +01:00
Skgland
5fc21241d6 hint to the compiler/branch-predictor that 
we expect p to be in bound

if we are suffiently certain that p can never be oob
unsafe get_unchecked could be used to
eliminate bounds checking all together
which should improve performance further.
 2026-03-21 19:01:52 +01:00
Skgland
833c3bd77f run rustfmt 2026-03-21 14:24:13 +01:00
Skgland
153f04b72a adjust interrupt handling 
we used to spend ~5.8% of the time on getting the next value of the 0..INSTRUCTIONS_PER_INTERRUPT_POLL iterator

increment on Wrapping<u8> now only takes ~0.58 of the time
 2026-03-21 14:20:11 +01:00
Skgland
8aab887388 switch from Integer to u128 
- u128 is only 16 bytes instead of 24
- incrementing u128 does not involve heap allocations
- u128 should be sufficent
 it would take more than 2 sextilion years to overflow if we would be incrementing it every tick at 5GHz
   i.e. 2^128-1 / 5 GHz / 60 / 60 / 24 / 356 > 2 sextilion

before this ~3.2% of the execution time of the program in https://github.com/mthom/scryer-prolog/issues/3265#issuecomment-4103176469 was spend in the increment_call_count function, after this change it's down to 0.3%
 2026-03-21 13:36:40 +01:00
Mark Thom
79a9b950cb Merge pull request #3243 from danilp-id/master 
fix http stream not being closed fully
 2026-03-19 23:36:58 -07:00
Mark Thom
fba2854f21 Merge pull request #3257 from triska/include 
ISO: Implement the include/1 directive
 2026-03-17 23:58:04 -07:00
Markus Triska
1c9fd1501a retain error context (load/1) when using :- D. 2026-03-16 07:36:55 +01:00
Mark Thom
b0b89a0aca Merge pull request #3258 from no382001/fix_load_xml/3 
load_xml was returning a single term instead of a list of nodes
 2026-03-14 22:46:03 -07:00
no382001
025da8315b load_xml was returning a single term instead of a list of nodes 2026-03-10 12:20:34 +01:00
Mark Thom
8002b9a78b Merge pull request #3234 from fusiongyro/patch-1 
Fixed a typo in the documentation for atom_codes/2
 2026-03-09 22:09:40 -07:00
Mark Thom
02f86587b5 Merge pull request #3232 from triska/not_si 
ADDED: not_si/1
 2026-03-09 22:09:09 -07:00
Mark Thom
4d144ea819 Merge pull request #3252 from Skgland/towards-a-crate-without-syn@1 
replace custom modular_bitfields fork with update upstream
 2026-03-09 22:08:28 -07:00
Mark Thom
02c927bb83 Merge pull request #3241 from Skgland/parse-error-improvements 
change `ParserError` type
 2026-03-09 22:07:03 -07:00
Mark Thom
4a8388a6e9 Merge pull request #3189 from Skgland/fix-function_casts_as_integer 
fix `function_casts_as_integer` warning
 2026-03-09 22:06:33 -07:00
Mark Thom
7bf014cdf5 Merge pull request #3260 from thierrymarianne/dealing-with-invalid-utf8-string 
handle invalid UTF-8 string
 2026-03-09 20:56:04 -07:00
Markus Triska
b41563e976 ENHANCED: support quads in included files 
Suggested by @dcnorris, many thanks!

    https://github.com/mthom/scryer-prolog/issues/634#issuecomment-4003451420
 2026-03-07 09:37:30 +01:00
Thierry Marianne
ead2fccdbb add documentation 
Signed-off-by: Thierry Marianne <thierry@marianne.io>
 2026-03-05 09:03:31 +01:00