Markus Triska aa98a7e7d6 ADDED: clpz_t/2, generalizing support for use with library(reif) ...

This was suggested and contributed by @librarianmage in:

    https://github.com/mthom/scryer-prolog/issues/2225#issuecomment-1890801923

Many thanks!

If anyone can find a better predicate name, please let us know any time!

2024-02-06 19:05:29 +01:00

..

bin

Move argv/1 to library(os)

2024-01-02 13:16:11 +01:00

examples

don't read into the heap while incrementing self.s (#1233, #1245)

2022-01-25 20:37:29 -07:00

lib

ADDED: clpz_t/2, generalizing support for use with library(reif)

2024-02-06 19:05:29 +01:00

machine

fmt

2024-02-02 11:49:02 -07:00

parser

add better no op detection in char_reader.rs (#2297)

2024-01-16 21:50:53 -07:00

tests

move call_residue_vars/2 from atts.pl to iso_ext.pl

2024-01-25 12:40:24 -07:00

allocator.rs

fix use of copy_term/3 for attribute goals in toplevel (#888, #2057, #2217)

2023-12-13 12:27:59 -07:00

arena.rs

Make "cargo miri test" actually run

2024-01-09 04:38:53 -03:00

arithmetic.rs

Resolve lints and format

2023-11-04 02:16:54 -05:00

atom_table.rs

Make "cargo miri test" actually run

2024-01-09 04:38:53 -03:00

codegen.rs

fix cargo fmt --check

2024-01-02 10:08:00 -07:00

debray_allocator.rs

don't mark temp variables as safe through argument_to_value (#2307)

2024-01-25 12:34:21 -07:00

ffi.rs

Resolve lints and format

2023-11-04 02:16:54 -05:00

forms.rs

Add js_eval/2 for wasm32

2023-11-22 21:21:19 +01:00

heap_iter.rs

Merge pull request #2281 from bakaq/miri

2024-01-10 12:13:14 -07:00

heap_print.rs

Make "cargo miri test" actually run

2024-01-09 04:38:53 -03:00

http.rs

Resolve lints and format

2023-11-04 02:16:54 -05:00

indexing.rs

Resolve lints and format

2023-11-04 02:16:54 -05:00

iterators.rs

Resolve lints and format

2023-11-04 02:16:54 -05:00

lib.rs

Add js_eval/2 for wasm32

2023-11-22 21:21:19 +01:00

loader.pl

expand module names in transitive goals (#2255)

2024-01-02 11:34:38 -07:00

macros.rs

get rid of OssifiedOpDir, DBRef, simplify current_op/3

2023-09-11 15:36:15 -06:00

raw_block.rs

Make "cargo miri test" actually run

2024-01-09 04:38:53 -03:00

rcu.rs

fmt

2024-02-02 11:49:02 -07:00

read.rs

Emit warnings as Prolog comments

2023-12-30 17:39:20 -03:00

repl_helper.rs

remove locks from AtomTable

2023-09-05 19:39:59 +02:00

targets.rs

Resolve lints and format

2023-11-04 02:16:54 -05:00

toplevel.pl

fix reverted tests, ensure files are loaded before goals (#2315)

2024-02-03 11:49:26 -07:00

types.rs

Resolve lints and format

2023-11-04 02:16:54 -05:00

variable_records.rs

Resolve lints and format

2023-11-04 02:16:54 -05:00