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

Commit Graph

  • 896b90e57d fix pstr_iter_tests test exian-v0.10.0-patched Skgland 2025-11-20 23:08:46 +01:00
  • 4e7d9f9010 update README.md master Mark Thom 2026-07-21 23:51:19 -07:00
  • d3edffb7fc update README.md Mark Thom 2026-07-21 23:48:56 -07:00
  • 295a642034 Merge pull request #3372 from triska/global_cardinality Mark Thom 2026-06-30 17:25:30 -07:00
  • ae0999a3bb Merge pull request #3398 from Skgland/fix-3320 Mark Thom 2026-06-30 17:25:02 -07:00
  • 11fd39bbaf Merge pull request #3275 from abmclin/Issue-3223-migrate-to-Rust-edition-2024 Mark Thom 2026-06-30 17:22:27 -07:00
  • eb06f19c32 fix incorrect missing feature errors Skgland 2026-06-29 20:13:10 +02:00
  • ea88ca552d Issue 3223: reformat via cargo fmt Alexander McLin 2026-06-16 21:18:49 -04:00
  • eabbf67e86 Issue 3223: add more unsafe scopes Alexander McLin 2026-06-16 21:14:43 -04:00
  • 7a636b0394 Issue 3223: trying again repair for the failing wasm32 build Alexander McLin 2026-06-03 17:57:10 -04:00
  • 71ea74a077 Issue 3223: repair for the failing wasm32 build Alexander McLin 2026-06-03 17:34:41 -04:00
  • 091af28368 Issue 3223: reformat via cargo fmt Alexander McLin 2026-04-08 19:39:48 -04:00
  • fbc5345c9a Issue 3223: more unsafe scope refinements Alexander McLin 2026-04-08 19:39:05 -04:00
  • 9d49415449 Issue 3223: reformat via cargo fmt Alexander McLin 2026-04-04 13:41:52 -04:00
  • 83218bf0da Issue 3223: make unsafe scopes tighter Alexander McLin 2026-04-04 13:37:42 -04:00
  • fcd6c3f127 Issue 3223: Second phase of migration to Rust Edition Alexander McLin 2026-04-02 16:08:06 -04:00
  • efbddeaeee Issue 3223: First phase of migration to Rust Edition 2024 Alexander McLin 2026-04-02 15:55:45 -04:00
  • daaab1cb37 Merge pull request #3331 from adri326/rawblock-safety Mark Thom 2026-06-11 00:38:04 -07:00
  • 9b73536cdd FIXED: Correct global_cardinality/2 propagation with reified constraints. Markus Triska 2026-06-10 20:24:15 +02:00
  • e12d3f14c1 Merge pull request #3363 from Skgland/adjust-discussion-3359-test Mark Thom 2026-06-05 13:55:21 -07:00
  • ffb77473b2 Merge pull request #3364 from Skgland/finish-msrv-bump-cleanup Mark Thom 2026-06-05 13:54:49 -07:00
  • 49c0cd3733 remove unecessary use of LayzLock Skgland 2026-06-05 20:47:20 +02:00
  • a236d00d7d fix lint warnings Skgland 2026-06-05 20:45:18 +02:00
  • bb5a59170a cleanup after msrv bump Skgland 2026-06-05 20:44:38 +02:00
  • 2b757de73a adjust regression test for discussion 3359 Skgland 2026-06-05 20:27:22 +02:00
  • 03f796e9ff Merge pull request #3299 from danilp-id/interrupt_test Mark Thom 2026-06-04 13:11:08 -07:00
  • d8be99b6ad fix merge Danil Platonov 2026-06-04 12:25:54 -07:00
  • 2a04025419 Merge branch 'master' into interrupt_test Danil Platonov 2026-06-04 12:08:36 -07:00
  • bc14e3aedd Merge pull request #3362 from danilp-id/socket_interrupt Mark Thom 2026-06-04 10:56:09 -07:00
  • bcb9dd0860 handle interrupts for tcp server Danil Platonov 2026-06-04 02:41:11 -07:00
  • 18dd939159 Merge pull request #3352 from danilp-id/http_interrupt Mark Thom 2026-06-03 13:36:21 -07:00
  • 1cbc95bd06 Merge pull request #3360 from Skgland/fix-discussion-3359 Mark Thom 2026-06-03 13:35:56 -07:00
  • d1e8ea4dd5 ignore added test on i686-unknown-linux-gnu Skgland 2026-06-03 22:05:07 +02:00
  • 068959bd07 fix discussion 3359 Skgland 2026-06-03 21:09:58 +02:00
  • 3a2d57db33 add regression test for discussion 3359 Skgland 2026-06-03 21:09:39 +02:00
  • 3ce16656ee Merge pull request #3357 from Skgland/fix-issue3346 Mark Thom 2026-06-02 22:19:21 -07:00
  • 732f3ae10a use Notify instead of Sender Danil Platonov 2026-06-02 00:49:00 -07:00
  • a4993284cd fix parallel heap iter Skgland 2026-06-01 23:59:37 +02:00
  • 8aeb326e5c use a pair for ParallelHeapIter Skgland 2026-06-01 23:58:17 +02:00
  • 304cf424ed unused code for unimplemented shutdown on timeout feature Danil Platonov 2026-05-30 15:59:16 -07:00
  • 3cd40419eb cargo fmt Danil Platonov 2026-05-30 15:56:18 -07:00
  • f8f7b3b7e2 allow to stop and start http server at will with SIGINT, stop the server on uncaught throws, display timing info for each request, use setup_call_cleanup in more places to avoid potential leaks, when handler for a path doesn't have a matching case, throw a detailed error instead of silently continuing Danil Platonov 2026-05-30 15:47:50 -07:00
  • 39c850b4f4 Test that SIGINT interrupts non-terminating goals on unix. Danil Platonov 2026-05-30 11:45:57 -07:00
  • 8b6d68a4cd Merge pull request #3347 from drzv/im7-compat2 Mark Thom 2026-05-28 16:34:52 -07:00
  • 149d3932be Merge pull request #3272 from abmclin/windows_improve_notty_stdin_support Mark Thom 2026-05-26 14:01:23 -06:00
  • 36cbeb3d6c showterm.el: use new magick command by default, fallback to convert drzv 2026-05-26 08:14:54 -04:00
  • 875ae5a773 showterm.el: revert #3338 drzv 2026-05-26 01:55:01 +00:00
  • 70d046499a Issue 3264: rebase and update dependencies Alexander McLin 2026-05-25 18:24:24 -04:00
  • b6db1cde25 Issue 3264 add rationale comment & #[allow(...)] Alexander McLin 2026-04-14 15:27:52 -04:00
  • 257209df75 Issue 3264: refactor supported_terminal Alexander McLin 2026-04-12 08:42:15 -04:00
  • d5d514ec96 Issue 3264: reformat to conform to style guidelines Alexander McLin 2026-04-10 21:57:23 -04:00
  • 533594b6b6 Fixes issue 3264 by adding a fallback read mode when reading from non-tty stdin on Windows Alexander McLin 2026-03-29 21:29:48 -04:00
  • 43b6afcdf3 Merge pull request #3342 from Skgland/pdl-pairs Mark Thom 2026-05-25 15:10:02 -06:00
  • 2c23f84808 Merge pull request #3310 from Skgland/process_wait-release Mark Thom 2026-05-25 15:08:37 -06:00
  • ad13aa3801 Merge pull request #3320 from Skgland/all-pure-rust Mark Thom 2026-05-25 14:36:04 -06:00
  • 79597b63bf Merge pull request #3317 from Skgland/optimize-put_back_char Mark Thom 2026-05-25 14:03:31 -06:00
  • bdba7ba0f5 merge crypto-impure feature into feature crypto-full Skgland 2026-05-25 19:07:20 +02:00
  • 6c7d5e8278 more spelling fixes Skgland 2026-05-25 16:39:37 +02:00
  • 61ebcdb56e fix spelling Skgland 2026-05-24 23:55:19 +02:00
  • f2195c2362 cleanup Skgland 2026-04-27 22:54:36 +02:00
  • 6150ca90d3 check individual features in CI Skgland 2026-04-27 22:53:05 +02:00
  • 938f588769 make crypto depending on ring optional Skgland 2026-04-25 21:17:48 +02:00
  • 61d94dceae Merge pull request #3290 from abmclin/bump-rustyline-version-18 Mark Thom 2026-05-24 13:27:00 -06:00
  • 1411417a44 Merge pull request #3338 from drzv/master Mark Thom 2026-05-24 13:22:33 -06:00
  • 609514b4b8 Merge pull request #3312 from Skgland/big-endian-miri Mark Thom 2026-05-24 13:22:00 -06:00
  • 1fd9246b16 configure linker via env var insread of .cargo/config.toml Skgland 2026-05-24 19:02:59 +02:00
  • 19974e580b fix missing description Skgland 2026-05-24 19:02:23 +02:00
  • 550efb8416 add a feature for things that are simple to cross-compile Skgland 2026-04-27 21:33:08 +02:00
  • e0c491e9f3 fix miri not being passed the target Skgland 2026-04-26 00:17:33 +02:00
  • f16850e5f8 fix ci and setup cross-compilation Skgland 2026-04-25 21:41:59 +02:00
  • ca0d4e9aac add miri CI for a big endian target Skgland 2026-04-25 21:27:03 +02:00
  • 6e50268efb fix spelling again Skgland 2026-05-24 10:30:30 +02:00
  • 54b3034905 remove out-dated comment and fix spelling/grammar Skgland 2026-05-24 10:25:24 +02:00
  • cf9e667b50 Merge pull request #3311 from Skgland/cleanup2 Mark Thom 2026-05-23 18:27:50 -06:00
  • 3f0b471227 Merge pull request #3333 from 0nkery/lazy-lock Mark Thom 2026-05-23 09:51:22 -06:00
  • bfca60aa86 Merge pull request #3345 from triska/meetups Mark Thom 2026-05-23 09:51:06 -06:00
  • 6b9a291f4e fix spelling Skgland 2026-05-23 11:28:45 +02:00
  • 777637001f link to Scryer Prolog Meetup 2026 page and its announcement Markus Triska 2026-05-23 10:14:15 +02:00
  • 9fcd7776a9 Merge pull request #3336 from 0nkery/fix-between-doc Mark Thom 2026-05-22 23:04:05 -06:00
  • 4f166f50a8 Merge pull request #3334 from Skgland/stable-order Mark Thom 2026-05-22 22:56:13 -06:00
  • 1547839c33 Merge pull request #3328 from Skgland/update-libffi Mark Thom 2026-05-22 22:53:49 -06:00
  • 5a1423d0f0 Merge pull request #3316 from josd/master Mark Thom 2026-05-22 22:52:27 -06:00
  • 3faa838ee2 Merge pull request #3323 from triska/VATmiraal Mark Thom 2026-05-22 22:45:39 -06:00
  • e4792429d3 reuse tabu list Skgland 2026-05-17 20:50:37 +02:00
  • d50d425099 ensure pdl is pushed/popped in pairs Skgland 2026-05-17 19:45:55 +02:00
  • 0df5f7e576 Call ImageMagick with make-process. Redirect stderr to separate buffer drzv 2026-05-14 19:10:05 +00:00
  • b9f1443eb0 fix var mode in between/3 documentation Dmitrii Shlagov 2026-05-14 16:25:33 +02:00
  • ac18aed5a7 use BTree{Map,Set} to ensure a stable order based on the key/entry even if filesystem enumeration order changes Skgland 2026-05-14 00:50:37 +02:00
  • 2c60e4183f roll back gitignore changes Dmitrii Shlagov 2026-05-12 17:14:19 +02:00
  • 2bbb6487ec remove redundant closure Dmitry Shlagoff 2026-05-12 16:12:33 +02:00
  • 095fa1227a replace lazy_static macro with std::sync::LazyLock Dmitry Shlagoff 2026-05-12 15:39:35 +02:00
  • f395d554a5 RawBlock: finish proof of safety and defragment after growing Emilie Burgun 2026-05-10 20:00:02 +02:00
  • ad614b684c RawBlock: switch to Cell or AtomicPtr instead of UnsafeCell Emilie Burgun 2026-05-10 19:21:36 +02:00
  • 898b6b2b25 RawBlock: seal base and add Stack::index_dangling_or_frame Emilie Burgun 2026-05-10 15:07:08 +02:00
  • 3c5818a040 RawBlock: seal most fields, replace top with a capacity field Emilie Burgun 2026-05-10 13:53:58 +02:00
  • 0c313a0849 upgrade libffi dependency Skgland 2026-05-08 22:36:41 +02:00
  • 7c9075b4ee Bump Cargo.toml rust-version to 1.93.1 Alexander McLin 2026-05-05 09:58:05 -04:00
  • 4c14cbe39a explanation of product Markus Triska 2026-05-03 11:00:14 +02:00
  • afe744aa57 add link to VATmiraal, https://vatmiraal.be Markus Triska 2026-05-03 09:51:42 +02:00
  • 89dde3f370 un-ignore lorem_ipsum tests as they are no longer slow Skgland 2026-04-30 19:54:39 +02:00