rishi/scryer-prolog
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Commit Graph

  • f8ddd78776 optimize CharReader Skgland 2026-04-30 19:44:31 +02:00
  • 327a677a7c use a function rather than a closure Skgland 2026-04-30 19:02:27 +02:00
  • 48a34aa2cc add a test with bad utf-8 Skgland 2026-04-30 19:01:34 +02:00
  • af54fb2aba optimize put_back_char Skgland 2026-04-26 13:43:04 +02:00
  • b2dad66270 Improve CharReader buffering josd 2026-04-26 13:42:41 +02:00
  • eac7ff680c fix ArenaPtr payload offset logic Skgland 2026-04-25 16:39:53 +02:00
  • b4db85c8c3 don't erase ptr type early when construction a Cons HeapCellValue Skgland 2026-04-22 23:22:27 +02:00
  • 6765921666 fix unused import warning on windows Skgland 2026-04-22 22:42:35 +02:00
  • ff293a56e6 fix large enum variant size difference warning of PermVarAllocation Skgland 2026-04-18 01:29:28 +02:00
  • ab2b652c84 fix linux tests on 1.85 Skgland 2026-04-25 15:19:41 +02:00
  • 83add732e0 adjust test expectations Skgland 2026-04-25 13:56:48 +02:00
  • f8c4679850 add process_wait/3 release(Bool) option Skgland 2026-04-25 12:59:20 +02:00
  • 3da2b8fba2 add tests Skgland 2026-04-25 12:49:14 +02:00
  • f7dc1d72f6 remove unused HeapCellValueView Skgland 2026-04-17 21:48:53 +02:00
  • 8dffd72db5 replace tabs with spaces Mark Thom 2026-04-21 16:22:38 -07:00
  • 703a6dddd1 dereference compare_term_test args down from stack (#3286, #3295) Mark Thom 2026-04-21 16:02:55 -07:00
  • 5ea262e1d3 replace tabs with spaces Mark Thom 2026-04-21 15:02:14 -07:00
  • 010b00f349 take Lis index from rd in copy_var (#3298) Mark Thom 2026-04-21 14:31:53 -07:00
  • 974722bc1c Merge pull request #3269 from no382001/quads Mark Thom 2026-04-18 18:20:03 -06:00
  • 695389bda1 Merge pull request #3293 from danilp-id/http_server_test Mark Thom 2026-04-18 18:17:18 -06:00
  • 9cf0d8b484 Merge pull request #3274 from no382001/issue3262 Mark Thom 2026-04-18 18:16:53 -06:00
  • 381b4f2857 Merge pull request #3291 from Skgland/update-actions Mark Thom 2026-04-18 18:16:00 -06:00
  • 35aa4d9048 cargo fmt Danil Platonov 2026-04-12 19:32:40 -07:00
  • 8e2dcd905b pass scryer path through stream instead of env var Danil Platonov 2026-04-12 19:29:39 -07:00
  • 081f3c0827 http server test, and also unignore http client test Danil Platonov 2026-04-11 08:59:01 -07:00
  • 8bbb484f94 update pyTooling/Actions/with-post-step@v4.1.0 -> pyTooling/Actions/with-post-step@v7.7.0 Skgland 2026-04-11 00:06:13 +02:00
  • 717c3c2db8 update actions/cache@v4.3.0 -> actions/cache@v5.0.4 Skgland 2026-04-10 23:59:59 +02:00
  • 0aa6abe517 pin 3rd-party actions Skgland 2026-04-10 22:57:13 +02:00
  • 4a9f690c16 update docker/build-push-action@v6 -> docker/build-push-action@v7 Skgland 2026-04-10 23:22:09 +02:00
  • e3d020ea74 update docker/metadata-action@v5 -> docker/metadata-action@v6 Skgland 2026-04-10 23:20:39 +02:00
  • 82378c6338 update docker/login-action@v3 -> docker/login-action@v4 Skgland 2026-04-10 23:19:08 +02:00
  • f456c98c5b update docker/setup-buildx-action@v3 -> docker/setup-buildx-action@v4 Skgland 2026-04-10 23:18:20 +02:00
  • 4db325e4b8 update actions/download-artifact@v4 -> actions/download-artifact@v8 Skgland 2026-04-10 23:16:58 +02:00
  • 8f33eaf7d1 update actions/upload-artifact@v4 -> actions/upload-artifact@v7 Skgland 2026-04-10 23:13:46 +02:00
  • eba16a2213 update actions/checkout@v4 -> actions/checkout@v6 Skgland 2026-04-10 23:10:23 +02:00
  • 87f97c7e5c Merge pull request #3276 from Skgland/cleanup Mark Thom 2026-04-08 22:18:32 -06:00
  • 2fec440ba6 bump rustyline to version 18.0.0 Alexander McLin 2026-04-05 20:43:38 -04:00
  • 3e2f3ecfdb Merge pull request #3273 from no382001/issue2914 Mark Thom 2026-04-04 13:06:11 -06:00
  • 2b6b11e6be Merge pull request #3271 from abmclin/update_rustyline Mark Thom 2026-04-04 12:28:35 -06:00
  • 7da2ba2015 Merge pull request #3266 from Skgland/perf-issue-3265 Mark Thom 2026-04-04 12:02:29 -06:00
  • bb9c1cf5a2 remove unused file Skgland 2026-04-02 23:29:47 +02:00
  • 28f8da5ce9 restructure based on suggestion no382001 2026-03-31 21:13:40 +02:00
  • c065b52778 fix read/1 on non-TTY stdin blocking until newline #3262 no382001 2026-03-31 14:40:20 +02:00
  • 6a10c6d6a5 fix panic in current_prolog_flag/2 when arguments are the same variable no382001 2026-03-31 09:48:23 +02:00
  • 0623e8e7df Resolves issue 2694 by updating rustyline to 17.0.2 Alexander McLin 2026-03-29 14:49:51 -04:00
  • 3c9c7ade8d use checked_add to prevent silent overflow Skgland 2026-03-27 22:00:54 +01:00
  • 13c85c74db fix library paths and module qualification in quadtests.pl no382001 2026-03-27 17:33:57 +01:00
  • 5fc21241d6 hint to the compiler/branch-predictor that we expect p to be in bound Skgland 2026-03-21 18:58:40 +01:00
  • 833c3bd77f run rustfmt Skgland 2026-03-21 14:24:13 +01:00
  • 153f04b72a adjust interrupt handling Skgland 2026-03-21 14:20:11 +01:00
  • 8aab887388 switch from Integer to u128 Skgland 2026-03-21 13:36:40 +01:00
  • 79a9b950cb Merge pull request #3243 from danilp-id/master Mark Thom 2026-03-19 23:36:58 -07:00
  • fba2854f21 Merge pull request #3257 from triska/include Mark Thom 2026-03-17 23:58:04 -07:00
  • 1c9fd1501a retain error context (load/1) when using :- D. Markus Triska 2026-03-16 07:36:55 +01:00
  • b0b89a0aca Merge pull request #3258 from no382001/fix_load_xml/3 Mark Thom 2026-03-14 22:46:03 -07:00
  • 025da8315b load_xml was returning a single term instead of a list of nodes no382001 2026-03-03 12:34:31 +01:00
  • 8002b9a78b Merge pull request #3234 from fusiongyro/patch-1 Mark Thom 2026-03-09 22:09:40 -07:00
  • 02f86587b5 Merge pull request #3232 from triska/not_si Mark Thom 2026-03-09 22:09:09 -07:00
  • 4d144ea819 Merge pull request #3252 from Skgland/towards-a-crate-without-syn@1 Mark Thom 2026-03-09 22:08:28 -07:00
  • 02c927bb83 Merge pull request #3241 from Skgland/parse-error-improvements Mark Thom 2026-03-09 22:07:03 -07:00
  • 4a8388a6e9 Merge pull request #3189 from Skgland/fix-function_casts_as_integer Mark Thom 2026-03-09 22:06:33 -07:00
  • 7bf014cdf5 Merge pull request #3260 from thierrymarianne/dealing-with-invalid-utf8-string Mark Thom 2026-03-09 20:56:04 -07:00
  • b41563e976 ENHANCED: support quads in included files Markus Triska 2026-03-07 09:37:30 +01:00
  • ead2fccdbb add documentation Thierry Marianne 2026-03-05 09:02:59 +01:00
  • 817c584993 revise indentation of raw string Thierry Marianne 2026-03-04 15:06:27 +01:00
  • e00112b92f use C-string literal Thierry M. 2026-03-04 15:01:23 +01:00
  • 4bd0ff0fcb cargo fmt fixes Thierry Marianne 2026-03-04 14:04:47 +01:00
  • ed59aa05b0 apply suggestion Thierry Marianne 2026-03-04 13:58:08 +01:00
  • 16ed1040d2 move test to tests/scryer/ffi.rs Thierry Marianne 2026-03-04 13:57:17 +01:00
  • fa21ff4813 use CStr .to_str() method Thierry M. 2026-03-04 13:40:05 +01:00
  • 891f7fc892 use C-string literal Thierry M. 2026-03-04 13:33:00 +01:00
  • fae9ca1bb9 fix utf-8 panic Thierry Marianne 2026-03-04 12:03:21 +01:00
  • ac71cff338 add failing test highlighting panic on invalid UTF-8 cstr Thierry Marianne 2026-03-04 08:55:11 +01:00
  • 8f39bee463 ISO: Implement the include/1 directive Markus Triska 2026-02-28 14:23:44 +01:00
  • 2dc904aa73 run apt update before apt install Skgland 2026-02-20 23:00:45 +01:00
  • 0ceab41b39 fix warning in CI about using apt in a script Skgland 2026-02-20 22:57:44 +01:00
  • 2a79d6fc40 run cargo fmt Skgland 2026-02-20 22:52:25 +01:00
  • 49e49b425d fix clippy lint warning Skgland 2026-02-20 22:47:08 +01:00
  • 7d0d61d789 remove no longer necessary allows Skgland 2026-02-20 22:45:09 +01:00
  • 5ef5a3f30a replace custom modular_bitfields fork with update upstream Skgland 2026-02-20 22:37:49 +01:00
  • 337d9c5583 move drop to impl Drop Danil Platonov 2026-01-26 04:57:28 -08:00
  • 26523139a8 fix http stream not being closed fully Danil Platonov 2026-01-25 03:16:37 -08:00
  • 65aadb3b88 reduce visibility to pub(crate) to prevent accidentally exposing Skgland 2026-01-24 04:20:13 +01:00
  • dfad71bc6e fix some lint warnings Skgland 2026-01-24 04:13:26 +01:00
  • d8c6fa1fe5 don't expose lexical error and provide location Skgland 2026-01-24 03:32:42 +01:00
  • 18b476af28 make ParserError a struct with an enum kind field Skgland 2026-01-24 03:24:02 +01:00
  • bd233fedfd add location to InvalidSingleQuotedCharacter Skgland 2026-01-24 02:23:19 +01:00
  • 083546442d make match exhaustive Skgland 2026-01-24 02:22:44 +01:00
  • 3343188756 replace pairs of usize with location struct Skgland 2026-01-24 01:54:29 +01:00
  • ed36aa7313 Fixed a typo in the documentation for atom_codes/2 Daniel K Lyons 2026-01-20 09:54:18 -07:00
  • 0dc94ecc0b ADDED: not_si/1 Markus Triska 2026-01-18 09:57:37 +01:00
  • 453a88f03e Merge pull request #3211 from mthom/setof_correction_and_opt Mark Thom 2026-01-14 22:07:10 -07:00
  • c79fd74331 remove unnecessary extra work in findall_with_existential/5 Mark Thom 2026-01-12 22:47:39 -08:00
  • e446b13376 remove hashbrown crate Mark Thom 2026-01-12 22:13:02 -08:00
  • a83f412251 replace sort_without_dedup/2 with keysort/2 Mark Thom 2026-01-08 20:29:26 -08:00
  • 1a8c4f9b03 cargo fmt fixes Mark Thom 2026-01-08 20:09:12 -08:00
  • c2e1ded852 remove variant_hashing.rs and related instructions Mark Thom 2026-01-08 00:27:02 -08:00
  • 70220687f4 find variant terms using just sort/2 and (==)/2 Mark Thom 2026-01-08 00:23:52 -08:00
  • 69a367d1c9 do not retain attributes in solutions of findall (#3020) Mark Thom 2025-12-30 22:16:25 -08:00
  • e2bdf59c81 fix cargo fmt Mark Thom 2025-12-13 18:22:15 -08:00