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

Commit Graph

  • 4fc4152eac Merge pull request #2817 from adri326/fix-2815-run_module_predicate-backtrack Mark Thom 2025-02-16 22:47:49 -08:00
  • 914318b14e Merge pull request #2799 from bakaq/callback_streams Mark Thom 2025-02-16 22:47:34 -08:00
  • 3fc5709c50 Add builder style configuration of user input, output and error bakaq 2025-02-05 12:07:28 -03:00
  • 28926486e0 More stream tests bakaq 2025-01-31 13:14:45 -03:00
  • ad211d5e05 Disallow null streams in output bakaq 2025-01-31 07:45:13 -03:00
  • 5386c183d2 Make input and output stream configuration public bakaq 2025-01-31 07:23:39 -03:00
  • 0a2457943e Configure streams separately bakaq 2025-01-30 09:20:28 -03:00
  • baae1dca15 Refactor UserInput to use channels bakaq 2025-01-30 06:14:38 -03:00
  • 4e032c8a28 Test for callback streams bakaq 2025-01-29 17:09:48 -03:00
  • 7a6620b52d Add input stream channel bakaq 2025-01-29 11:35:04 -03:00
  • dd6533e76c Add callback streams bakaq 2025-01-28 17:58:40 -03:00
  • d262159399 Merge pull request #2791 from Skgland/patch-1 Mark Thom 2025-02-12 23:25:21 -08:00
  • c77ea48fbd Merge pull request #2804 from dnmfarrell/line-count-off-by-one Mark Thom 2025-02-12 23:23:44 -08:00
  • 35c1880937 Merge pull request #2818 from adri326/stream-cleanup Mark Thom 2025-02-12 23:23:11 -08:00
  • e5cca9d10a Merge pull request #2812 from bakaq/attr_vars_arity_fix Mark Thom 2025-02-12 23:19:34 -08:00
  • f45b0bcfe8 Remove redundant alias resolution in at_end_of_stream/1, add corresponding tests for null streams Emilie Burgun 2025-02-07 14:59:32 +01:00
  • 8966e175f1 [fixup] return that reading from a null stream wrote 0 bytes to the buffer Emilie Burgun 2025-02-07 14:35:27 +01:00
  • 2a218f34b9 Test corner cases of stream aliasing Emilie Burgun 2025-02-06 23:47:22 +01:00
  • d8213e29c5 Fix set_output/1 and set_input/1 not updating the alias Emilie Burgun 2025-02-06 22:55:40 +01:00
  • 7f2ce57ba7 Fix stream realiasing possibly shadowing other streams. Emilie Burgun 2025-02-03 14:58:04 +01:00
  • 949d316773 Fix realiased streams causing close/1 to leave a dangling stream Emilie Burgun 2025-02-03 14:26:33 +01:00
  • 0cf46d3ec4 Encapsulate accesses to IndexStore::streams and ::stream_aliases Emilie Burgun 2025-02-03 14:00:37 +01:00
  • e68ac8347f Document run_module_predicate and handle critical failure in toplevel.pl Emilie Burgun 2025-02-06 13:26:16 +01:00
  • d4bf52e82c Disable test_run_module_predicate_throw under miri and support rustc < 1.83 Emilie Burgun 2025-02-06 10:37:54 +01:00
  • 22538a05be Fix backtracking on the topmost predicate triggering UB in run_module_predicate Emilie Burgun 2025-02-06 00:16:20 +01:00
  • 6d80c843e6 Scan entire predicate in InstallVerifyAttr bakaq 2025-02-05 02:22:59 -03:00
  • b8ccebbf24 Fix bug in finding arity for verify attributes bakaq 2025-02-01 15:53:15 -03:00
  • 7108e87e92 Make Stream::Null behave like /dev/null Emilie Burgun 2025-02-02 17:38:59 +01:00
  • fdc35f8b40 Fix UB caused by interactions with null streams Emilie Burgun 2025-01-31 17:26:40 +01:00
  • 2fe7b55343 Fix close/1 messing up stream_aliases when user_input or user_output aren't set to Stdin and Stdout Emilie Burgun 2025-02-03 00:07:39 +01:00
  • f509d3d66f Line numbers start at 1 David Farrell 2025-02-01 14:02:34 -05:00
  • 079a69396a Add debug asserts to UntypedArenaPtr::build_with, ::get_tag and raw_ptr_as_cell! Emilie Burgun 2025-01-31 15:12:54 +01:00
  • c548b14f50 Merge pull request #2798 from bakaq/clippy_warnings Mark Thom 2025-01-28 23:24:17 -07:00
  • 590d0daa24 Fix clippy warnings bakaq 2025-01-28 16:22:50 -03:00
  • 7a5a5bb795 fix spelling and grammar errors found by mthom Bennet Bleßmann 2025-01-27 20:40:12 +01:00
  • 5a869e8b48 Merge pull request #2777 from adri326/fix-2772-rnd_i-clipping Mark Thom 2025-01-26 23:14:57 -07:00
  • 28678e708b Merge pull request #2738 from adri326/fix-2275-dcgs-call-module Mark Thom 2025-01-26 23:14:30 -07:00
  • f69c58c6b6 Merge pull request #2793 from Skgland/fix-ci Mark Thom 2025-01-26 23:02:23 -07:00
  • 0cde8f9a43 Add integration tests for arithmetic operators Emilie Burgun 2025-01-15 15:12:06 +01:00
  • 20735ea34c Fix integer overflow in >>/2 and <</2 Emilie Burgun 2025-01-26 23:56:52 +01:00
  • f3a92c6551 Fix min/2 and max/2 returning the cast version of its arguments Emilie Burgun 2025-01-18 13:11:52 +01:00
  • e2d1a2b6bc Fix X is gcd(1, 2 ^ 64) triggering a panic Emilie Burgun 2025-01-20 11:10:16 +01:00
  • d3361c16d8 Fix round() losing precision on bigints Emilie Burgun 2025-01-17 23:33:09 +01:00
  • 9420c7e41e Fix rnd_i clipping floats that don't fit in Fixnum Emilie Burgun 2025-01-17 20:11:05 +01:00
  • a7598184bf fix typo Bennet Bleßmann 2025-01-24 18:47:42 +01:00
  • bc0f614bf9 FIXED: instantiation and type check for string arguments Markus Triska 2025-01-23 20:18:55 +01:00
  • b1e66f686b Update README.md Bennet Bleßmann 2025-01-23 20:04:43 +01:00
  • b74c8139d1 fix ci and update all used actions Bennet Bleßmann 2025-01-23 19:53:59 +01:00
  • 75d499bf8a update install link Bennet Bleßmann 2025-01-23 19:20:19 +01:00
  • f1100271e2 Update README.md Bennet Bleßmann 2025-01-23 19:18:15 +01:00
  • 143430dd9c Update README.md Bennet Bleßmann 2025-01-23 19:11:08 +01:00
  • 00e6e323f8 Merge pull request #2768 from robstolarz/RSTO-nix-macos-fix Mark Thom 2025-01-13 22:15:11 -07:00
  • b76bdd75e4 Fix #2725 by calling load_context/1 in the unspecified branch of strip_module/3 Emilie Burgun 2025-01-01 17:27:40 +01:00
  • 1ed4fe6555 Merge pull request #2756 from adri326/fix-load-context-unreachable Mark Thom 2025-01-11 21:27:32 -07:00
  • 894405149b fix: compile under Nix flake on macOS Rob Stolarz 2025-01-11 13:00:46 -08:00
  • eff094cc29 Add tests for PR #2756 Emilie Burgun 2025-01-07 18:10:50 +01:00
  • 6cedbc33c0 Fix load_context_module triggering unreachable code in unify_atom Emilie Burgun 2025-01-07 17:59:13 +01:00
  • 2856cc4371 Merge pull request #2742 from triska/clpb Mark Thom 2025-01-04 13:26:08 -07:00
  • a683d3e363 Merge pull request #2728 from aarroyoc/lets-play-brisca Mark Thom 2025-01-04 13:24:35 -07:00
  • 2257503951 Merge pull request #2743 from triska/crypto Mark Thom 2025-01-04 13:23:59 -07:00
  • 531d482ba7 Merge pull request #2744 from triska/files Mark Thom 2025-01-04 13:23:44 -07:00
  • 28c386422b state when the predicates are true Markus Triska 2025-01-02 18:54:27 +01:00
  • edaba024b2 atom --> string Markus Triska 2025-01-02 18:30:29 +01:00
  • 333d6740ae Revert "FIXED: CLP(B): Delay BDD restriction until after the instantiation." Markus Triska 2025-01-02 18:01:45 +01:00
  • 56cb27f71c Add tutorial: Let's play Brisca Adrián Arroyo Calle 2024-12-29 23:55:57 +01:00
  • d57f871a12 Merge pull request #2681 from hurufu/remove-dcgs-that-have-failed-to-expand Mark Thom 2024-12-25 14:29:38 -07:00
  • afc7b74bbd qualify module quantification errors better (#2685) Mark Thom 2024-12-25 12:23:21 -08:00
  • d287095e61 style corrections Mark Thom 2024-12-25 12:11:17 -08:00
  • a599a11169 Remove DCGs that have thrown an exception during term expansion Aleksy Grabowski 2024-12-05 11:15:42 +01:00
  • b7943837a0 Merge pull request #2714 from triska/graphic_token Mark Thom 2024-12-20 18:42:09 -07:00
  • e01a4cdc85 Merge pull request #2717 from jasagredo/js/small-doc Mark Thom 2024-12-20 18:41:51 -07:00
  • 555dff5bad leave variable modules uninstantiated (#2685) Mark Thom 2024-12-17 23:28:50 -08:00
  • 75ac3fffae Ensure max_assoc/3 is shown as documented Javier Sagredo 2024-12-18 01:02:45 +01:00
  • 8dc80b815f use round brackets for goals involving operators Markus Triska 2024-12-17 22:51:47 +01:00
  • 6175e334a5 prevent accidental amalgamation of graphic token chars in output Markus Triska 2024-12-17 19:51:11 +01:00
  • 7e22c12a8d Merge pull request #2582 from bakaq/rework_library_interface Mark Thom 2024-12-13 21:46:43 -07:00
  • b5030be34f Merge pull request #2691 from aarroyoc/remove-meetup-2024 Mark Thom 2024-12-13 21:39:38 -07:00
  • c59f54252c Merge pull request #2683 from ffortier/master Mark Thom 2024-12-13 21:39:12 -07:00
  • a9a77779e3 Merge pull request #2689 from triska/weighted_maybe Mark Thom 2024-12-13 21:38:47 -07:00
  • 5f035ec6ad Merge pull request #2690 from notoria/next Mark Thom 2024-12-13 21:38:32 -07:00
  • 9eef380764 Merge pull request #2696 from jasonhemann/patch-3 Mark Thom 2024-12-13 21:37:56 -07:00
  • ce6a0a1541 Merge pull request #2698 from jasonhemann/patch-5 Mark Thom 2024-12-13 20:02:50 -07:00
  • b919a39b96 Merge pull request #2703 from jasonhemann/patch-6 Mark Thom 2024-12-13 20:02:21 -07:00
  • 84fc639f31 Merge pull request #2697 from jasonhemann/patch-4 Mark Thom 2024-12-13 19:57:21 -07:00
  • a15b2789e2 s/avaibale/available/ Jason Hemann 2024-12-13 13:41:05 -05:00
  • 2e910de485 cargo fmt bakaq 2024-12-12 06:03:43 -03:00
  • 74e3d32ca9 Use Cow<'a,B> for toplevel configuration bakaq 2024-12-12 05:59:59 -03:00
  • 500a6cdaf1 FIXME in Drop for QueryState bakaq 2024-12-12 05:49:52 -03:00
  • 17293a5753 Leave residual goals for later bakaq 2024-12-12 05:43:23 -03:00
  • a75266c3ce Derive Default for StreamConfig bakaq 2024-12-12 05:38:55 -03:00
  • a92eac919f Rename lib_machine_tests.rs to tests.rs bakaq 2024-12-12 05:34:16 -03:00
  • 2ff50f06bc Update builtins.pl Jason Hemann 2024-12-11 08:05:03 -05:00
  • e219e1c483 Update builtins.pl Jason Hemann 2024-12-11 05:46:28 -05:00
  • eef9f74a68 Documentation for read/2 Jason Hemann 2024-12-10 21:18:09 -05:00
  • eae1f53846 "bound to an atom" Jason Hemann 2024-12-10 21:07:48 -05:00
  • 48a42ae140 s/performance characters/performance characteristics/ Jason Hemann 2024-12-10 20:56:44 -05:00
  • 44facf07ab Remove Scryer Prolog Meetup 2024 announcements Adrián Arroyo Calle 2024-12-09 13:52:43 +01:00
  • 9265d66f58 Handle errors in QueryState bakaq 2024-12-08 19:47:18 -03:00
  • 3d3baeed82 Migrate benches bakaq 2024-10-12 19:08:45 -03:00
  • e21c772181 Migrate tests to new API bakaq 2024-10-12 17:41:48 -03:00