powdr

batching

Machine properties using with syntax (#1267 )

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

book

Speed up some more quick tests (#1612 )

2024-07-25 19:10:06 +00:00

permutations

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

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

bit_access.asm

Even more quick tests (#1613 )

2024-07-26 08:16:45 +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

Add test using a bus in each machine (#1605 )

2024-07-25 13:16:26 +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

Fixed cols in functions (#1545 )

2024-07-26 09:31:52 +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

Even more quick tests (#1613 )

2024-07-26 08:16:45 +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

keccak.asm

keccak.asm (#1231 )

2024-04-24 15:12:58 +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

Even more quick tests (#1613 )

2024-07-26 08:16:45 +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

Even more quick tests (#1613 )

2024-07-26 08:16:45 +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

Remove all top level declarations (#1512 )

2024-07-02 13:02:59 +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

Add set_hint to asm. (#1643 )

2024-08-01 12:59:38 +00:00

side_effects.asm

Make main instantiate all submachines and pass them as arguments (#1606 )

2024-07-26 13:23:31 +00:00

simple_sum.asm

Even more quick tests (#1613 )

2024-07-26 08:16:45 +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

Add book example that uses publics in asm (#1373 )

2024-05-14 12:37:51 +00:00

sqrt.asm

Allow blocks to be empty (#1435 )

2024-07-01 15:05:32 +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

Make main instantiate all submachines and pass them as arguments (#1606 )

2024-07-26 13:23:31 +00:00

vm_args_relative_path.asm

Even more quick tests (#1613 )

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

vm_args_two_levels.asm

Make main instantiate all submachines and pass them as arguments (#1606 )

2024-07-26 13:23:31 +00:00

vm_args.asm

Make main instantiate all submachines and pass them as arguments (#1606 )

2024-07-26 13:23:31 +00:00

vm_instr_param_mapping.asm

Even more quick tests (#1613 )

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

vm_to_block_array.asm

Even more quick tests (#1613 )

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

vm_to_block_different_length.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

Even more quick tests (#1613 )

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

vm_to_vm_to_vm.asm

Even more quick tests (#1613 )

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

vm_to_vm.asm

Even more quick tests (#1613 )

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