Georg Wiese 96893cc143 Add Write-once memory to STD (#1202) ...

Fixes #844

This PR adds a new machine to the STD: `WriteOnceMemory`. This can be
used in our RISC-V machine for bootloader inputs (#1203).

Most of the issues mentioned in the issue were fixed in the meantime or
had a simple workaround (like defining `let LATCH = 1`). The only
remaining issues were in the machine detection, which I fixed here.

I also re-factor two existing tests.

2024-03-26 18:50:30 +00:00

..

hash

Allow and use permutation in all std machines

2024-03-21 17:20:18 +01:00

math

Let statements in expressions. (#1138)

2024-03-25 21:08:45 +00:00

split

Allow and use permutation in all std machines

2024-03-21 17:20:18 +01:00

arith.asm

Let statements in expressions. (#1138)

2024-03-25 21:08:45 +00:00

array.asm

Hints for arithmetic machine

2024-03-18 11:57:40 +01:00

binary.asm

Allow and use permutation in all std machines

2024-03-21 17:20:18 +01:00

check.asm

Type checking.

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

convert.asm

Document and test conversion to expr.

2024-03-14 13:16:36 +01:00

debug.asm

Add types.

2024-02-06 10:25:04 +01:00

field.asm

Type checking.

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

memory.asm

Add read/write memory to standard library (#1129)

2024-03-25 17:33:55 +00:00

mod.asm

Add Write-once memory to STD (#1202)

2024-03-26 18:50:30 +00:00

prover.asm

Challenges and stages.

2024-03-20 12:40:51 +01:00

shift.asm

Allow and use permutation in all std machines

2024-03-21 17:20:18 +01:00

utils.asm

Type checking.

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

write_once_memory.asm

Add Write-once memory to STD (#1202)

2024-03-26 18:50:30 +00:00