Fayeed Pawaskar 72ceceb7ae Updated hyper to 1.0.0-rc.4

2023-08-08 16:20:49 +05:30

..

bin

Merge branch 'master' into library-use-case

2023-08-03 20:16:32 +02:00

examples

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

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

lib

ENHANCED: more efficient chars_si/1, using specialized predicates of Scryer

2023-08-04 21:18:37 +02:00

machine

Updated hyper to 1.0.0-rc.4

2023-08-08 16:20:49 +05:30

parser

shed CodeIndex for control predicates in disjuncts.rs (#1791)

2023-08-06 01:26:01 -06:00

tests

fix tests, use '$first_answer' to print indentation before errors (#1408)

2022-04-09 20:32:52 -06:00

allocator.rs

implement new disjunction compilation

2023-06-23 14:11:31 -06:00

arena.rs

allocate negator results in arena (#1898)

2023-08-02 19:50:36 -06:00

arithmetic.rs

Merge branch 'dashu' of https://github.com/coasys/scryer-prolog into coasys-dashu

2023-07-24 11:47:57 -06:00

atom_table.rs

fix spelling

2023-07-29 13:11:00 +02:00

codegen.rs

use lookahead to skip inapplicable clauses (#1028, #1502)

2023-07-12 14:39:02 -06:00

debray_allocator.rs

fix branch subsumption bug (#1840, #1841)

2023-06-24 10:59:29 -06:00

ffi.rs

Fill more cases

2023-03-01 22:13:04 +01:00

forms.rs

Merge branch 'dashu' of https://github.com/coasys/scryer-prolog into coasys-dashu

2023-07-24 11:47:57 -06:00

heap_iter.rs

improve ground/1 performance (#1389)

2023-07-12 18:11:56 -06:00

heap_print.rs

simplify and correct prefix-bracket spacing in heap_print.rs (#1914, #1918)

2023-07-26 09:32:54 -06:00

http.rs

Updated hyper to 1.0.0-rc.4

2023-08-08 16:20:49 +05:30

indexing.rs

treat functors with PI '.'/2 as lists (#1570)

2022-10-26 23:36:07 -06:00

iterators.rs

implement new disjunction compilation

2023-06-23 14:11:31 -06:00

lib_toplevel.pl

Remove unused toplevel predicate

2023-08-07 18:38:34 +02:00

lib.rs

Merge branch 'master' into library-use-case

2023-08-03 20:16:32 +02:00

loader.pl

Merge branch 'master' into library-use-case

2023-08-03 20:16:32 +02:00

macros.rs

fix group_by_variants/4 and keysort in setof/3 (#1440, #1856)

2023-07-14 18:52:29 -06:00

raw_block.rs

track f64 offsets in Literal (#1190)

2022-05-04 21:54:46 -06:00

read.rs

remove EMIT_NEWLINE (#1900)

2023-07-22 21:42:40 -06:00

repl_helper.rs

wip: add more atoms to completion list

2022-05-11 21:37:03 +01:00

targets.rs

use lookahead to skip inapplicable clauses (#1028, #1502)

2023-07-12 14:39:02 -06:00

toplevel.pl

Merge branch 'master' into library-use-case

2023-08-03 20:16:32 +02:00

types.rs

Revert "Allow comparisons with stream terms"

2023-07-12 11:44:45 -06:00

variable_records.rs

fix branch subsumption bug (#1840, #1841)

2023-06-24 10:59:29 -06:00