chriseth e746f1dcbb Use operators for lookups. (#1798) ...

We can now use the `$`, `in`, `is` and `connect` operators in any
expression. Remember that `$` needs to be used when you want to have a
selector.

2024-09-13 08:58:12 +00:00

..

batching

Machine properties using with syntax (#1267)

2024-04-25 16:02:01 +00:00

book

Change display for witness columns. (#1665)

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

permutations

fix sub implementation in link_merging.asm test (#1600)

2024-07-29 11:05:27 +00:00

bit_access.asm

Use operators for lookups. (#1798)

2024-09-13 08:58:12 +00:00

block_machine_cache_miss.asm

Allow blocks to be empty (#1435)

2024-07-01 15:05:32 +00:00

block_to_block_with_bus.asm

More prover functions for std. (#1762)

2024-09-11 14:20:09 +00:00

block_to_block.asm

Instructions with link statements (#1439)

2024-06-18 17:31:38 +00:00

challenges.asm

Add simple challenges test (#1451)

2024-06-13 07:31:16 +00:00

connect_no_witgen.asm

Even more quick tests (#1613)

2024-07-26 08:16:45 +00:00

different_signatures.asm

Instructions with link statements (#1439)

2024-06-18 17:31:38 +00:00

dynamic_fixed_cols.asm

Enable the linker to output dynamic namespaces (#1640)

2024-08-01 13:22:53 +00:00

dynamic_vadcop.asm

Memory machine: Only use the necessary size (#1680)

2024-08-14 10:57:02 +00:00

empty_vm.asm

Machine properties using with syntax (#1267)

2024-04-25 16:02:01 +00:00

empty.asm

Even more quick tests (#1613)

2024-07-26 08:16:45 +00:00

enum_in_asm.asm

Even more quick tests (#1613)

2024-07-26 08:16:45 +00:00

failing_assertion.asm

Even more quick tests (#1613)

2024-07-26 08:16:45 +00:00

full_pil_constant.asm

Machine properties using with syntax (#1267)

2024-04-25 16:02:01 +00:00

functional_instructions.asm

Use operators for lookups. (#1798)

2024-09-13 08:58:12 +00:00

generics_preservation.asm

Even more quick tests (#1613)

2024-07-26 08:16:45 +00:00

intermediate_nested.asm

Even more quick tests (#1613)

2024-07-26 08:16:45 +00:00

intermediate.asm

Even more quick tests (#1613)

2024-07-26 08:16:45 +00:00

keccakf.asm

Keccak Rust Wrappers (#1337)

2024-09-02 07:50:24 +00:00

mem_read_write_large_diffs.asm

Even more quick tests (#1613)

2024-07-26 08:16:45 +00:00

mem_read_write_no_memory_accesses.asm

Even more quick tests (#1613)

2024-07-26 08:16:45 +00:00

mem_read_write_with_bootloader.asm

Even more quick tests (#1613)

2024-07-26 08:16:45 +00:00

mem_read_write.asm

Even more quick tests (#1613)

2024-07-26 08:16:45 +00:00

mem_write_once_external_write.asm

merge compatible links from different instructions (#1467)

2024-07-02 10:53:07 +00:00

mem_write_once.asm

Instructions with link statements (#1439)

2024-06-18 17:31:38 +00:00

multi_assign.asm

Change display for witness columns. (#1665)

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

multi_return_wrong_assignment_register_length.asm

Machine properties using with syntax (#1267)

2024-04-25 16:02:01 +00:00

multi_return_wrong_assignment_registers.asm

Machine properties using with syntax (#1267)

2024-04-25 16:02:01 +00:00

multi_return.asm

Machine properties using with syntax (#1267)

2024-04-25 16:02:01 +00:00

multiple_signatures.asm

Instructions with link statements (#1439)

2024-06-18 17:31:38 +00:00

palindrome.asm

Change display for witness columns. (#1665)

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

pass_range_constraints.asm

Allow blocks to be empty (#1435)

2024-07-01 15:05:32 +00:00

pil_at_module_level.asm

Machine properties using with syntax (#1267)

2024-04-25 16:02:01 +00:00

second_phase_hint.asm

More prover functions for std. (#1762)

2024-09-11 14:20:09 +00:00

secondary_block_machine_add2.asm

Allow blocks to be empty (#1435)

2024-07-01 15:05:32 +00:00

secondary_machine_plonk.asm

Instructions with link statements (#1439)

2024-06-18 17:31:38 +00:00

set_hint.asm

Change display for witness columns. (#1665)

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

side_effects.asm

Introduce FakeByte2 of a fixed degree (#1687)

2024-08-15 08:50:26 +00:00

simple_sum.asm

Change display for witness columns. (#1665)

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

single_function_vm.asm

Machine properties using with syntax (#1267)

2024-04-25 16:02:01 +00:00

single_operation.asm

Even more quick tests (#1613)

2024-07-26 08:16:45 +00:00

sqrt_with_public.asm

Change display for witness columns. (#1665)

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

sqrt.asm

Prover functions (#1717)

2024-09-11 10:51:56 +00:00

test_util.asm

Introduce FakeByte2 of a fixed degree (#1687)

2024-08-15 08:50:26 +00:00

trait_parsing.asm

Even more quick tests (#1613)

2024-07-26 08:16:45 +00:00

type_vars_in_local_decl.asm

Fixed cols in functions (#1545)

2024-07-26 09:31:52 +00:00

vm_args_memory.asm

Introduce FakeByte2 of a fixed degree (#1687)

2024-08-15 08:50:26 +00:00

vm_args_relative_path.asm

Simplify test files after #1694 (#1720)

2024-08-23 17:28:19 +00:00

vm_args_two_levels.asm

Introduce FakeByte2 of a fixed degree (#1687)

2024-08-15 08:50:26 +00:00

vm_args.asm

Set ROM degree (#1666)

2024-08-13 11:51:11 +00:00

vm_instr_param_mapping.asm

Set ROM degree (#1666)

2024-08-13 11:51:11 +00:00

vm_to_block_array.asm

Even more quick tests (#1613)

2024-07-26 08:16:45 +00:00

vm_to_block_multiple_interfaces.asm

Instructions with link statements (#1439)

2024-06-18 17:31:38 +00:00

vm_to_block_to_block.asm

Instructions with link statements (#1439)

2024-06-18 17:31:38 +00:00

vm_to_block_unique_interface.asm

Even more quick tests (#1613)

2024-07-26 08:16:45 +00:00

vm_to_vm_dynamic_trace_length.asm

Even more quick tests (#1613)

2024-07-26 08:16:45 +00:00

vm_to_vm_to_block.asm

Set ROM degree (#1666)

2024-08-13 11:51:11 +00:00

vm_to_vm_to_vm.asm

Set ROM degree (#1666)

2024-08-13 11:51:11 +00:00

vm_to_vm.asm

Set ROM degree (#1666)

2024-08-13 11:51:11 +00:00