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

Commit Graph

  • 8971809c83 adjust errors Bennet Bleßmann 2025-07-20 18:47:44 +02:00
  • e321f29b9c rename pid to process Bennet Bleßmann 2025-07-20 18:34:45 +02:00
  • 129c80bf16 undo changes to error.pl Bennet Bleßmann 2025-07-20 01:52:34 +02:00
  • 183761eba4 adjust default cwd Bennet Bleßmann 2025-07-20 01:25:16 +02:00
  • 6c7833b9c7 restructure option parsing Bennet Bleßmann 2025-07-20 00:51:50 +02:00
  • 82e989f631 add comments and try to fix binding the child process pid Bennet Bleßmann 2025-07-19 22:56:51 +02:00
  • 2b052bf8dd fix more things Bennet Bleßmann 2025-07-19 21:44:28 +02:00
  • 003e9d4610 get it working Bennet Bleßmann 2025-07-19 21:33:19 +02:00
  • d79ece2497 fix indices Bennet Bleßmann 2025-07-19 21:00:36 +02:00
  • ae0baf4893 [WIP] add support to spawn new processes Bennet Bleßmann 2025-07-19 20:50:53 +02:00
  • 1114700ce6 ignore test making network requests Bennet Bleßmann 2025-08-01 20:06:07 +02:00
  • dea43a0244 update docs Bennet Bleßmann 2025-07-17 01:45:13 +02:00
  • 0c2c6124eb support cstr as an ffi return type and do some more restructuring Bennet Bleßmann 2025-07-17 01:28:52 +02:00
  • 9cccd509e3 no longer skip f32 and f64 now that they work consistently Bennet Bleßmann 2025-02-18 21:31:53 +01:00
  • 36bdab84ba further cleanup Bennet Bleßmann 2025-02-18 21:24:27 +01:00
  • cf51338a77 further ffi cleanup Bennet Bleßmann 2025-02-17 21:23:08 +01:00
  • f738b42e49 don't panic on unexpected/invalid value Bennet Bleßmann 2025-02-17 20:19:36 +01:00
  • f45426e8ab also accept rust type name Bennet Bleßmann 2025-02-17 20:18:47 +01:00
  • 3d2439c92b use libffi::middle instead of libffi::low were possible Bennet Bleßmann 2025-01-21 22:23:50 +01:00
  • 6205f2f1f1 add a simple ffi test using structs Bennet Bleßmann 2025-02-17 19:58:46 +01:00
  • 760e1d2aac fix UB in ffi tests Bennet Bleßmann 2025-01-27 21:55:34 +01:00
  • e1246f0c83 add new test helper Bennet Bleßmann 2025-01-27 21:27:29 +01:00
  • bd1f8bb37e make ffi support full {i,u}64 range Bennet Bleßmann 2025-01-23 00:40:31 +01:00
  • 620459ea1e fix {i,u}64 in ffi Bennet Bleßmann 2025-01-22 20:32:44 +01:00
  • d2502b0520 fix all but {i,u}64 Bennet Bleßmann 2025-01-22 00:03:18 +01:00
  • 34eab2e73a fix crash when trying to load and ffi library with an invalid type specification Bennet Bleßmann 2025-01-21 23:37:47 +01:00
  • db3f2717bc add more ffi tests Bennet Bleßmann 2025-01-21 23:36:14 +01:00
  • 7227e1d97c cleanup and fix miri & cross-compile Bennet Bleßmann 2025-01-21 19:20:33 +01:00
  • 9d8906da30 add ffi tests using f64 Bennet Bleßmann 2025-01-20 23:00:03 +01:00
  • f524062e5b Merge pull request #2961 from rotu/patch-5 Mark Thom 2025-07-31 22:10:32 -07:00
  • eb29390a79 Merge pull request #3017 from triska/adapt_link Mark Thom 2025-07-31 22:09:54 -07:00
  • f91aedcc2f Merge pull request #3019 from Skgland/rebis-dev_fix-clippy Mark Thom 2025-07-31 22:09:41 -07:00
  • 4f04d2dfca replace .skip(n).next() with .nth(n) Bennet Bleßmann 2025-07-31 21:46:21 +02:00
  • de89a78cbb remove unecessary cast Bennet Bleßmann 2025-07-31 21:45:57 +02:00
  • e7600884fb remove unecessary into_iter Bennet Bleßmann 2025-07-31 21:45:44 +02:00
  • 3365cffa96 prefere for loop Bennet Bleßmann 2025-07-31 21:45:26 +02:00
  • df3f1236f7 replace always erroring of_else with map_err Bennet Bleßmann 2025-07-31 21:44:52 +02:00
  • 8766851919 replace single non-wildcard pattern match with if let Bennet Bleßmann 2025-07-31 21:43:59 +02:00
  • 014d1b0095 remove already implied must_use Bennet Bleßmann 2025-07-31 21:41:51 +02:00
  • c885d1a7e7 collaps els-if / if-if Bennet Bleßmann 2025-07-31 21:41:23 +02:00
  • 7593f88d5a ingore nerver looping loop, but add a todo Bennet Bleßmann 2025-07-31 21:40:38 +02:00
  • 6885074006 fix clippy::unit_arg Bennet Bleßmann 2025-07-31 21:40:05 +02:00
  • 73cc872b50 check not empty instead of len > 0 Bennet Bleßmann 2025-07-31 21:38:48 +02:00
  • fae5e13bd5 impl From rather than Into Bennet Bleßmann 2025-07-31 21:38:26 +02:00
  • 6d7c217227 fix unecessary mut Bennet Bleßmann 2025-07-31 21:37:23 +02:00
  • 166ec02973 ignore clippy::unbuffered_bytes in test helper functions Bennet Bleßmann 2025-07-31 21:36:53 +02:00
  • 1d26f98688 fix legacy int constants Bennet Bleßmann 2025-07-31 21:35:55 +02:00
  • 58b9a6ad69 ignore wrong self convention Bennet Bleßmann 2025-07-31 21:35:40 +02:00
  • a639fec153 fix match/if-let can be simplified to ? Bennet Bleßmann 2025-07-31 21:34:15 +02:00
  • 495bcd73f2 fix unecessary return Bennet Bleßmann 2025-07-31 21:33:13 +02:00
  • ae3019d923 fix unecessary reference/dereference Bennet Bleßmann 2025-07-31 21:31:34 +02:00
  • 72631b3e0b fix clone on copy values Bennet Bleßmann 2025-07-31 21:28:30 +02:00
  • 8cc74b2af7 fix clippy::uninlined_format_args Bennet Bleßmann 2025-07-31 21:26:08 +02:00
  • 7199e9a2db remove outdated comment Bennet Bleßmann 2025-07-31 20:07:57 +02:00
  • edf21494d9 also run CI on rebis-dev Bennet Bleßmann 2025-07-31 20:07:07 +02:00
  • b364c9073a adapt link to Scryer Prolog Meetup 2024 Markus Triska 2025-07-28 18:54:03 +02:00
  • 9b293cf1b6 detect end_of_file before end_of_stream in get_char (#2990) Mark Thom 2025-07-22 20:16:24 -07:00
  • 65dda019a2 allow abolish_clause to abolish empty dynamic clauses (#3010) Mark Thom 2025-07-20 16:55:07 -07:00
  • 4aa2a45736 fix variadic_functor Mark Thom 2025-07-16 21:52:40 -07:00
  • 4efceda8c5 fix parsing partial number tokens in other radixes (#3000) Mark Thom 2025-07-14 23:05:10 -07:00
  • 5dc8983eec Merge pull request #3003 from rotu/patch-8 Mark Thom 2025-07-13 21:22:24 -07:00
  • 49b30e9f81 Merge branch 'mthom:master' into patch-5 Dan Rose 2025-07-08 18:03:16 -05:00
  • b78ccf8f28 fmt improvements Mark Thom 2025-07-08 13:47:08 -07:00
  • 2dc66d33dd CI: run clippy even if fmt fails Dan Rose 2025-07-08 11:51:13 -05:00
  • e303e5a805 correct number_chars (#2976) Mark Thom 2025-07-01 15:47:26 -07:00
  • 762b63e1f4 use granular hierarchical locks in offset_table.rs Mark Thom 2025-06-24 21:58:40 -07:00
  • 2844b5a958 synchronize offset table growth with the borrowing of offset pointers Mark Thom 2025-06-20 23:19:32 -07:00
  • 1332611f83 use OffsetTableImpl without synchronization by default Mark Thom 2025-05-22 23:49:57 -07:00
  • 725def07cd fix crash when loading html Bennet Bleßmann 2025-05-09 23:45:03 +02:00
  • cbdd0fbf15 make Fixnum::build_with harder to accidentally misuse change trait bound order for better Bennet Bleßmann 2025-01-22 21:10:44 +01:00
  • 87ca083cfa Align the heap to the size of heap cells bakaq 2025-05-05 00:15:14 -03:00
  • d01557f3c1 Add scan_slice_to_str_from_start bakaq 2025-05-04 21:01:50 -03:00
  • 8b009448f4 correct threshold marking in copy_structure (#2920) Mark Thom 2025-05-03 22:04:04 -07:00
  • 709dc041eb FIXED: correct partial string tail calculation in arg/3 Markus Triska 2025-05-01 09:18:00 +02:00
  • 8763a42c98 FIXED: arg/3 for partial strings Markus Triska 2025-04-29 22:48:13 +02:00
  • d6b6eda77d fix cont function crashes (#2920) Mark Thom 2025-04-28 23:39:52 -07:00
  • 4e0493474e replace deprecated unify_complete_string call with allocate_cstr Mark Thom 2025-04-27 22:27:12 -07:00
  • a9847eef65 Migrate to strict and exposed provenance bakaq 2025-04-26 23:34:53 -03:00
  • cb9b988905 allow unused_parens around let statement in functor! macro Mark Thom 2025-04-26 21:11:27 -07:00
  • 073ec4c1d0 FIXED: invoke correct predicate Markus Triska 2025-04-25 18:39:21 +02:00
  • d51cbd67e0 ENHANCED: partial_string/3 no longer creates atoms Markus Triska 2025-04-25 22:16:44 +02:00
  • e9bb41f0d6 ENHANCED: use a fast test for the expected case of chars in atom_chars/2 etc. Markus Triska 2025-04-24 18:19:05 +02:00
  • b12d1ece17 correct heap-to-cell-index comparison in copy_slice_to_end (#2906) Mark Thom 2025-04-24 22:20:40 -07:00
  • 706ffe7ad9 fix functor! size calculations around indexing_code_ptr Mark Thom 2025-04-23 22:49:03 -07:00
  • 258244caf2 restore tab completion to REPL (#2575) Mark Thom 2025-04-23 18:55:50 -07:00
  • 39ea2d5899 make self.s_offset use bytes in case of HeapPtr::PStr in UnifyVoid (#2897) Mark Thom 2025-04-21 20:25:50 -07:00
  • 41b90c6e46 correct heap_print.rs for null characters being excluded from pstr regions of heap (#2890) Mark Thom 2025-04-20 17:14:13 -07:00
  • 6bcbb91e08 correctly increment s_offset for partial strings (#2897) Mark Thom 2025-04-20 16:53:36 -07:00
  • e1e52338d6 fix typo in try_from_partial_string Mark Thom 2025-04-20 00:07:55 -07:00
  • 995a39419a fix read_s logic around HeapPtr::PStrLoc (#2894) Mark Thom 2025-04-19 23:51:26 -07:00
  • 4644ea2404 repair cyclic PStrLoc handling in heap_print.rs Mark Thom 2025-04-18 00:03:33 -07:00
  • f3cd6326a3 remove compare_pstr_to_string and related result type Mark Thom 2025-04-17 20:20:38 -07:00
  • bf31d3f9a9 ENHANCED: dedicated faster branches for repositionable streams Markus Triska 2025-04-17 22:14:37 +02:00
  • 4c46f0e54d correct GetPartialString (#2887) Mark Thom 2025-04-16 22:20:31 -07:00
  • e563fd8e4f generalize compare_pstr_segments Mark Thom 2025-04-15 22:10:02 -07:00
  • 1297a24469 ensure '\0' atom is static & never inlined (#2880) Mark Thom 2025-04-12 18:48:47 -07:00
  • 907e64e185 fix root reading of complete strings (#2882) Mark Thom 2025-04-12 17:32:11 -07:00
  • 46f259bf7d some cosmetic tweaks Mark Thom 2025-04-12 16:43:51 -07:00
  • 634ccf22aa mark done item Markus Triska 2025-04-12 22:54:04 +02:00
  • 16b3bea48e correct and simplify compute_pstr_size Mark Thom 2025-04-12 00:22:29 -07:00