 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 |
|
|
Mark
|
42f4827854
|
make indexer downcast Integers to Fixnums when possible, be slightly more judicious about allocating Integers instead of Fixnums (#2340)
|
2024-02-29 16:15:28 -07:00 |
|
|
Mark
|
f2d3779fa9
|
add #2341 test to lib_machine.rs
|
2024-02-29 15:12:58 -07:00 |
|
|
Mark
|
b70f121e46
|
use scryer-modular-bitfield on github, version bump
CI / build-test (ubuntu-22.04, true, stable, x86_64-unknown-linux-gnu) (push) Has been cancelled
CI / build-test (windows-latest, true, stable, x86_64-pc-windows-msvc) (push) Has been cancelled
CI / logtalk-test (push) Has been cancelled
CI / style (push) Has been cancelled
CI / build-test (macos-11, true, stable, x86_64-apple-darwin) (push) Has been cancelled
CI / build-test (ubuntu-20.04, true, stable, x86_64-unknown-linux-gnu) (push) Has been cancelled
CI / build-test (ubuntu-22.04, 1.70, x86_64-unknown-linux-gnu) (push) Has been cancelled
CI / build-test (ubuntu-22.04, beta, x86_64-unknown-linux-gnu) (push) Has been cancelled
CI / build-test (ubuntu-22.04, nightly, x86_64-unknown-linux-gnu) (push) Has been cancelled
CI / build-test (ubuntu-22.04, true, stable, i686-unknown-linux-gnu) (push) Has been cancelled
CI / report (push) Has been cancelled
CI / release (push) Has been cancelled
Docker Publish / build (push) Has been cancelled
CI / build-test (--no-default-features, ubuntu-22.04, true, nightly, wasm32-unknown-unknown, --no-run --no-default-features) (push) Has been cancelled
|
2024-02-29 10:08:14 -07:00 |
|
|
Mark
|
641765858f
|
fix misuse of TypeError trait while fixing #2345
|
2024-02-28 20:47:36 -07:00 |
|
|
Mark
|
ba362e2fe0
|
issue callable type error from dynamic_module_resolution if module is not an atom (#2345)
|
2024-02-28 20:35:38 -07:00 |
|
|
Mark Thom
|
84d5ce0d1e
|
Merge pull request #2309 from coasys/library-use-case
Iron-out edge cases for library use-case, adding extensive real-world test assertions
|
2024-02-28 14:34:54 -07:00 |
|
|
Mark Thom
|
419623d158
|
Merge pull request #2342 from triska/curve_doc
DOC: Add DocLog comments for reasoning about elliptic curves.
|
2024-02-24 14:53:18 -07:00 |
|
|
Mark Thom
|
c7934ca246
|
Merge pull request #2338 from triska/hmac
ADDED: Hash-based message authentication code (HMAC), using hmac(Key).
|
2024-02-22 14:48:12 -07:00 |
|
|
Mark Thom
|
d4bde5008d
|
Merge pull request #2337 from triska/master
link to newly available paper on analysis of dose-escalation protocols
|
2024-02-18 10:05:09 -07:00 |
|
|
Mark Thom
|
70795134af
|
Merge pull request #2327 from triska/char_type
FIXED: char_type/2 for unbound first argument.
|
2024-02-11 17:33:07 -07:00 |
|
|
Mark ThomandBennet Bleßmann
|
b43f0979d9
|
Update src/machine/parsed_results.rs
Co-authored-by: Bennet Bleßmann <bennet.blessmann+github@googlemail.com>
|
2024-02-08 19:10:29 -07:00 |
|
|
Mark
|
539a1aee2c
|
fix tests broken by singleton
|
2024-02-07 21:46:32 -07:00 |
|
|
Mark Thom
|
8e323b9dfa
|
Merge pull request #2322 from triska/char_code
ENHANCED: Bi-directional char_code/2, addressing #2321.
|
2024-02-07 18:49:13 -07:00 |
|
|
Mark Thom
|
89d3451767
|
Merge pull request #2319 from triska/clpz_t
ADDED: clpz_t/2, generalizing support for use with library(reif)
|
2024-02-06 18:11:40 -07:00 |
|
|
Mark
|
614850ab1d
|
fmt
|
2024-02-05 18:34:57 -07:00 |
|
|
Mark Thom
|
140a15f9cb
|
Merge pull request #2317 from aarroyoc/all-modules-test
Add all_mdoules test and fix library(csv)
|
2024-02-04 15:09:13 -07:00 |
|
|
Mark
|
673329ddb7
|
fix reverted tests, ensure files are loaded before goals (#2315)
|
2024-02-03 11:49:26 -07:00 |
|
|
Mark
|
6a421dd8b0
|
fix broken tests
|
2024-02-02 17:04:47 -07:00 |
|
|
Mark
|
de6c460a51
|
treat consultation of command line modules as regular goals (#2314)
|
2024-02-02 15:35:00 -07:00 |
|
|
Mark
|
75a94fd0b3
|
fmt
|
2024-02-02 11:49:02 -07:00 |
|
|
Mark
|
7573c64087
|
load .scryerrc before files and goals (#1775, #2313)
|
2024-02-02 10:54:28 -07:00 |
|
|
Mark
|
cbb422f69d
|
record stub choice point as block
|
2024-02-01 09:26:58 -07:00 |
|
|
Mark
|
53028a9c2a
|
fix style errors
|
2024-01-31 17:32:32 -07:00 |
|
|
Mark
|
33fc2ed10c
|
index stub choice point correctly
|
2024-01-31 17:30:13 -07:00 |
|
|
Mark
|
7de693eb23
|
check for True or False Query Resolution unconditionally
|
2024-01-29 15:06:56 -07:00 |
|
|
Mark
|
6fe8f64835
|
scan registers of instructions leading to verify_attributes interrupt to find the number of registers to save (#2307)
|
2024-01-25 23:59:54 -07:00 |
|
|
Mark
|
6111f72b24
|
add non chunk traversing cut family instructions to is_head_instr (#2307)
|
2024-01-25 23:25:06 -07:00 |
|
|
Mark Thom
|
43041971b7
|
Merge pull request #2308 from triska/small_format_improvements
Small format improvements
|
2024-01-25 14:17:18 -07:00 |
|
|
Mark
|
bc616ca7d8
|
move call_residue_vars/2 from atts.pl to iso_ext.pl
|
2024-01-25 12:40:24 -07:00 |
|
|
Mark
|
99131131af
|
don't mark temp variables as safe through argument_to_value (#2307)
|
2024-01-25 12:34:21 -07:00 |
|
|
Mark Thom
|
44b945a5f3
|
Merge pull request #2306 from triska/dcg_representation
No longer use (->)//2 in library(clpb)
|
2024-01-23 15:22:17 -07:00 |
|
|
Mark Thom
|
3bff923331
|
Merge pull request #2305 from mthom/dependabot/cargo/h2-0.3.24
Bump h2 from 0.3.22 to 0.3.24
|
2024-01-23 13:50:17 -07:00 |
|
|
Mark Thom
|
ac07d2dfc8
|
Merge pull request #2303 from mthom/dependabot/cargo/shlex-1.3.0
Bump shlex from 1.2.0 to 1.3.0
|
2024-01-23 11:19:53 -07:00 |
|
|
Mark Thom
|
eab3bff78b
|
Merge pull request #2302 from triska/dcg_representation
Throw representation errors for unsupported DCG grammar control constructs
|
2024-01-22 00:26:23 -07:00 |
|
|
Mark Thom
|
58cd0d1669
|
Merge pull request #2301 from aarroyoc/docs-copy-term-3
Move copy_term/3 to library(iso_ext)
|
2024-01-19 10:18:59 -07:00 |
|
|
Mark Thom
|
6421fe10f8
|
Merge pull request #2300 from aarroyoc/fix-2298
Throw error in call_residue_vars/2
|
2024-01-19 10:15:35 -07:00 |
|
|
Mark
|
e3aa85e2a2
|
add better no op detection in char_reader.rs (#2297)
|
2024-01-16 21:50:53 -07:00 |
|
|
Mark
|
29ced36a79
|
add #2293 tests, advance continuable HeapPStrIters away from unpacked compounds (#2293)
|
2024-01-14 15:07:33 -07:00 |
|
|
Mark
|
f9a5c2d341
|
fix additional tests, make better use of existing code (#2293)
|
2024-01-13 12:01:54 -07:00 |
|
|
Mark
|
dde03718e1
|
fix additional tests (#2293)
|
2024-01-12 22:01:01 -07:00 |
|
|
Mark
|
60d34bea70
|
add missing CStr branch to unify_partial_string (#2293)
|
2024-01-12 13:58:46 -07:00 |
|
|
Mark Thom
|
6fb3b61441
|
Merge pull request #2276 from triska/hophrase
ADDED: Support for higher-order non-terminals phrase//[2,3]
|
2024-01-11 11:56:10 -07:00 |
|
|
Mark Thom
|
11ca168175
|
Merge pull request #2281 from bakaq/miri
Initial Miri support
|
2024-01-10 12:13:14 -07:00 |
|
|
Mark
|
72a566d2f8
|
fix cargo fmt --check
|
2024-01-08 18:12:31 -07:00 |
|
|
Mark Thom
|
b56ae28c45
|
Merge pull request #2280 from notoria/clpz
Special case for `(^)/2`
|
2024-01-08 17:39:18 -07:00 |
|
|
Mark
|
cd89d71e0c
|
check for PStr in eager stackful preorder iterator before adding tail of PStrOffset (#2272)
|
2024-01-08 17:36:41 -07:00 |
|
|
Mark Thom
|
f9eadc8e6a
|
Merge pull request #2278 from notoria/clpz
Small fixes for `CLP(ℤ)`
|
2024-01-07 18:59:38 -07:00 |
|
|
Mark Thom
|
7b8c8fdda7
|
Merge pull request #2277 from triska/master
Correct arithmetic disequalities accidentally broken in f5d9a67f36
|
2024-01-07 18:59:18 -07:00 |
|
|
Mark Thom
|
92b85d4ba6
|
Merge pull request #2264 from Skgland/fix-os-argv-1
Fix os:argv/1 in case the raw args contain multiple `--`
|
2024-01-06 15:52:53 -07:00 |
|
|
Mark Thom
|
ed92e1b4f4
|
Merge pull request #2275 from triska/master
Prevent assertion of clauses for (-->)/2 when DCGs are enabled.
|
2024-01-05 12:33:05 -07:00 |
|
|
Mark
|
d51defed06
|
fix cargo --fmt check error
|
2024-01-04 13:56:57 -07:00 |
|
|
Mark
|
851ea2c45b
|
add missing permission error in compile_assert (#2271)
|
2024-01-04 13:53:46 -07:00 |
|
|
Mark
|
ec97ee5d41
|
fix acceptance of invalid syntax, update iso_conformity_tests.pl (#2270)
|
2024-01-04 13:14:58 -07:00 |
|
|
Mark Thom
|
ff010678c3
|
Merge pull request #2269 from aarroyoc/fix-2267
Use reqwest async and use futures::executor
|
2024-01-03 15:40:48 -07:00 |
|