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

Commit Graph

  • 6284aa3a3f add variant_hash and is_non_variant to fix setof/3, bagof/3 Mark Thom 2025-12-12 18:05:47 -08:00
  • 29cd80510b replace compare_term_test with parallel iterator, add is_not_variant Mark Thom 2025-12-11 22:08:16 -08:00
  • 9089f9ddb4 use branch numbers to detect branch subsumption Mark Thom 2025-12-09 23:14:24 -08:00
  • 16dc10ee96 assert rational(3) as true in tests/builtins.pl Mark Thom 2025-12-07 15:15:18 -08:00
  • 4e8f338870 Merge pull request #3222 from Skgland/reduce-instructions_template Mark Thom 2026-01-12 23:22:44 -07:00
  • b14e363d5e run rustfmt to fix formatting Skgland 2026-01-10 18:31:40 +01:00
  • 87f89545bb restore accidentally removed comment Bennet Bleßmann 2026-01-10 18:30:09 +01:00
  • 5064760b1e fix spelling Skgland 2026-01-10 17:53:19 +01:00
  • eca4262be6 fix clippy lints Skgland 2026-01-10 17:52:34 +01:00
  • 73c26bed2a extaract the static part of the instructions template directly into the instructions module Skgland 2026-01-10 17:48:07 +01:00
  • 172b6a6f8f Merge pull request #3207 from Skgland/quote-fix-unquote-segv Mark Thom 2025-12-17 14:11:21 -07:00
  • 129cca53ed throw error(resource_error(memory), []) when the list length exceeds usize. Skgland 2025-12-10 00:04:24 +01:00
  • cd1ed106ed Merge pull request #3177 from triska/use_phrase_to_file Mark Thom 2025-12-08 19:23:52 -07:00
  • 00aba96185 remove overengineered RecursionGuard Skgland 2025-12-08 22:27:24 +01:00
  • 616f071cd9 fix another integer overflow Skgland 2025-12-08 19:59:43 +01:00
  • 580572aec6 don't calculate panic message eagerly Skgland 2025-12-07 23:06:09 +01:00
  • 47e908bf76 handle overflown in Heap::with_cell_capacity Skgland 2025-12-07 22:59:00 +01:00
  • 11901b5fde handle oob heap index calculation Skgland 2025-12-07 21:45:13 +01:00
  • d63b0a192c use checked multiplication in heap_index! macro Skgland 2025-12-07 21:31:24 +01:00
  • 2fc08dde1e prevent multiply with overflow resulting in odd errors/segv Skgland 2025-12-07 21:27:24 +01:00
  • 193cfabc66 detect recursive throw_resource_error and panic instead of causing a segmentation fault Skgland 2025-12-07 21:08:17 +01:00
  • 7c3ffd0e87 deny function_casts_as_integer warnings Skgland 2025-11-27 20:11:55 +01:00
  • 797a8f8611 fix function_casts_as_integer warning Skgland 2025-11-27 20:07:13 +01:00
  • f570e566f8 fix backtrack_on_resource_error around choice instructions Mark Thom 2025-12-03 18:13:00 -08:00
  • 96a9dfcc1b Merge pull request #3185 from mthom/install_verify_attr_opt Mark Thom 2025-12-03 19:10:46 -07:00
  • 6fdcd17f32 Merge pull request #3164 from Skgland/alloc_errors2 Mark Thom 2025-12-03 19:10:22 -07:00
  • 652e824e59 Merge pull request #3147 from jjtolton/error-termination-flag Mark Thom 2025-12-02 00:24:46 -07:00
  • f595eaee2e Merge pull request #3179 from triska/meetups Mark Thom 2025-12-01 23:55:46 -07:00
  • 9ddeeed683 Merge pull request #3180 from triska/foldl_6 Mark Thom 2025-12-01 23:55:34 -07:00
  • b287f0aedb corrections to arithmetic expression compilation Mark Thom 2025-11-27 21:03:56 -08:00
  • 3b019fca1d corrections to dispatch loop Mark Thom 2025-11-27 21:03:22 -08:00
  • 4bd16b8a2e revise InstallVerifyAttrs to remove need for predicate scanning (#3175) Mark Thom 2025-11-25 23:17:22 -08:00
  • f2e044e5b8 remove interms field from MachineState Mark Thom 2025-11-24 22:19:09 -08:00
  • 1cd55d8131 ADDED: foldl/6, addressing #2973 Markus Triska 2025-11-23 10:59:12 +01:00
  • 14265118f1 update meetups Markus Triska 2025-11-23 10:29:31 +01:00
  • b66824ffce use more recently available phrase_[to|from]_file/3 in example Markus Triska 2025-11-23 09:42:14 +01:00
  • 6ec8c9064f fix pstr_iter_tests test Skgland 2025-11-20 23:08:46 +01:00
  • d4f2f7ba2b remove RESOURCE_ERROR_OFFSET_INIT Skgland 2025-11-20 21:44:29 +01:00
  • a05dc79505 fix unecessary parens in macro Skgland 2025-11-20 21:24:47 +01:00
  • e90c813528 return an AllocError instead of panicing in Heap::with_cell_capacity Skgland 2025-11-20 21:13:17 +01:00
  • 516848e214 wrap resource_error into an error/2 functor and don't wrap it into a syntax_error functor Skgland 2025-11-20 00:48:04 +01:00
  • 6063783e9d propagate AllocErrro instead of unwrapping Skgland 2025-11-20 00:19:24 +01:00
  • e9e97fe82a handle machine heap/stack allocation error Skgland 2025-11-19 22:08:42 +01:00
  • 5686b69013 stub a clippy config Skgland 2025-11-18 22:13:18 +01:00
  • 248b05c992 use as_bytes().to_vec() instead of bytes().collect() Skgland 2025-11-18 22:01:42 +01:00
  • a283c8bdc2 remove some uncessary allocations/copies Skgland 2025-11-18 21:59:55 +01:00
  • 6b5ec3fab8 ignore incompatible msrv in compat module Skgland 2025-11-18 21:54:02 +01:00
  • a0b4162d7a improve count_to_letter_code Skgland 2025-11-18 21:42:10 +01:00
  • 119761ad10 ignore unused_parens warning Skgland 2025-11-18 21:42:00 +01:00
  • bf8651db29 remove two unecessary clones Skgland 2025-11-18 21:27:23 +01:00
  • 11d0215963 Fix -t flag help text to reflect it accepts any goal J.J. Tolton 2025-11-14 10:55:49 -05:00
  • 16fd7a8d51 Move -t and -g flags before filenames in tests J.J. Tolton 2025-11-09 13:04:59 -05:00
  • 5357ecf8e3 Remove redundant unit test file J.J. Tolton 2025-11-09 12:56:02 -05:00
  • e7c288f8f0 Move g_caused_exception/2 dynamic directive to toplevel.pl J.J. Tolton 2025-11-09 12:16:02 -05:00
  • 95abc4017e Update tests to use format/2 instead of write/1 J.J. Tolton 2025-11-09 12:05:23 -05:00
  • b91ce76052 Add comprehensive tests for g_caused_exception/2 J.J. Tolton 2025-11-08 12:59:00 -05:00
  • 617a551a56 Add g_caused_exception/2 for custom toplevel error handling J.J. Tolton 2025-11-08 12:43:46 -05:00
  • 31247545c3 Fix bug where -t argument was processed as filename J.J. Tolton 2025-11-06 19:39:21 -05:00
  • 15d112485c Add comprehensive tests for -t custom toplevel flag J.J. Tolton 2025-11-06 19:12:09 -05:00
  • 768f7ce9a7 -t custom toplevel option J.J. Tolton 2025-11-06 19:02:30 -05:00
  • e4d9692535 Merge pull request #3120 from aarroyoc/master Mark Thom 2025-10-20 19:46:26 -07:00
  • f050e75d81 Merge pull request #3124 from bakaq/mark-partial-string-tail Mark Thom 2025-10-20 19:46:11 -07:00
  • 3dcb42af3c Merge pull request #3117 from aarroyoc/update-releases-0100 Mark Thom 2025-10-20 19:45:19 -07:00
  • fdcd92db08 Fix marking of partial string tail in iteration bakaq 2025-10-14 16:19:43 -03:00
  • c82f1ccde1 Delete test page from learning section Adrián Arroyo Calle 2025-10-11 15:18:41 +02:00
  • 2b85a307ae Update web to show 0.10.0 releases Adrián Arroyo Calle 2025-10-06 23:17:36 +02:00
  • d7d5dfe059 Merge pull request #3108 from Skgland/issue-3073 Mark Thom 2025-10-02 23:43:13 -07:00
  • 109796122e Merge pull request #3111 from Skgland/ffi-non-fixed-sized-integers Mark Thom 2025-10-02 23:42:59 -07:00
  • 476c1718f9 Merge pull request #3109 from Skgland/issue-3107 Mark Thom 2025-09-29 20:47:55 -07:00
  • f8b9944f5c update documentation Skgland 2025-09-28 19:50:21 +02:00
  • 6e7dbfc75e consistently treat bool as i8 Skgland 2025-09-28 18:29:20 +02:00
  • 1add5a9a75 add ffi types for non-fixed-sized integers Skgland 2025-09-28 18:17:35 +02:00
  • 777e6de9ee fix missing quotes Skgland 2025-09-28 13:43:09 +02:00
  • 2443af57d0 fixup quad Skgland 2025-09-27 23:14:14 +02:00
  • ed03d5b1b4 move CI job release from retired ubuntu-20.04 image to ubuntu-22.04 Skgland 2025-09-27 22:54:45 +02:00
  • 9376bc6369 fix mthom/scryer-prolog#3073 Skgland 2025-09-27 22:48:05 +02:00
  • 2f43c3ff40 add regression test for issue 3073 Skgland 2025-09-27 22:05:51 +02:00
  • e7ac3ae0f7 version bump to 0.10.0 v0.10.0 Mark Thom 2025-09-27 00:02:33 -07:00
  • 60595f990f Merge pull request #3095 from thierrymarianne/derefering-registers-in-files-module-instructions-functions Mark Thom 2025-09-22 22:28:10 -07:00
  • 042631cb4c run rustfmt Thierry Marianne 2025-09-21 16:51:18 +02:00
  • 32b6458deb dereferencing registers to access stack variables Thierry Marianne 2025-09-21 11:54:35 +02:00
  • 12db664bd9 add tests for file module predicates Thierry Marianne 2025-09-19 22:40:45 +02:00
  • e9ff1348b1 Merge pull request #3084 from thierrymarianne/set_stream Mark Thom 2025-09-17 22:20:10 -07:00
  • fc6e007ad1 add missing P increment to GetPartialString (#3089) Mark Thom 2025-09-17 20:31:03 -07:00
  • 7637a0f7d4 push cyclic pstr's tail to iterator stack of printer (#3086) Mark Thom 2025-09-17 20:21:54 -07:00
  • ba7b54e8f8 fix attempted bind to bound StackVar (#3089) Mark Thom 2025-09-17 19:43:37 -07:00
  • 012e3de3a1 do not use self.fail in compare_term_test Mark Thom 2025-09-16 21:23:23 -07:00
  • 72cdba82f5 implement unify_ginteger to address FIXME in skip_max_list_cycle Mark Thom 2025-09-15 21:58:38 -07:00
  • 24f431e2ca fix off-by-one lam loop (#3081) Mark Thom 2025-09-15 21:52:43 -07:00
  • 8afcc7742b handle Stream variants qualified as input stream by is_input_stream Thierry Marianne 2025-09-15 08:33:47 +02:00
  • e9834ffa3e throw permission_error when non-input stream is read Thierry Marianne 2025-09-15 08:28:23 +02:00
  • 28ec457159 merge if let, match structures Thierry Marianne 2025-09-14 18:32:30 +02:00
  • 1ece558a71 match against Stream HttpRead(), InputFile(_) and NamedTcp(_) variants in read_term_from_user_input Thierry Marianne 2025-09-14 17:00:39 +02:00
  • be18eda696 do not reset user input Stream of kind different from Readline(_), Byte(_) Thierry Marianne 2025-09-14 16:42:12 +02:00
  • fdbaf6ac9d handle named tcp and http read stream on term reading from user input Thierry Marianne 2025-09-14 13:47:26 +02:00
  • 5c341ce371 handle input file stream on term reading from user input Thierry Marianne 2025-09-14 12:00:55 +02:00
  • 5f58e1cfd7 reproduce panick originating in set_input/1 call from top-level Thierry Marianne 2025-09-13 14:37:53 +02:00
  • dc05526c71 add FIXME for (presently inert & never invoked) race condition Mark Thom 2025-09-12 00:19:52 -07:00
  • ffea37d899 fix f64 indexing, introduce bespoke F64Table type (#3065) Mark Thom 2025-09-11 23:58:36 -07:00
  • 368c9fd9dd Merge pull request #3063 from Skgland/ffi++ Mark Thom 2025-08-28 20:49:41 -07:00