chriseth 3e43e33796 Constr as user-defined enum (#1252) ...

Turns some of the built-in types into user types in the prelude.

2024-05-01 10:29:19 +00:00

..

book

Constr as user-defined enum (#1252)

2024-05-01 10:29:19 +00:00

block_lookup_or_permutation.pil

Type checking.

2024-03-01 17:36:54 +01:00

block_lookup_or.pil

Type checking.

2024-03-01 17:36:54 +01:00

conditional_fixed_constraints.pil

Type checking.

2024-03-01 17:36:54 +01:00

constant_in_identity.pil

Basic version of patterns. (#1205)

2024-04-03 09:30:42 +00:00

external_witgen.pil

External Witness Generation

2023-10-18 11:32:35 +00:00

fib_arrays.pil

Basic version of patterns. (#1205)

2024-04-03 09:30:42 +00:00

fibonacci.pil

Basic version of patterns. (#1205)

2024-04-03 09:30:42 +00:00

fixed_columns.pil

Remove all unreferenced definitions. (#1197)

2024-03-26 11:34:40 +00:00

halo_without_lookup.pil

Fix soundness bug in conversion to Halo2

2024-02-12 11:36:31 +01:00

lookup_with_selector.pil

Fix Soundness Bug in Halo2 implementation

2024-02-29 18:03:27 +01:00

naive_byte_decomposition.pil

Move STD machines into submodule (#1201)

2024-04-25 12:14:33 +00:00

pair_lookup.pil

Type checking.

2024-03-01 17:36:54 +01:00

permutation_with_selector.pil

Fix Soundness Bug in Halo2 implementation

2024-02-29 18:03:27 +01:00

referencing_array.pil

Type checking.

2024-03-01 17:36:54 +01:00

simple_div.pil

Support ranges in range constraints.

2023-07-11 17:19:05 +02:00

single_line_blocks.pil

support block machines with block size 1 (#403)

2023-07-18 20:12:11 +02:00

sum_via_witness_query.pil

Make query functions enum-exhaustive. (#1327)

2024-04-30 17:59:41 +00:00

trivial.pil

Add type schemes.

2024-02-22 13:39:39 +01:00

two_block_machine_functions.pil

Fix test: two_block_machine_functions.pil

2023-11-02 14:02:41 +00:00

underdetermined_zero_no_solution.pil

PIL optimizer: remove constant columns.

2023-07-06 21:00:39 +02:00

witness_lookup.pil

enum declarations

2024-03-18 22:09:44 +01:00

witness_via_let.pil

Basic version of patterns. (#1205)

2024-04-03 09:30:42 +00:00