Leo c9ebdd9682 Baby bear initial machine tests (#1682)

2024-08-30 12:43:07 +00:00

..

machines

Baby bear initial machine tests (#1682)

2024-08-30 12:43:07 +00:00

math

Small refactoring of challenge-based protocols (#1567)

2024-07-15 11:03:45 +00:00

protocols

Implement LogUp via Bus (#1624)

2024-08-05 09:05:16 +00:00

array.asm

Add degree checks. (#1370)

2024-05-13 08:32:31 +00:00

btree.asm

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

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

check.asm

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

2024-06-11 15:12:39 +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

Remove the bn tool function. (#1549)

2024-07-09 07:31:08 +00:00

mod.asm

Remove all top level declarations (#1512)

2024-07-02 13:02:59 +00:00

prelude.asm

Change display for witness columns. (#1665)

2024-08-15 08:56:58 +00:00

prover.asm

Change display for witness columns. (#1665)

2024-08-15 08:56:58 +00:00

utils.asm

Merge common functions in permutation and lookup (#1518)

2024-07-12 11:38:14 +00:00

well_known.asm

Merge common functions in permutation and lookup (#1518)

2024-07-12 11:38:14 +00:00