Leo 4f1aa4a5f3 Use arith-memory in RISCV (#2199)

2024-12-11 13:52:34 +00:00

..

machines

Use arith-memory in RISCV (#2199)

2024-12-11 13:52:34 +00:00

math

Add std::math::fp4::square_ext (#1990)

2024-11-19 11:05:04 +00:00

protocols

Bus: Remove acc_next + materialize folded tuple (#2201)

2024-12-09 18:12:33 +00:00

test

Test runner. (#1999)

2024-10-31 18:37:35 +00:00

array.asm

Add variant of fingerprint() that yields intermediate columns (#2072)

2024-11-27 11:43:50 +00:00

btree.asm

Use true/false from the prelude. (#1367)

2024-05-10 10:52:30 +00:00

check.asm

Rename more machines (small vs large) and add runtime checks (#1881)

2024-10-11 13:56:41 +00:00

constraints.asm

Function to increment pointer by one word in small fields. (#1933)

2024-10-29 11:48:33 +00:00

convert.asm

Document and test conversion to expr.

2024-03-14 13:16:36 +01:00

debug.asm

Allow the type checker to accept empty values (#1393)

2024-06-11 15:12:39 +00:00

field.asm

Add KoalaBear. (#1929)

2024-10-21 10:13:37 +00:00

mod.asm

Test runner. (#1999)

2024-10-31 18:37:35 +00:00

prelude.asm

Add PhantomBusInteraction (#2183)

2024-12-06 17:21:42 +00:00

prover.asm

Query input/output rework (#1828)

2024-09-24 13:58:38 +00:00

utils.asm

Function to increment pointer by one word in small fields. (#1933)

2024-10-29 11:48:33 +00:00

well_known.asm

Remove std::well_known::one (#2101)

2024-11-16 12:07:54 +00:00