 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 |
|
|
Mark Thom
|
8fe1c206d3
|
bump required rust version for use of newly introduced macros
|
2024-04-24 20:33:42 -06:00 |
|
|
Mark Thom
|
a6157a926d
|
improve use of unsafe Rust in arena.rs (#2391)
|
2024-04-24 20:28:06 -06:00 |
|
|
Mark Thom
|
9837187183
|
add nth_partial_strings_tests for bugs raised in #1827, #2381
|
2024-04-10 15:50:24 -06:00 |
|
|
Mark Thom
|
c2657cce37
|
use common test_framework module for several test suites
|
2024-04-10 15:47:31 -06:00 |
|
|
Mark Thom
|
7d6109feca
|
fix char_offset values in add_pstr_offset_chars (#2381)
|
2024-04-10 15:46:11 -06:00 |
|
|
Mark Thom
|
cf14b222f2
|
fix skip_max_list crash on bigint max_steps (#2382)
|
2024-04-09 18:57:53 -06:00 |
|
|
Mark Thom
|
238343f389
|
add max_steps to PStr offset (#2381)
|
2024-04-09 18:40:08 -06:00 |
|
|
Mark Thom
|
77e90ca725
|
correct offsets around max_steps in skip_max_list (#2381)
|
2024-04-09 15:58:23 -06:00 |
|
|
Mark Thom
|
f734c273ca
|
Merge pull request #2379 from aarroyoc/scryer-prolog-meetup-2024
website: add Scryer Prolog Meetup 2024 banner
|
2024-04-07 18:10:54 -06:00 |
|
|
Mark Thom
|
a2dd189241
|
add Scryer Prolog Meetup 2024 to README
|
2024-04-05 12:29:02 -06:00 |
|
|
Mark Thom
|
0ed4e41000
|
Merge pull request #2376 from mthom/dependabot/cargo/h2-0.3.26
Bump h2 from 0.3.24 to 0.3.26
|
2024-04-05 11:19:50 -06:00 |
|
|
Mark Thom
|
aab6567750
|
treat Utf8Error::valid_up_to as an offset form self.pos, which it is (#2374)
|
2024-04-03 15:29:29 -06:00 |
|
|
Mark Thom
|
ea9e24f214
|
Merge pull request #2367 from triska/dcg_meta_predicates
ADDED: meta_predicate/1 declarations for (',')//2 and (;)//2
|
2024-03-26 15:21:37 -06:00 |
|
|
Mark
|
40fc4f9392
|
correct offset retrieval in add_pstr_chars_and_step (#2370)
|
2024-03-25 12:47:45 -06:00 |
|
|
Mark Thom
|
2fdbb94c79
|
Merge pull request #2363 from triska/compile_format
ENHANCED: Partial evaluation of format_//2 and related constructs
|
2024-03-20 18:52:08 -06:00 |
|
|
Mark
|
0292cb73d3
|
expand_call_goals/3 should expand meta-predicate subgoals (#2361)
|
2024-03-19 17:12:26 -06:00 |
|
|
Mark Thom
|
7b33eafbb0
|
Merge pull request #2358 from triska/octet_documentation
Documentation improvements for encoding(octet) option in several predicates
|
2024-03-16 19:56:49 -06:00 |
|
|
Mark
|
6f7f979c05
|
don't skip to end of pstr in CommaSeparatedCharList token variant (#2356)
|
2024-03-12 18:37:03 -06:00 |
|
|
Mark Thom
|
ca8e280b4c
|
Merge pull request #2357 from aarroyoc/update-website-0.9.4
Website: link release v0.9.4
|
2024-03-12 16:46:31 -06:00 |
|
|
Mark
|
df41eb1870
|
recompile original terms from compile_clause for term to term expansions (#2236)
|
2024-03-01 18:57:01 -07:00 |
|
|
Mark Thom
|
90c602f867
|
Merge pull request #2354 from triska/side_channel
explain potential side-channel attacks due to compact string representation
|
2024-03-01 16:11:22 -07:00 |
|
|
Mark Thom
|
8b16a0e1f6
|
Merge pull request #2353 from triska/hmac_verification
ENHANCED: Safe HMAC verification, using constant time string comparison.
|
2024-03-01 12:09:16 -07:00 |
|
|
Mark Thom
|
e0c8163211
|
Merge pull request #2351 from infogulch/install-current-iai
Install version of iai-callgrind set in Cargo.toml
|
2024-02-29 17:09:47 -07:00 |
|