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

Commit Graph

  • 1967518fa2 FIXED: documentation of countall/2 (#1976) Markus Triska 2023-09-05 19:42:55 +02:00
  • 5928d64d7a make F64Table concurency safe Bennet Bleßmann 2023-09-02 22:27:43 +02:00
  • c7ec5a13a5 remove locks from AtomTable Bennet Bleßmann 2023-09-02 21:31:01 +02:00
  • 01aeb7515d [WIP] move towards lockless AtomTable Bennet Bleßmann 2023-08-28 23:24:27 +02:00
  • d54c3369b3 FIXED: countall/2 for zero solutions (#1996) Markus Triska 2023-09-05 19:39:05 +02:00
  • d24e6100a7 fix rust_beta_channel feature Skgland 2023-08-27 22:23:22 +02:00
  • cd0e45b70e fix accidentally left in println!() Skgland 2023-08-27 22:22:59 +02:00
  • 0f0018abe4 raise msrv for OnceLock support Skgland 2023-08-27 20:05:12 +02:00
  • a95c5e26e6 add comment why blocking_write is not used Skgland 2023-08-27 19:58:08 +02:00
  • 70b6cc8e55 fix deadlock in load_library_as_stream Skgland 2023-08-27 19:56:55 +02:00
  • 13cbff7eab [WIP] fix deadlock in AtomTable::build_with Bennet Bleßmann 2023-08-28 23:04:30 +02:00
  • 86166dbf25 [WIP] make AtomTable concurrentcy ready Skgland 2023-08-26 01:10:49 +02:00
  • b2130c2a48 run cargo fmt Skgland 2023-08-26 01:29:53 +02:00
  • 5585e83fd6 correct inference counting over index backtracking, built-ins (#1977, #1987) Mark 2023-09-04 17:15:05 -06:00
  • 7b921fc767 Implemented num_order methods on Integer & Rational numbers Fayeed Pawaskar 2023-09-04 14:12:47 +05:30
  • cfd67c8337 Added new unify methods Fayeed Pawaskar 2023-09-04 14:12:11 +05:30
  • dc498d4de8 Fixed warning Fayeed Pawaskar 2023-09-04 14:11:54 +05:30
  • 2c67106f26 Added value method to get the generic type from TypedArenaPtr Fayeed Pawaskar 2023-09-04 14:11:30 +05:30
  • b105c33b79 Added latest dashu from github Fayeed Pawaskar 2023-09-04 14:09:45 +05:30
  • 2ccc238119 Merge pull request #1991 from triska/discoverable_flags Mark Thom 2023-09-03 18:39:24 -06:00
  • e693b7d33b Merge pull request #1990 from triska/clpb_max Mark Thom 2023-09-03 18:39:12 -06:00
  • aca0de06cd FIXED: make occurs_check and answer_write_options flags discoverable Markus Triska 2023-09-04 00:49:40 +02:00
  • 85f4bdbe0b update answer Markus Triska 2023-09-03 22:01:38 +02:00
  • 1257ba165f untabify Markus Triska 2023-09-03 21:57:51 +02:00
  • 1c33d2a2ed remove clpb_max/1 attribute for residual goal projection Markus Triska 2023-09-03 21:47:58 +02:00
  • 99bd3d3b1a Merge pull request #1988 from triska/answer_write_options Mark Thom 2023-09-03 11:36:40 -06:00
  • d8aed0ac4f Merge pull request #1989 from triska/mention_binaries Mark Thom 2023-09-03 11:36:07 -06:00
  • 5ebd4bb2a4 mention precompiled binaries Markus Triska 2023-09-03 14:12:46 +02:00
  • c934e06171 ADDED: New Prolog flag, answer_write_options. Markus Triska 2023-09-03 09:33:16 +02:00
  • 8a0685a3e9 Debug print value of register 6 which leads to failing heap dereference Nicolas Luck 2023-08-30 20:01:56 +02:00
  • 2b018be392 Add back needed dep. hyper-util and upgrade hyper to rc4 Nicolas Luck 2023-08-30 20:00:56 +02:00
  • 4d19c437e0 Merge branch 'master' into library-use-case Nicolas Luck 2023-08-30 18:12:26 +02:00
  • 44c274b9e9 WIP: Pure Rust impl. of run_query Nicolas Luck 2023-08-30 17:35:36 +02:00
  • 66f6399b8a refine is/2 compilation so errors are thrown when expected without needlessly allocating (#1974, #1984) Mark 2023-08-29 16:42:23 -06:00
  • 53a1be78cc don't compile is instruction if bound to anonymous variable (#1974) Mark 2023-08-29 15:26:08 -06:00
  • 78b35dc57d update Cargo.toml version numbers and bump version number v0.9.2 Mark 2023-08-28 13:23:56 -06:00
  • c65d1204af Merge pull request #1978 from aarroyoc/ci-32-bits Mark Thom 2023-08-27 12:49:20 -06:00
  • 3bfed50d81 Merge pull request #1979 from triska/normalize_space Mark Thom 2023-08-27 12:48:48 -06:00
  • 4523bb5b81 32 bit CI for Linux Adrián Arroyo Calle 2023-08-26 09:28:46 +02:00
  • 75aec69de1 replace adjacent whitespace characters with a single SPACE character Markus Triska 2023-08-27 12:55:29 +02:00
  • 9b96735615 ENHANCED: rudimentary implementation of normalize_space Markus Triska 2023-08-27 09:56:30 +02:00
  • f74d74fe6e Merge pull request #1972 from rujialiu/32-bit-support Mark Thom 2023-08-25 10:51:15 -06:00
  • 77394ba914 Remove debug println!s Nicolas Luck 2023-08-24 19:15:41 +02:00
  • d13173942d Cargo feature "multi_thread" for thread-local ATOM_TABLE_BUF_BASE Nicolas Luck 2023-08-24 19:12:09 +02:00
  • afbadd9ea2 Revert "Enable multiple Machines per process by having ATOM_TABLE_BUF_BASE always be thread_local, not only in cfg(test) mode." Nicolas Luck 2023-08-24 18:13:55 +02:00
  • c25888288a Fix parsing of floats Nicolas Luck 2023-08-24 18:10:47 +02:00
  • 4fd059be5f 32-bit system support, addressing all (at most) 4GB addresses of RAM. Rujia Liu 2023-08-24 20:05:40 +08:00
  • bfb3164a0d Enable multiple Machines per process by having ATOM_TABLE_BUF_BASE always be thread_local, not only in cfg(test) mode. Nicolas Luck 2023-08-23 14:36:07 +02:00
  • 81712f4c82 Merge pull request #1973 from triska/clpz Mark Thom 2023-08-22 15:04:33 -06:00
  • 7e97f16f41 Fix list result parsing Nicolas Luck 2023-08-22 22:46:00 +02:00
  • 98086de77e attach more propagators before starting propagation Markus Triska 2023-08-21 21:52:28 +02:00
  • 24456e9703 remove optional (+)/1 prefix in get_atts/2 and put_atts/2 calls Markus Triska 2023-08-20 21:38:33 +02:00
  • 7f024f3b8d use pneq/2 Markus Triska 2023-08-15 21:50:15 +02:00
  • 67c1b171c7 enforce same queue in more constraints Markus Triska 2023-08-15 21:44:39 +02:00
  • 04fbb0c1ce append the entire queues instead of inserting each element individually Markus Triska 2023-08-15 21:43:19 +02:00
  • 327423ab84 adapt query to Scryer Prolog Markus Triska 2023-08-15 21:39:32 +02:00
  • 20cfffdff5 update answers Markus Triska 2023-08-15 21:38:56 +02:00
  • d8e126044f use can_be/2 Markus Triska 2023-08-15 21:36:59 +02:00
  • 61f975ea18 Merge pull request #1967 from rujialiu/optional-features Mark Thom 2023-08-21 11:42:03 -06:00
  • 25d4950216 Allow users to disable optional features. Needed for wasm32 support (see #615). Rujia Liu 2023-08-21 10:01:24 +08:00
  • 5aa1521819 Merge pull request #1968 from rujialiu/atom-64bit Mark Thom 2023-08-20 11:50:58 -06:00
  • dd030fa18b Merge pull request #1970 from triska/crrl Mark Thom 2023-08-20 11:24:37 -06:00
  • 013df58fea ENHANCED: more extensive type checking in curve25519_scalar_mult/3 Markus Triska 2023-08-20 14:42:34 +02:00
  • 745ddc2c87 switch to using crrl for scalar multiplication on Curve25519 Markus Triska 2023-08-20 13:40:30 +02:00
  • f6d3b2f896 Make Atom 64-bit regardless of architecture Rujia Liu 2023-08-20 19:43:13 +08:00
  • 7da321ab4f Merge pull request #1964 from triska/master Mark Thom 2023-08-17 15:18:25 -06:00
  • 92fdc7e380 use newly available double_quotes/1 write option in portray_clause_//1 Markus Triska 2023-08-17 23:05:21 +02:00
  • 2e811de0f5 Merge pull request #1963 from triska/master Mark Thom 2023-08-14 12:18:45 -06:00
  • f02cd0ad3c ENHANCED: domain error in zcompare/3 (#1723) Markus Triska 2023-08-14 17:54:18 +02:00
  • a36df33a67 Merge pull request #1961 from triska/succ Mark Thom 2023-08-12 14:35:21 -06:00
  • 4a6bf5fd5f reorder tests, per https://github.com/mthom/scryer-prolog/pull/1961#pullrequestreview-1574380588 Markus Triska 2023-08-11 23:41:54 +02:00
  • 26c0b4fc75 ADDED: succ/2, part of the Prologue for Prolog Markus Triska 2023-08-11 22:46:46 +02:00
  • ce1c8aac4c Fixed libffi dep Fayeed Pawaskar 2023-08-08 16:22:08 +05:30
  • 72ceceb7ae Updated hyper to 1.0.0-rc.4 Fayeed Pawaskar 2023-08-08 16:20:49 +05:30
  • cf63b588bc Ignore stress test because it fails on windows Nicolas Luck 2023-08-07 18:41:08 +02:00
  • 4e8f7f0a1b Remove unused toplevel predicate Nicolas Luck 2023-08-07 18:38:34 +02:00
  • 579816a04f Use new double_quotes write-option Nicolas Luck 2023-08-07 18:29:05 +02:00
  • cc04872933 Merge branch 'master' into library-use-case Nicolas Luck 2023-08-07 16:42:48 +02:00
  • fad363e64a shed CodeIndex for control predicates in disjuncts.rs (#1791) Mark 2023-08-06 01:26:01 -06:00
  • 094cf2ac5d retract discontiguous non-multifile predicates between consultations (#1202, #1058, #1585) Mark 2023-08-05 12:15:28 -06:00
  • cc82727d20 Merge pull request #1950 from triska/chars_si Mark Thom 2023-08-04 15:25:42 -06:00
  • 924750f826 ENHANCED: more efficient chars_si/1, using specialized predicates of Scryer Markus Triska 2023-08-04 21:18:00 +02:00
  • ffbf630b5c Merge pull request #1948 from triska/chars_si Mark Thom 2023-08-03 18:34:19 -06:00
  • 8073a4ba87 add character_si/1 and use it to correct chars_si/1 Markus Triska 2023-08-03 22:27:13 +02:00
  • 48a4835819 Merge branch 'master' into library-use-case Nicolas Luck 2023-08-03 20:16:32 +02:00
  • 3cf3c0ea99 Integration stress test showing Machine blocking on query Nicolas Luck 2023-08-03 19:51:12 +02:00
  • ac61055d43 Remove some unused code from lib_toplevel.pl Nicolas Luck 2023-08-03 17:41:20 +02:00
  • 65eb93793c dont spawn a runtime in machine; inherit from outside with runtime::handle::Current Joshua Parkin 2023-08-03 16:22:03 +01:00
  • ec450fc567 allocate negator results in arena (#1898) Mark 2023-08-02 19:50:27 -06:00
  • 2c05ebbded Merge pull request #1943 from triska/dead_skeleton Mark Thom 2023-08-02 16:32:27 -06:00
  • 0ddda0a864 FIXED: do not attach constraint if the propagator is already entailed and killed Markus Triska 2023-08-03 00:26:40 +02:00
  • 3ff02da314 Deactivate some debugging outputs Nicolas Luck 2023-08-02 16:25:53 +02:00
  • df048a4f42 Switch back to run_input_once and use duplicated write_eqs/2 without any input handling Nicolas Luck 2023-08-02 14:52:49 +02:00
  • 21c36880f1 Fix build Nicolas Luck 2023-08-02 14:51:41 +02:00
  • 02328d818c Merge pull request #1938 from triska/remove_auxiliary_constraints Mark Thom 2023-07-31 14:52:34 -06:00
  • 0f55ba7218 Merge pull request #1939 from triska/oncology_trial_design Mark Thom 2023-07-31 14:52:21 -06:00
  • 1c089a2bbb better wording, applying the feedback from @dcnorris. Thank you a lot! Markus Triska 2023-07-31 22:03:43 +02:00
  • 54a887cdc3 ENHANCED: forget auxiliary constraints set up by the propagator for multiplication Markus Triska 2023-07-31 21:57:25 +02:00
  • ca28c76e52 Merge pull request #1929 from Skgland/master Mark Thom 2023-07-29 10:52:36 -06:00
  • a70157003b fix spelling Bennet Bleßmann 2023-07-29 13:11:00 +02:00