Georg Wiese a3087ea364 Witgen: Handle machine calls with side effects (#1388) ...

Cherry-picked ef6a72fcfa from #1380.

With this PR, we track whether a call to a machine led to some side
effect (e.g. added a block). In that case, the processed identity should
count has having led to some progress, even if no values were returned
to the calling machine. An example would be writing values to memory,
which does not return any values and hence does not change the state of
the caller.

2024-05-21 16:09:06 +00:00

..

batching

Machine properties using with syntax (#1267)

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

book

fix book example (#1344)

2024-05-03 13:27:26 +00:00

permutations

Machine properties using with syntax (#1267)

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

bit_access.asm

enum declarations

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

block_machine_cache_miss.asm

Machine properties using with syntax (#1267)

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

block_to_block.asm

Machine properties using with syntax (#1267)

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

connect_no_witgen.asm

Connection identity test. (#1258)

2024-05-07 14:04:07 +00:00

different_signatures.asm

Machine properties using with syntax (#1267)

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

empty_vm.asm

Machine properties using with syntax (#1267)

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

empty.asm

get degree from namespaces

2023-11-07 10:32:41 +01:00

enum_in_asm.asm

enum declarations

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

failing_assertion.asm

Type checking.

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

full_pil_constant.asm

Machine properties using with syntax (#1267)

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

functional_instructions.asm

enum declarations

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

intermediate_nested.asm

Machine properties using with syntax (#1267)

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

intermediate.asm

Machine properties using with syntax (#1267)

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

keccak.asm

keccak.asm (#1231)

2024-04-24 15:12:58 +00:00

mem_read_write_large_diffs.asm

Memory machine: Don't use selectors to distinguish operations

2024-03-12 12:13:36 +01:00

mem_read_write_no_memory_accesses.asm

Memory machine: Don't use selectors to distinguish operations

2024-03-12 12:13:36 +01:00

mem_read_write_with_bootloader.asm

Memory machine: Don't use selectors to distinguish operations

2024-03-12 12:13:36 +01:00

mem_read_write.asm

Memory machine: Don't use selectors to distinguish operations

2024-03-12 12:13:36 +01:00

mem_write_once_external_write.asm

Machine properties using with syntax (#1267)

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

mem_write_once.asm

Machine properties using with syntax (#1267)

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

multi_assign.asm

enum declarations

2024-03-18 22:09:44 +01: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

palindrome.asm

Machine properties using with syntax (#1267)

2024-04-25 16:02:01 +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

Fix accessing challenges from hints (#1331)

2024-05-07 14:34:05 +00:00

secondary_block_machine_add2.asm

Machine properties using with syntax (#1267)

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

secondary_machine_plonk.asm

Witness generation with copy constraints (#1276)

2024-04-30 18:01:33 +00:00

side_effects.asm

Witgen: Handle machine calls with side effects (#1388)

2024-05-21 16:09:06 +00:00

simple_sum.asm

enum declarations

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

single_function_vm.asm

Machine properties using with syntax (#1267)

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

single_operation.asm

Machine properties using with syntax (#1267)

2024-04-25 16:02:01 +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

Machine properties using with syntax (#1267)

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

vm_instr_param_mapping.asm

Machine properties using with syntax (#1267)

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

vm_to_block_array.asm

Machine properties using with syntax (#1267)

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

vm_to_block_multiple_interfaces.asm

Machine properties using with syntax (#1267)

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

vm_to_block_to_block.asm

Machine properties using with syntax (#1267)

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

vm_to_block_unique_interface.asm

Machine properties using with syntax (#1267)

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

vm_to_vm_dynamic_trace_length.asm

Machine properties using with syntax (#1267)

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

vm_to_vm_to_block.asm

Machine properties using with syntax (#1267)

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

vm_to_vm_to_vm.asm

Machine properties using with syntax (#1267)

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

vm_to_vm.asm

Machine properties using with syntax (#1267)

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