Mark 63cbeb9a3c correct modulus bug (#2118, #2119)

2023-10-24 14:20:26 -06:00

..

bin

run cargo fmt

2023-09-05 19:12:17 +02:00

examples

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

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

lib

Reify (^)/2

2023-10-14 12:11:24 -06:00

machine

correct modulus bug (#2118, #2119)

2023-10-24 14:20:26 -06:00

parser

Solves CRLF/CR issue by considering'\r' a layout_char #553 #2028

2023-09-24 19:10:40 +08:00

tests

remove list remnants from stack iteration in printer when cyclic (#2131)

2023-10-24 14:10:11 -06:00

allocator.rs

implement new disjunction compilation

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

arena.rs

get rid of OssifiedOpDir, DBRef, simplify current_op/3

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

arithmetic.rs

Upgrade dashu and some changes

2023-09-13 12:29:12 -04:00

atom_table.rs

Basic WebAssembly support with minimal Javascript API #615. Currently 6/12 crypto functions supported. Tested in browser with all default features disabled.

2023-09-08 17:27:22 +08:00

codegen.rs

[WIP] move towards lockless AtomTable

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

debray_allocator.rs

run cargo fmt

2023-09-05 19:12:17 +02:00

ffi.rs

[WIP] make AtomTable concurrentcy ready

2023-09-05 19:12:22 +02:00

forms.rs

[WIP] move towards lockless AtomTable

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

heap_iter.rs

remove list remnants from stack iteration in printer when cyclic (#2131)

2023-10-24 14:10:11 -06:00

heap_print.rs

remove list remnants from stack iteration in printer when cyclic (#2131)

2023-10-24 14:10:11 -06:00

http.rs

Replace Hyper with Warp for HTTP server

2023-09-27 18:50:19 +02:00

indexing.rs

Merge branch 'master' into dashu-fixes

2023-09-10 21:51:02 +05:30

iterators.rs

run cargo fmt

2023-09-05 19:12:17 +02:00

lib.rs

Basic WebAssembly support with minimal Javascript API #615. Currently 6/12 crypto functions supported. Tested in browser with all default features disabled.

2023-09-08 17:27:22 +08:00

loader.pl

consider an '$aux' a relation of the unexpanded goal's variables in compile_inline_or_expanded_goal (#2062)

2023-10-01 23:49:55 -06:00

macros.rs

get rid of OssifiedOpDir, DBRef, simplify current_op/3

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

raw_block.rs

[WIP] move towards lockless AtomTable

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

rcu.rs

make F64Table concurency safe

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

read.rs

[WIP] move towards lockless AtomTable

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

repl_helper.rs

remove locks from AtomTable

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

targets.rs

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

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

toplevel.pl

ADDED: New Prolog flag, answer_write_options.

2023-09-03 10:49:07 +02:00

types.rs

fix bugs in marker algorithm iterator

2023-10-13 14:38:50 -06:00

variable_records.rs

run cargo fmt

2023-09-05 19:12:17 +02:00