chriseth 51dd71f7f5 Add KoalaBear. (#1929)

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

..

machines

Turning witness columns into constants. (#1927)

2024-10-18 15:45:53 +00:00

math

Simplify lookup (#1802)

2024-09-23 14:18:59 +00:00

protocols

Simplify permutation using prover functions similiar to lookups (#1826)

2024-09-27 13:01:01 +00:00

array.asm

Check length. (#1806)

2024-09-19 14:04:38 +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

Lookups as Binary ops (#1770)

2024-09-10 15:15:58 +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

Lookups as Binary ops (#1770)

2024-09-10 15:15:58 +00:00

prelude.asm

Query input/output rework (#1828)

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

prover.asm

Query input/output rework (#1828)

2024-09-24 13:58:38 +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