This website requires JavaScript.
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
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
Markus Triska