 Mark Thom
|
8e01eea440
|
be more careful about concatenating '.' in parse_number_from_string (#2986)
|
2025-07-01 18:40:49 -07:00 |
|
|
Mark Thom
|
1cf5de8f5c
|
Merge pull request #2970 from notoria/clpz
Make `(mod)/2` stronger in CLP(Z)
|
2025-06-16 21:02:38 -07:00 |
|
|
Mark Thom
|
686f20db74
|
Merge pull request #2980 from triska/hophrase
use nonterminal indicators, correct meta_predicate/1 for higher-order phrase//N
|
2025-06-16 21:02:20 -07:00 |
|
|
Mark Thom
|
f49a0ae79b
|
Merge pull request #2965 from rotu/zygomorphic-puma
Remove obsolete compatibility for Rust<1.80
|
2025-05-27 22:18:47 -07:00 |
|
|
Mark Thom
|
8f514ce419
|
Merge pull request #2955 from rotu/radical-cockroach
Remove xor as a builtin infix operator
|
2025-05-19 22:47:41 -07:00 |
|
|
Mark Thom
|
c790bbfce9
|
Merge pull request #2956 from bakaq/update_arcu_libffi
Update dependencies and fix breaking changes in libffi-sys and arcu
|
2025-05-13 21:26:29 -07:00 |
|
|
Mark Thom
|
036c59e5fa
|
Merge pull request #2950 from triska/meetups
link to Scryer Prolog Meetup 2025 page and its announcement
|
2025-05-08 22:53:04 -07:00 |
|
|
Mark Thom
|
a42a88a2c9
|
Merge pull request #2802 from adri326/null-stream-safety
Fix UB when interacting with Stream::Null(_)
|
2025-05-01 17:35:30 -07:00 |
|
|
Mark Thom
|
9dab070c11
|
Merge pull request #2930 from triska/meetups
ADDED: Section about Scryer Prolog Meetups.
|
2025-04-30 18:51:43 -07:00 |
|
|
Mark Thom
|
90f4716cc3
|
Merge branch 'null-stream-safety' of https://github.com/adri326/scryer-prolog into adri326-null-stream-safety
|
2025-04-29 23:32:48 -07:00 |
|
|
Mark Thom
|
3a6289324e
|
Merge pull request #2901 from matteob8/patch-1
Update http_server.pl
|
2025-04-29 21:41:07 -07:00 |
|
|
Mark Thom
|
f496abbbef
|
use loader:strip_subst_module/4 in second module check of retract/1 (#2891, #2893)
|
2025-04-22 23:28:19 -07:00 |
|
|
Mark Thom
|
f1793744bc
|
Merge pull request #2905 from bakaq/bump-msrv
Bump MSRV and update flake.lock
|
2025-04-22 22:28:02 -07:00 |
|
|
Mark Thom
|
78fec46517
|
Merge pull request #2895 from hakujin/master
Update `libffi` and `libffi-sys` dependencies to fix aarch64 macOS build
|
2025-04-21 22:11:43 -07:00 |
|
|
Mark Thom
|
d18ef52e67
|
Merge pull request #2873 from constraintAutomaton/doc/update-readme-wasm-example
update of the WebAssembly example in README
|
2025-04-12 21:09:40 -07:00 |
|
|
Mark Thom
|
925921e9ab
|
Merge pull request #2879 from triska/ad4m
enumerate applications, add AD4M by @coasys
|
2025-04-12 21:09:20 -07:00 |
|
|
Mark Thom
|
2c8041250d
|
Merge pull request #2875 from constraintAutomaton/feature/wasm-result-iterator
Make `WasmQueryState` Iterable in JavaScript
|
2025-04-11 20:52:45 -07:00 |
|
|
Mark Thom
|
1b22c89211
|
mark cyclic lists with ellipses at the head (#2635)
|
2025-04-10 22:40:13 -07:00 |
|
|
Mark Thom
|
8558bd2214
|
Merge pull request #2874 from triska/read_from_chars_instantiated
generalize read_from_chars/2 and read_term_from_chars/3 to allow instantiated Term
|
2025-04-10 08:47:21 -07:00 |
|
|
Mark Thom
|
20525e5013
|
Merge pull request #2869 from triska/format_w
ENHANCED: format specifier ~w more faithfully emulates write/1
|
2025-04-06 15:31:59 -07:00 |
|
|
Mark Thom
|
ae27e78d80
|
Merge pull request #2861 from averms-forks/update-deps
Update and clean up dependencies.
|
2025-03-31 19:49:54 -07:00 |
|
|
Mark Thom
|
3826ef38cd
|
Merge pull request #2860 from averms-forks/push-spzqsznlnlnm
Use backticks when referencing predicate in docs.
|
2025-03-31 19:49:46 -07:00 |
|
|
Mark Thom
|
16187390cd
|
Merge pull request #2847 from triska/call_with_error_context
ADDED: type pair
|
2025-03-09 13:21:25 -07:00 |
|
|
Mark Thom
|
7ac84d3565
|
Merge pull request #2846 from triska/call_with_error_context
ADDED: call_with_error_context/2
|
2025-03-08 00:39:03 -08:00 |
|
|
Mark Thom
|
3799974b82
|
Merge pull request #2837 from notoria/next
Fix conversion from float to rational
|
2025-03-01 13:40:09 -08:00 |
|
|
Mark Thom
|
9da0a06afa
|
Merge pull request #2836 from triska/format_floats
Correct handling of floats in format/2 and portray_clause/1
|
2025-03-01 01:45:55 -08:00 |
|
|
Mark Thom
|
a0e3283d64
|
Merge pull request #2835 from thierrymarianne/fix-http_open-hanging-on-top-of-main-branch
Prevent http_open/3 from hanging
|
2025-02-27 21:38:58 -08:00 |
|
|
Mark Thom
|
c9a0f3332e
|
Merge pull request #2792 from triska/must_be_chars
FIXED: instantiation and type check for string arguments
|
2025-02-27 21:26:40 -08:00 |
|
|
Mark Thom
|
aeacccbe4c
|
Merge pull request #2825 from bakaq/wasm_rework
Wasm rework
|
2025-02-27 21:26:20 -08:00 |
|
|
Mark Thom
|
4fc4152eac
|
Merge pull request #2817 from adri326/fix-2815-run_module_predicate-backtrack
Fix backtracking on the topmost predicate triggering UB in run_module_predicate
|
2025-02-16 22:47:49 -08:00 |
|
|
Mark Thom
|
914318b14e
|
Merge pull request #2799 from bakaq/callback_streams
Callback streams for use as library
|
2025-02-16 22:47:34 -08:00 |
|
|
Mark Thom
|
d262159399
|
Merge pull request #2791 from Skgland/patch-1
Expand the build/install section of the readme
|
2025-02-12 23:25:21 -08:00 |
|
|
Mark Thom
|
c77ea48fbd
|
Merge pull request #2804 from dnmfarrell/line-count-off-by-one
Line numbers start at 1
|
2025-02-12 23:23:44 -08:00 |
|
|
Mark Thom
|
35c1880937
|
Merge pull request #2818 from adri326/stream-cleanup
Fix various issues around close/1 and stream realiasing
|
2025-02-12 23:23:11 -08:00 |
|
|
Mark Thom
|
e5cca9d10a
|
Merge pull request #2812 from bakaq/attr_vars_arity_fix
Fix bug in finding arity for verify attributes
|
2025-02-12 23:19:34 -08:00 |
|
|
Mark Thom
|
c548b14f50
|
Merge pull request #2798 from bakaq/clippy_warnings
Fix clippy warnings
|
2025-01-28 23:24:17 -07:00 |
|
|
Mark Thom
|
5a869e8b48
|
Merge pull request #2777 from adri326/fix-2772-rnd_i-clipping
Fix invalid casts in is/2
|
2025-01-26 23:14:57 -07:00 |
|
|
Mark Thom
|
28678e708b
|
Merge pull request #2738 from adri326/fix-2275-dcgs-call-module
Fix dcgs using call(M:Pred) when M was left unassigned
|
2025-01-26 23:14:30 -07:00 |
|
|
Mark Thom
|
f69c58c6b6
|
Merge pull request #2793 from Skgland/fix-ci
fix ci and update all used actions
|
2025-01-26 23:02:23 -07:00 |
|
|
Mark Thom
|
00e6e323f8
|
Merge pull request #2768 from robstolarz/RSTO-nix-macos-fix
fix: compile under Nix flake on macOS
|
2025-01-13 22:15:11 -07:00 |
|
|
Mark Thom
|
1ed4fe6555
|
Merge pull request #2756 from adri326/fix-load-context-unreachable
Fix load_context_module triggering unreachable!()
|
2025-01-11 21:27:32 -07:00 |
|
|
Mark Thom
|
2856cc4371
|
Merge pull request #2742 from triska/clpb
Revert "FIXED: CLP(B): Delay BDD restriction until after the instantiation"
|
2025-01-04 13:26:08 -07:00 |
|
|
Mark Thom
|
a683d3e363
|
Merge pull request #2728 from aarroyoc/lets-play-brisca
Add tutorial: Let's play Brisca
|
2025-01-04 13:24:35 -07:00 |
|
|
Mark Thom
|
2257503951
|
Merge pull request #2743 from triska/crypto
atom --> string
|
2025-01-04 13:23:59 -07:00 |
|
|
Mark Thom
|
531d482ba7
|
Merge pull request #2744 from triska/files
state when the predicates are true
|
2025-01-04 13:23:44 -07:00 |
|
|
Mark Thom
|
d57f871a12
|
Merge pull request #2681 from hurufu/remove-dcgs-that-have-failed-to-expand
Remove DCGs that have thrown an exception during term expansion
|
2024-12-25 14:29:38 -07:00 |
|
|
Mark Thom
|
afc7b74bbd
|
qualify module quantification errors better (#2685)
|
2024-12-25 12:25:01 -08:00 |
|
|
Mark Thom
|
d287095e61
|
style corrections
|
2024-12-25 12:25:01 -08:00 |
|
|
Mark Thom
|
b7943837a0
|
Merge pull request #2714 from triska/graphic_token
prevent accidental amalgamation of graphic token chars in output
|
2024-12-20 18:42:09 -07:00 |
|
|
Mark Thom
|
e01a4cdc85
|
Merge pull request #2717 from jasagredo/js/small-doc
Ensure max_assoc/3 is shown as documented
|
2024-12-20 18:41:51 -07:00 |
|
|
Mark Thom
|
555dff5bad
|
leave variable modules uninstantiated (#2685)
|
2024-12-19 20:20:29 -08:00 |
|
|
Mark Thom
|
7e22c12a8d
|
Merge pull request #2582 from bakaq/rework_library_interface
Rework library interface
|
2024-12-13 21:46:43 -07:00 |
|
|
Mark Thom
|
b5030be34f
|
Merge pull request #2691 from aarroyoc/remove-meetup-2024
Remove Scryer Prolog Meetup 2024 announcements
|
2024-12-13 21:39:38 -07:00 |
|
|
Mark Thom
|
c59f54252c
|
Merge pull request #2683 from ffortier/master
Support hermetic build environment
|
2024-12-13 21:39:12 -07:00 |
|
|
Mark Thom
|
a9a77779e3
|
Merge pull request #2689 from triska/weighted_maybe
introduce and use weighted_maybe/2
|
2024-12-13 21:38:47 -07:00 |
|
|
Mark Thom
|
5f035ec6ad
|
Merge pull request #2690 from notoria/next
Add '$random_integer'/3
|
2024-12-13 21:38:32 -07:00 |
|
|
Mark Thom
|
9eef380764
|
Merge pull request #2696 from jasonhemann/patch-3
s/performance characters/performance characteristics/
|
2024-12-13 21:37:56 -07:00 |
|
|
Mark Thom
|
ce6a0a1541
|
Merge pull request #2698 from jasonhemann/patch-5
Documentation for read/2
|
2024-12-13 20:02:50 -07:00 |
|
|
Mark Thom
|
b919a39b96
|
Merge pull request #2703 from jasonhemann/patch-6
s/avaibale/available/
|
2024-12-13 20:02:21 -07:00 |
|
|
Mark Thom
|
84fc639f31
|
Merge pull request #2697 from jasonhemann/patch-4
"bound to an atom"
|
2024-12-13 19:57:21 -07:00 |
|
|
Mark Thom
|
dba9c9a0a7
|
instantiate module resolutions for meta-predicate lookups when expanding calls (#2255, #2619, #2684)
|
2024-12-06 23:30:36 -08:00 |
|
|
Mark Thom
|
ea02b54e7f
|
Merge pull request #2677 from jasagredo/js/get-single-char-windows
Ignore `KeyEventKind::Release` events when reading a char
|
2024-12-05 20:25:25 -07:00 |
|
|
Mark Thom
|
0427d9ef11
|
Merge pull request #2679 from jasonhemann/patch-2
s/red/read/ typo in documentation.
|
2024-12-05 20:24:56 -07:00 |
|
|
Mark Thom
|
ff03432624
|
admit YF in current_op/3 (#2639)
|
2024-11-14 22:41:43 -07:00 |
|
|
Mark Thom
|
7fd409140c
|
Merge pull request #2652 from gruhn/patch-1
update Docker install instructions
|
2024-11-15 05:51:03 +01:00 |
|
|
Mark Thom
|
9f6bbe949c
|
Merge pull request #2653 from srenatus/sr/issue-2650
toplevel.pl: fix arity mismatch in read_input/2
|
2024-11-15 05:50:51 +01:00 |
|
|
Mark Thom
|
e8ef9bc33a
|
Merge pull request #2647 from panasenco/master
Updated Dockerfile
|
2024-10-29 13:15:08 -06:00 |
|
|
Mark Thom
|
c39ea4818a
|
Merge pull request #2527 from bakaq/leaf_answers_callbacks
Toplevel reimplementation with leaf answer callbacks
|
2024-10-13 12:13:08 -06:00 |
|
|
Mark Thom
|
9785a04b3a
|
Merge pull request #2596 from Skgland/issue-2588
fix issue #2588
|
2024-10-05 22:12:45 -06:00 |
|
|
Mark Thom
|
2f47343cb5
|
Merge pull request #2581 from bakaq/fix_hostname_feature
Fix not compiling without hostname feature
|
2024-09-29 21:09:22 -06:00 |
|
|
Mark Thom
|
0552530b41
|
Merge pull request #2573 from srenatus/sr/readme-link-to-latest-releases
README: link to latest release
|
2024-09-26 10:50:51 -06:00 |
|
|
Mark Thom
|
383eb5bdd9
|
Merge pull request #2523 from bakaq/visibility
Be conservative with visibility
|
2024-09-24 23:16:44 -06:00 |
|
|
Mark Thom
|
3fa6b69a79
|
Merge pull request #2533 from hurufu/fix-warnings
Assorted small fixes
|
2024-09-18 18:39:54 -06:00 |
|
|
Mark Thom
|
0bc3d67298
|
Merge pull request #2534 from hurufu/document_non_counted_backtracking
Document non counted backtracking
|
2024-09-16 17:41:53 -06:00 |
|
|
Mark Thom
|
a898d7a667
|
Merge pull request #2558 from bakaq/error_to_doclog
Convert library(error) docs to Doclog format
|
2024-09-16 17:41:18 -06:00 |
|
|
Mark Thom
|
12a61cdff8
|
Merge pull request #2491 from coasys/reqwest-version-relax
Relax version constraint on reqwest dependency
|
2024-08-29 12:22:46 -06:00 |
|
|
Mark Thom
|
5c39e2a5a1
|
Merge pull request #2475 from bakaq/value_heap_walk
Value heap walk in lib_machine
|
2024-08-19 16:33:13 -06:00 |
|
|
Mark Thom
|
264e3e9dd6
|
Merge pull request #2474 from Skgland/fix-looping-memory-allocation
Fix looping memory allocation
|
2024-08-17 20:58:03 -06:00 |
|
|
Mark Thom
|
3f25ee3749
|
Merge pull request #2495 from Skgland/fix2467
fix looping from issue #2467
|
2024-08-17 20:56:23 -06:00 |
|
|
Mark Thom
|
bacfed8983
|
Merge pull request #2472 from bakaq/query_iterator
Add run_query_iter()
|
2024-08-14 20:26:03 -06:00 |
|
|
Mark Thom
|
e77c97e0d1
|
Merge pull request #2482 from bakaq/flake
Add flake.nix
|
2024-08-14 06:36:16 -06:00 |
|
|
Mark Thom
|
48f3a7b87e
|
Merge pull request #2485 from aarroyoc/learn-pages-docs
Upgrade docs to DocLog 2.0. Includes a test learning page
|
2024-08-14 06:35:58 -06:00 |
|
|
Mark Thom
|
7cfe8ee55c
|
Merge pull request #2463 from Skgland/split-up-inconsitent-entry-error
Split up inconsistent entry error
|
2024-08-05 14:25:33 -06:00 |
|
|
Mark Thom
|
2814d79b56
|
Merge pull request #2466 from Skgland/upgrade-deps
Upgrade dependencies
|
2024-08-05 12:59:42 -06:00 |
|
|
Mark Thom
|
4ce4cd1bc1
|
Merge pull request #2462 from Skgland/fix-segfault
fix segfault by dropping loader state payload after resetting machine
|
2024-08-03 14:05:13 -06:00 |
|
|
Mark Thom
|
5038b716eb
|
Merge pull request #2457 from Skgland/library
simplify generated libraries map by using `include_str!`
|
2024-07-26 11:29:12 -06:00 |
|
|
Mark Thom
|
eaa95293e4
|
Merge pull request #2439 from Skgland/miri
Some cleanup and miri fixes
|
2024-07-22 13:40:57 -06:00 |
|
|
Mark Thom
|
8ac663d703
|
Merge pull request #2442 from aarroyoc/fix-http-at-end-of-stream
Fix at_end_of_stream/1 for http read stream
|
2024-07-07 16:02:51 -06:00 |
|
|
Mark Thom
|
902712695c
|
Merge pull request #2440 from triska/statistics
ADDED: Preliminary support for statistics/2.
|
2024-07-07 15:59:44 -06:00 |
|
|
Mark Thom
|
5f30c9599a
|
Merge pull request #2436 from triska/arxivlink
link to newly available paper about Grants4Companies
|
2024-07-04 16:30:00 -06:00 |
|
|
Mark Thom
|
d6ac03552d
|
Merge pull request #2417 from aarroyoc/fix-2416
Manage Float and Double FFI types in structs
|
2024-06-06 22:33:46 -06:00 |
|
|
Mark Thom
|
2d18e0d719
|
Merge pull request #2413 from Skgland/master
re-add CI job to test Cargo.toml rust-version
|
2024-05-29 12:28:25 -06:00 |
|
|
Mark Thom
|
96720457d0
|
Merge pull request #2410 from aarroyoc/fix-warn-dead-code-elimination
Fix warnings of dead code
|
2024-05-27 12:07:27 -06:00 |
|
|
Mark Thom
|
070f1e8dfa
|
more generally consider NEGATIVE_SIGN a non-op term (#2401)
|
2024-05-13 14:37:44 -06:00 |
|
|
Mark Thom
|
42a0d686a5
|
Merge pull request #2393 from mthom/unsafe_improvements
Improve use of unsafe Rust in arena.rs (#2391)
|
2024-04-29 16:17:14 -06:00 |
|
|
Mark Thom
|
79bc2d9c68
|
remove 1.70 version CI job
|
2024-04-29 15:40:05 -06:00 |
|
|
Mark Thom
|
f3eea6302d
|
delay instantiation errors on lists in phrase/3 until runtime (#1665, #2396)
|
2024-04-29 15:28:17 -06:00 |
|
|
Mark Thom
|
bcfa0219e2
|
detect External indices more generally in internalize_constant (#2395)
|
2024-04-29 14:23:14 -06:00 |
|
|
Mark Thom
|
5e1effc69a
|
fix failing clippy checks, remove unnecessary code
|
2024-04-25 20:05:22 -06:00 |
|
|
Mark Thom
|
be23c74b17
|
fix wasm tests in unsafe_improvements branch
|
2024-04-24 21:21:25 -06:00 |
|