rishi/scryer-prolog
1
0
Fork 0
Code Issues Pull Requests Actions 1 Packages Projects Releases Wiki Activity
3,294 Commits 2 Branches 18 Tags
770665a7b86066e831f4417ace81f4d2c44100f2
Commit Graph
100 Commits
This Branch
This Branch
All Branches
Author SHA1 Message Date
Mark Thom 770665a7b8 Merge pull request #2070 from triska/expansion_simpler 
FIXED: corrections to expansion_simpler/2
 2023-10-02 16:06:10 -06:00
Mark 27b971cbfa add registers to inlined instruction functors 2023-10-01 23:50:07 -06:00
Mark a1ceeb697a consider an '$aux' a relation of the unexpanded goal's variables in compile_inline_or_expanded_goal (#2062) 2023-10-01 23:49:55 -06:00
Mark 4a8aa0acbd throw instantiation_error from error/2 if Error_term uninstantiated (#2060) 2023-09-30 22:35:46 -06:00
Mark 6fa00b5b55 get rid of inference_limit_exceeded(B) as an error term (#2023) 2023-09-30 22:35:46 -06:00
Mark Thom c2218faf47 Merge pull request #2066 from bakaq/dif_tests 
Add tests for #2056
 2023-09-30 18:41:50 -06:00
Mark b065e1cd53 correct depth calculation for lists that are their own car (#1876) 2023-09-30 17:15:20 -06:00
Mark 7d6ce119f5 substitute names for cyclic variables permitted by max_depth > 0 in check_for_seen using a loop (#2057) 2023-09-30 16:47:13 -06:00
Mark 62c23166fa implement ListElisionPolicy to restore previous printer behavior 2023-09-30 16:00:15 -06:00
Mark 25afc11168 correct skipping of not fully visited lists in stackful heap iterator (#2056, #2063, #2065) 2023-09-30 15:24:30 -06:00
Mark 9e713406d3 correct max_depth marking for lists 2023-09-30 11:44:20 -06:00
Mark f33f641f11 further max_depth improvements 2023-09-29 12:07:12 -06:00
Mark ca2ddfeed0 improve max_depth write option (#1876, #2053) 2023-09-29 01:00:14 -06:00
Mark 11cd42379b do not deref AttrVar binding in redo_attr_var_binding (#2059) 2023-09-28 15:25:57 -06:00
Mark 40d3345cd5 revert throwing domain errors for unexpected forms of read-options (#2015) 2023-09-27 18:58:45 -06:00
Mark 035e214ef5 check for ChildCloseList in print_struct on [] (#2039) 2023-09-27 18:16:23 -06:00
Mark f630a8cc1a fix add_predicate_declaration bug not correctly identifying lists of predicate indicators (#2049, #2050, #2051, #2052) 2023-09-27 17:55:15 -06:00
Mark 0bfb08e464 remove debug symbols from release builds (#2054) 2023-09-27 13:53:33 -06:00
Mark Thom 5f6ae3857b Merge pull request #1998 from aarroyoc/warp-http-server 
Replace Hyper with Warp for HTTP server
 2023-09-27 13:35:46 -06:00
Mark 750544dd2a fix max_depth settings for partial strings on lists (#1876) 2023-09-27 13:34:24 -06:00
Mark Thom 841aaa78b4 Merge pull request #2048 from infogulch/master 
Build windows with msvc #1998; add ubuntu 22.04 target #2047
 2023-09-27 10:43:54 -06:00
Mark a6535c28ea remove module_resolution_error (#2035) 2023-09-26 14:06:21 -06:00
Mark 2efe95f2fb filter our builtins from current_predicate/1 (#153) 2023-09-26 13:46:21 -06:00
Mark 56992570d8 check for predicate_indicator list and sequence types in add_predicate_declaration (#1586) 2023-09-26 12:54:16 -06:00
Mark 39934208c3 throw instantiation_error when appropriate from parse_write_options_ (5.5.12 of the standard, #1965) 2023-09-26 12:08:51 -06:00
Mark 193bb313fd correct OutOfFiles resource error (#1375) 2023-09-26 11:22:56 -06:00
Mark e8334f9b67 add predicate indicator sequences to loader:add_predicate_declaration (#1586) 2023-09-26 11:21:47 -06:00
Mark 280ff8b5d0 throw an error instead of allowing builtin modules to be overwritten (#2042) 2023-09-25 19:21:34 -06:00
Mark 172bb9e96a Merge branch 'master' of ssh://github.com/mthom/scryer-prolog 2023-09-25 16:09:20 -06:00
Mark c04f1dea48 fix off-by-1 bug in '$skip_max_list'/4 (#2037) 2023-09-25 16:09:04 -06:00
Mark Thom 9114c982e0 Merge pull request #2032 from bakaq/phrase_from_stream 
Add phrase_from_stream/2 to library(pio)
 2023-09-25 12:04:33 -06:00
Mark Thom 75dcc3f276 Merge pull request #2040 from rujialiu/allow-cr 
Solves CRLF/CR issue by considering'\r' a `layout_char` #553 #2028
 2023-09-24 11:11:15 -06:00
Mark Thom 4be5fc6d43 Merge pull request #2038 from infogulch/patch-1 
Allow all matrix ci jobs to run to completion even if one fails
 2023-09-24 00:44:33 -06:00
Mark a5db117ef6 fix off-by-1 bug in ''/4 (#2037) 2023-09-23 18:32:32 -06:00
Mark 142e0c2c3a don't parse bracketed non-operators as functor terms (#2033) 2023-09-23 14:26:28 -06:00
Mark 1c8cd85f6c record compaction depth after reduce_op if '|' an operator (#1905) 2023-09-23 00:19:54 -06:00
Mark c547f67c54 add (now failing) test 317 to iso_conformity_tests.pl 2023-09-21 16:49:45 -06:00
Mark c26e9436b4 generalize multifile/dynamic/discontiguous declarations over lists of predicate indicators (#1586) 2023-09-21 16:22:41 -06:00
Mark b3239abea1 throw resource error if OpenOptions raises an error of uncategorized kind (#1375) 2023-09-21 14:36:53 -06:00
Mark Thom 81edd4592f Merge pull request #2027 from bakaq/dif 
Improvements to dif/2
 2023-09-21 11:32:38 -06:00
Mark Thom 7484433e2b Merge pull request #2026 from infogulch/master 
Simplify fn maybe
 2023-09-21 11:31:35 -06:00
Mark Thom 54a0313d72 Merge pull request #2025 from aarroyoc/random-seed 
Use a SeedableRng to generate random numbers
 2023-09-20 15:03:21 -06:00
Mark 9dc1c339ef remove unnecessary Result return type from read_term_from_heap 2023-09-15 14:10:42 -06:00
Mark Thom 6e0dd371a0 Merge pull request #2018 from triska/libffi 
use version from crates.io
 2023-09-13 15:05:31 -06:00
Mark Thom 3e14ef634f Merge pull request #2017 from cmpute/master 
Upgrade dashu and make the related code more idomatic.
 2023-09-13 10:41:34 -06:00
Mark 4077040d03 update syn crates 2023-09-12 14:52:42 -06:00
Mark de440a8c92 get rid of OssifiedOpDir, DBRef, simplify current_op/3 2023-09-11 15:36:15 -06:00
Mark Thom c75f74f681 Merge pull request #1993 from coasys/dashu-fixes 
Dashu fixes
 2023-09-11 11:33:16 -06:00
Mark Thom 46c78ad338 Merge pull request #2013 from gruhn/fix-docker-debian-bullseye 
fix Docker image
 2023-09-11 11:23:10 -06:00
Mark Thom 2ee131c52c Merge pull request #2010 from aarroyoc/update-website-0.9.2 
Update INDEX.dj
 2023-09-10 17:45:45 -06:00
Mark Thom fb658c4918 Merge pull request #2008 from triska/clpb_improvements 
Various CLP(B) improvements
 2023-09-09 00:40:30 -06:00
Mark Thom cbf18e5c3a Merge pull request #2006 from infogulch/wasm-ci 
Add wasm build steps
 2023-09-08 23:34:59 -06:00
Mark Thom 96bd0d267c Merge pull request #2007 from triska/rust_1_70 
update required Rust version
 2023-09-08 23:34:36 -06:00
Mark Thom 74440d503e Merge pull request #2004 from triska/generalize_description 
this holds for all architectures (also 32-bit systems)
 2023-09-08 16:11:06 -06:00
Mark Thom f4769de5c4 Merge pull request #2003 from triska/clpz_comment 
update comment
 2023-09-08 15:22:49 -06:00
Mark Thom 920e0c6b56 Merge pull request #1986 from rujialiu/wasm32-support 
Basic WebAssembly support with minimal Javascript API #615
 2023-09-08 11:15:51 -06:00
Mark a0b5a24853 check atom == ',' in ambiguity_check mirroring logic in print_op_addendum (#2000) 2023-09-05 14:56:26 -06:00
Mark fa11d6bdd4 remove error printing redundancy and inconsistent state resulting from file_load_cleanup (#1995) 2023-09-05 13:53:57 -06:00
Mark Thom a9aef2bc84 Merge pull request #1980 from Skgland/atomtable 
make AtomTable consurrency safe
 2023-09-05 12:32:20 -06:00
Mark Thom bf2b73706a Merge pull request #1997 from triska/countall 
Corrections to countall/2
 2023-09-05 12:04:52 -06:00
Mark 83ebce86b6 call_with_inference_limit/3 should fail if inference limit is exceeded and R term is not inference_limit_exceeded (#1977) 2023-09-05 11:51:06 -06:00
Mark 5585e83fd6 correct inference counting over index backtracking, built-ins (#1977, #1987) 2023-09-04 17:15:16 -06:00
Mark Thom 2ccc238119 Merge pull request #1991 from triska/discoverable_flags 
FIXED: make occurs_check and answer_write_options flags discoverable
 2023-09-03 18:39:24 -06:00
Mark Thom e693b7d33b Merge pull request #1990 from triska/clpb_max 
remove clpb_max/1 attribute for residual goal projection
 2023-09-03 18:39:12 -06:00
Mark Thom 99bd3d3b1a Merge pull request #1988 from triska/answer_write_options 
ADDED: New Prolog flag, answer_write_options.
 2023-09-03 11:36:40 -06:00
Mark Thom d8aed0ac4f Merge pull request #1989 from triska/mention_binaries 
mention precompiled binaries
 2023-09-03 11:36:07 -06:00
Mark 66f6399b8a refine is/2 compilation so errors are thrown when expected without needlessly allocating (#1974, #1984) 2023-08-29 16:42:23 -06:00
Mark 53a1be78cc don't compile is instruction if bound to anonymous variable (#1974) 2023-08-29 15:50:04 -06:00
Mark 78b35dc57d update Cargo.toml version numbers and bump version number
CI / build-test (macos-11, stable, bash, x86_64-apple-darwin) (push) Has been cancelled
Details
CI / build-test (true, ubuntu-20.04, stable, bash, x86_64-unknown-linux-gnu) (push) Has been cancelled
Details
CI / build-test (ubuntu-20.04, 1.65, bash, x86_64-unknown-linux-gnu) (push) Has been cancelled
Details
CI / build-test (ubuntu-20.04, beta, bash, x86_64-unknown-linux-gnu) (push) Has been cancelled
Details
CI / build-test (ubuntu-20.04, stable, bash, i686-unknown-linux-gnu) (push) Has been cancelled
Details
CI / build-test (windows-latest, stable, msys2 {0}, x86_64-pc-windows-gnu) (push) Has been cancelled
Details
CI / logtalk-test (push) Has been cancelled
Details
CI / release (push) Has been cancelled
Details
Docker Publish / build (push) Has been cancelled
Details
CI / build-test (ubuntu-20.04, nightly, bash, x86_64-unknown-linux-gnu) (push) Has been cancelled
Details
2023-08-28 13:23:56 -06:00
Mark Thom c65d1204af Merge pull request #1978 from aarroyoc/ci-32-bits 
32 bit CI for Linux
 2023-08-27 12:49:20 -06:00
Mark Thom 3bfed50d81 Merge pull request #1979 from triska/normalize_space 
ENHANCED: rudimentary implementation of normalize_space
 2023-08-27 12:48:48 -06:00
Mark Thom f74d74fe6e Merge pull request #1972 from rujialiu/32-bit-support 
32-bit system support #615 #1509 (WIP)
 2023-08-25 10:51:15 -06:00
Mark Thom 81712f4c82 Merge pull request #1973 from triska/clpz 
CLP(ℤ) improvements, notably related to queue handling
 2023-08-22 15:04:33 -06:00
Mark Thom 61f975ea18 Merge pull request #1967 from rujialiu/optional-features 
Allow users to disable optional features
 2023-08-21 11:42:03 -06:00
Mark Thom 5aa1521819 Merge pull request #1968 from rujialiu/atom-64bit 
Make Atom 64-bit regardless of architecture
 2023-08-20 11:50:58 -06:00
Mark Thom dd030fa18b Merge pull request #1970 from triska/crrl 
switch to using crrl for scalar multiplication on Curve25519
 2023-08-20 11:24:37 -06:00
Mark Thom 7da321ab4f Merge pull request #1964 from triska/master 
use newly available double_quotes/1 write option in portray_clause_//1
 2023-08-17 15:18:25 -06:00
Mark Thom 2e811de0f5 Merge pull request #1963 from triska/master 
ENHANCED: domain error in zcompare/3 (#1723)
 2023-08-14 12:18:45 -06:00
Mark Thom a36df33a67 Merge pull request #1961 from triska/succ 
ADDED: succ/2, part of the Prologue for Prolog
 2023-08-12 14:35:21 -06:00
Mark fad363e64a shed CodeIndex for control predicates in disjuncts.rs (#1791) 2023-08-06 01:26:01 -06:00
Mark 094cf2ac5d retract discontiguous non-multifile predicates between consultations (#1202, #1058, #1585) 2023-08-05 17:42:33 -06:00
Mark Thom cc82727d20 Merge pull request #1950 from triska/chars_si 
ENHANCED: more efficient chars_si/1, using specialized predicates of Scryer
 2023-08-04 15:25:42 -06:00
Mark Thom ffbf630b5c Merge pull request #1948 from triska/chars_si 
add character_si/1 and use it to correct chars_si/1
 2023-08-03 18:34:19 -06:00
Mark ec450fc567 allocate negator results in arena (#1898) 2023-08-02 19:50:36 -06:00
Mark Thom 2c05ebbded Merge pull request #1943 from triska/dead_skeleton 
FIXED: do not attach constraint if the propagator is already entailed and killed
 2023-08-02 16:32:27 -06:00
Mark Thom 02328d818c Merge pull request #1938 from triska/remove_auxiliary_constraints 
ENHANCED: forget auxiliary constraints set up by the propagator for multiplication
 2023-07-31 14:52:34 -06:00
Mark Thom 0f55ba7218 Merge pull request #1939 from triska/oncology_trial_design 
better wording, applying the feedback of @dcnorris. Thank you a lot!
 2023-07-31 14:52:21 -06:00
Mark Thom ca28c76e52 Merge pull request #1929 from Skgland/master 
detect and prevent concurrent AtomTable use
 2023-07-29 10:52:36 -06:00
Mark Thom 31d17f135a Merge pull request #1927 from triska/ascii_punctuation 
FIXED: correct handling of ascii_punctuation in char_type/2 (#1926)
 2023-07-27 14:51:01 -06:00
Mark bff48e7c7f simplify and correct prefix-bracket spacing in heap_print.rs (#1914, #1918) 2023-07-26 09:32:54 -06:00
Mark 3b67ffa814 overwrite code indices of dynamic_undefined predicates (dynamic, multifile, discontiguous) on export 2023-07-25 13:48:34 -06:00
Mark Thom 49b4e4cbcb Merge pull request #1907 from coasys/dashu 
Replace rug with dashu
 2023-07-25 11:35:10 -06:00
Mark 287c308bc3 track the parent operator of the current operator in heap_print to emit space if necessary (#1906) 2023-07-24 20:05:28 -06:00
Mark af44d91568 Merge branch 'dashu' of https://github.com/coasys/scryer-prolog into coasys-dashu 2023-07-24 11:47:57 -06:00
Mark 762e6d3ba4 pop both pending redirections in format_bar_separator_op when max depth exceeded (#1903) 2023-07-23 15:02:27 -06:00
Mark e9ae80e250 fix list abbreviation (#1901) 2023-07-23 14:43:13 -06:00
Mark fd7f24e265 remove EMIT_NEWLINE (#1900) 2023-07-22 21:42:40 -06:00
Mark 24450a8827 use ExitCode when halting so Drop is called, close terminal stream in rustyline Drop 2023-07-22 19:06:13 -06:00
Mark Thom 57e8ed65b0 Merge pull request #1050 from pmoura/add_float_integer_part_and_float_fractional_part_standard_functions 
WIP: Add float_integer_part/1 and float_fractional_part/1 standard arithmetic functions
 2023-07-22 13:48:16 -06:00
Mark 3f819e2dfd additional write fixes, use rustyline 12.0.0 (#1876, #1901) 2023-07-22 11:53:09 -06:00