This website requires JavaScript.
25afc11168
correct skipping of not fully visited lists in stackful heap iterator (#2056 , #2063 , #2065 )
Mark
2023-09-30 15:24:30 -06:00
9e713406d3
correct max_depth marking for lists
Mark
2023-09-30 11:44:20 -06:00
f33f641f11
further max_depth improvements
Mark
2023-09-29 11:48:05 -06:00
ca2ddfeed0
improve max_depth write option (#1876 , #2053 )
Mark
2023-09-29 01:00:14 -06:00
11cd42379b
do not deref AttrVar binding in redo_attr_var_binding (#2059 )
Mark
2023-09-28 15:25:57 -06:00
40d3345cd5
revert throwing domain errors for unexpected forms of read-options (#2015 )
Mark
2023-09-27 18:58:45 -06:00
035e214ef5
check for ChildCloseList in print_struct on [] (#2039 )
Mark
2023-09-27 18:16:23 -06:00
f630a8cc1a
fix add_predicate_declaration bug not correctly identifying lists of predicate indicators (#2049 , #2050 , #2051 , #2052 )
Mark
2023-09-27 17:55:15 -06:00
0bfb08e464
remove debug symbols from release builds (#2054 )
Mark
2023-09-27 13:53:33 -06:00
5f6ae3857b
Merge pull request #1998 from aarroyoc/warp-http-server
Mark Thom
2023-09-27 13:35:46 -06:00
750544dd2a
fix max_depth settings for partial strings on lists (#1876 )
Mark
2023-09-27 13:34:11 -06:00
660860bccf
Replace Hyper with Warp for HTTP server
Adrián Arroyo Calle
2023-09-05 20:40:58 +02:00
841aaa78b4
Merge pull request #2048 from infogulch/master
Mark Thom
2023-09-27 10:43:54 -06:00
93f46a4142
Tidy ci.yaml
infogulch
2023-09-27 02:58:48 -05:00
a86db1bde8
Build windows with msvc
infogulch
2023-09-27 02:57:02 -05:00
4163437d5a
Add ubuntu 22.04
infogulch
2023-09-27 00:31:08 -05:00
a6535c28ea
remove module_resolution_error (#2035 )
Mark
2023-09-26 14:06:21 -06:00
2efe95f2fb
filter our builtins from current_predicate/1 (#153 )
Mark
2023-09-26 13:46:21 -06:00
56992570d8
check for predicate_indicator list and sequence types in add_predicate_declaration (#1586 )
Mark
2023-09-26 12:54:16 -06:00
39934208c3
throw instantiation_error when appropriate from parse_write_options_ (5.5.12 of the standard, #1965 )
Mark
2023-09-26 12:08:51 -06:00
193bb313fd
correct OutOfFiles resource error (#1375 )
Mark
2023-09-26 11:22:56 -06:00
e8334f9b67
add predicate indicator sequences to loader:add_predicate_declaration (#1586 )
Mark
2023-09-26 11:21:47 -06:00
280ff8b5d0
throw an error instead of allowing builtin modules to be overwritten (#2042 )
Mark
2023-09-25 19:20:11 -06:00
172bb9e96a
Merge branch 'master' of ssh://github.com/mthom/scryer-prolog
Mark
2023-09-25 16:09:20 -06:00
c04f1dea48
fix off-by-1 bug in '$skip_max_list'/4 (#2037 )
Mark
2023-09-23 18:32:32 -06:00
9114c982e0
Merge pull request #2032 from bakaq/phrase_from_stream
Mark Thom
2023-09-25 12:04:33 -06:00
f644a76281
Remove reposition option from phrase_from_file/2
bakaq
2023-09-25 02:18:05 -03:00
63bb993c02
Inline string_get_n_chars_/3
bakaq
2023-09-24 19:29:51 -03:00
c50291cec8
Better string_get_n_chars_/3
bakaq
2023-09-24 19:21:03 -03:00
2fe79b5fc3
Fixed bug with '$skip_max_list'/4
bakaq
2023-09-24 15:07:39 -03:00
b4fab5a806
Use '$skip_max_list'/4 in string_get_n_chars/4
bakaq
2023-09-23 01:43:45 -03:00
35d0042be1
Add phrase_from_stream/2 to library(pio)
bakaq
2023-09-21 21:06:02 -03:00
75dcc3f276
Merge pull request #2040 from rujialiu/allow-cr
Mark Thom
2023-09-24 11:11:15 -06:00
9c43974747
Solves CRLF/CR issue by considering'\r' a layout_char #553 #2028
Rujia Liu
2023-09-24 19:10:40 +08:00
4be5fc6d43
Merge pull request #2038 from infogulch/patch-1
Mark Thom
2023-09-24 00:44:33 -06:00
f03336b3a2
Allow all jobs to run to completion even if one fails
Joe Taber
2023-09-23 21:43:51 -05:00
a5db117ef6
fix off-by-1 bug in ''/4 (#2037 )
Mark
2023-09-23 18:32:32 -06:00
142e0c2c3a
don't parse bracketed non-operators as functor terms (#2033 )
Mark
2023-09-23 14:26:28 -06:00
1c8cd85f6c
record compaction depth after reduce_op if '|' an operator (#1905 )
Mark
2023-09-23 00:19:54 -06:00
c547f67c54
add (now failing) test 317 to iso_conformity_tests.pl
Mark
2023-09-21 16:49:45 -06:00
c26e9436b4
generalize multifile/dynamic/discontiguous declarations over lists of predicate indicators (#1586 )
Mark
2023-09-21 16:22:41 -06:00
b3239abea1
throw resource error if OpenOptions raises an error of uncategorized kind (#1375 )
Mark
2023-09-21 14:36:53 -06:00
81edd4592f
Merge pull request #2027 from bakaq/dif
Mark Thom
2023-09-21 11:32:38 -06:00
7484433e2b
Merge pull request #2026 from infogulch/master
Mark Thom
2023-09-21 11:31:35 -06:00
cb79e83510
Avoid dif/1 attribute with empty list
bakaq
2023-09-21 14:00:37 -03:00
cac52c0537
Run dif tests on cargo test
bakaq
2023-09-21 12:14:27 -03:00
f5c23fbb16
Tests for dif/2
bakaq
2023-09-20 20:56:25 -03:00
a64a765f32
Improved dif/2
bakaq
2023-09-20 20:56:04 -03:00
eecfeb2d03
Simplify maybe
infogulch
2023-09-20 16:38:58 -05:00
54a0313d72
Merge pull request #2025 from aarroyoc/random-seed
Mark Thom
2023-09-20 15:03:21 -06:00
7cf6e77f4d
Use a SeedableRng to generate random numbers
Adrián Arroyo Calle
2023-09-20 21:54:14 +02:00
4968fa0024
Remove debugging println!
Nicolas Luck
2023-09-18 19:31:56 +02:00
5e55625733
Remove some debug println!s
Nicolas Luck
2023-09-18 19:12:50 +02:00
65f64e428e
Construct and return exception string
Nicolas Luck
2023-09-18 13:25:27 +02:00
d2f5291412
mthom's changes fixing the panic
Nicolas Luck
2023-09-18 13:01:27 +02:00
9dc1c339ef
remove unnecessary Result return type from read_term_from_heap
Mark
2023-09-15 14:10:42 -06:00
c86304b18e
Remove lib_toplevel.pl
Nicolas Luck
2023-09-15 11:01:16 +02:00
7c83a1fb8e
Cleanup code that's not needed anymore
Nicolas Luck
2023-09-15 10:48:41 +02:00
f02728aab3
Construct QueryResult from printer output
Nicolas Luck
2023-09-15 10:44:59 +02:00
48283c4dbc
mthom's changes to run_query with backtracking
Nicolas Luck
2023-09-15 10:04:11 +02:00
6bdd7f3a3f
mthom's revised run_query with manually created printer and some cleanup
Nicolas Luck
2023-09-14 22:00:50 +02:00
6e0dd371a0
Merge pull request #2018 from triska/libffi
Mark Thom
2023-09-13 15:05:31 -06:00
5b1df8c4b3
use version from crates.io
Markus Triska
2023-09-13 20:45:38 +02:00
5fa68e253c
lib_machine tests should not be tokio/async
Nicolas Luck
2023-09-13 19:51:57 +02:00
3e14ef634f
Merge pull request #2017 from cmpute/master
Mark Thom
2023-09-13 10:41:34 -06:00
adb5fcf708
Upgrade dashu and some changes
Jacob
2023-09-13 12:29:12 -04:00
136463c92e
Merge branch 'master' into library-use-case
Nicolas Luck
2023-09-13 18:13:14 +02:00
ef56193c44
Use write_term_to_heap as suggest, clean up, and include error in comment
Nicolas Luck
2023-09-13 17:17:02 +02:00
4077040d03
update syn crates
Mark
2023-09-12 14:52:42 -06:00
de440a8c92
get rid of OssifiedOpDir, DBRef, simplify current_op/3
Mark
2023-09-11 15:36:15 -06:00
c75f74f681
Merge pull request #1993 from coasys/dashu-fixes
Mark Thom
2023-09-11 11:33:16 -06:00
46c78ad338
Merge pull request #2013 from gruhn/fix-docker-debian-bullseye
Mark Thom
2023-09-11 11:23:10 -06:00
2b7a8875c0
fix Docker image
Niklas Gruhn
2023-09-11 01:40:05 +02:00
2ee131c52c
Merge pull request #2010 from aarroyoc/update-website-0.9.2
Mark Thom
2023-09-10 17:45:45 -06:00
f3901cd8b8
Update website to mention 0.9.2 and playground
Adrián Arroyo Calle
2023-09-10 23:12:10 +02:00
7f0536b51d
Merge branch 'master' into dashu-fixes
Fayeed Pawaskar
2023-09-10 21:51:02 +05:30
af76659830
Removed value method and use deref to get type
Fayeed Pawaskar
2023-09-10 21:40:22 +05:30
fb658c4918
Merge pull request #2008 from triska/clpb_improvements
Mark Thom
2023-09-09 00:40:30 -06:00
85cc4a80d0
remove code that is not needed in Scryer Prolog
Markus Triska
2023-09-09 07:23:34 +02:00
6fe85c5779
remove more attributes so that they do not appear in residual goals
Markus Triska
2023-09-08 23:19:10 +02:00
b38a56e7d3
move compatibility predicates and meta_predicate/1 declarations so that they are correctly taken into account
Markus Triska
2023-09-08 23:12:33 +02:00
cbf18e5c3a
Merge pull request #2006 from infogulch/wasm-ci
Mark Thom
2023-09-08 23:34:59 -06:00
96bd0d267c
Merge pull request #2007 from triska/rust_1_70
Mark Thom
2023-09-08 23:34:36 -06:00
ec67752db4
shorter partition/5, relying on first instantiated argument indexing
Markus Triska
2023-09-08 22:47:59 +02:00
ad4c17fbb6
add meta_predicate/1 declaration for include/3 and exclude/3
Markus Triska
2023-09-08 22:41:49 +02:00
672979c515
shorter include/3 and exclude/3, relying on improved indexing
Markus Triska
2023-09-08 22:40:50 +02:00
efcc2b81cd
add licensing information, addressing part of #1798
Markus Triska
2023-09-08 22:37:18 +02:00
640f29fe0f
update required Rust version
Markus Triska
2023-09-09 07:30:23 +02:00
13a0085408
Add wasm build steps
Joe Taber
2023-09-08 19:25:36 -05:00
74440d503e
Merge pull request #2004 from triska/generalize_description
Mark Thom
2023-09-08 16:11:06 -06:00
f4769de5c4
Merge pull request #2003 from triska/clpz_comment
Mark Thom
2023-09-08 15:22:49 -06:00
b843b76b7a
this holds for all architectures (also 32-bit systems)
Markus Triska
2023-09-08 23:22:36 +02:00
182afe3b7d
update comment
Markus Triska
2023-09-08 22:33:55 +02:00
920e0c6b56
Merge pull request #1986 from rujialiu/wasm32-support
Mark Thom
2023-09-08 11:15:51 -06:00
b6ce6b7cdb
Basic WebAssembly support with minimal Javascript API #615 . Currently 6/12 crypto functions supported. Tested in browser with all default features disabled.
Rujia Liu
2023-09-08 17:27:22 +08:00
a0b5a24853
check atom == ',' in ambiguity_check mirroring logic in print_op_addendum (#2000 )
Mark
2023-09-05 14:56:26 -06:00
fa11d6bdd4
remove error printing redundancy and inconsistent state resulting from file_load_cleanup (#1995 )
Mark
2023-09-05 13:52:18 -06:00
a9aef2bc84
Merge pull request #1980 from Skgland/atomtable
Mark Thom
2023-09-05 12:32:20 -06:00
bf2b73706a
Merge pull request #1997 from triska/countall
Mark Thom
2023-09-05 12:04:52 -06:00
83ebce86b6
call_with_inference_limit/3 should fail if inference limit is exceeded and R term is not inference_limit_exceeded (#1977 )
Mark
2023-09-05 11:51:06 -06:00
Mark