Skip to content

Commit bb06b66

Browse files
committed
sync proof hashes
1 parent c5b3816 commit bb06b66

1 file changed

Lines changed: 6 additions & 6 deletions

File tree

PROOF.md

Lines changed: 6 additions & 6 deletions
Original file line numberDiff line numberDiff line change
@@ -11,11 +11,11 @@ command -> memory -> image -> hash
1111
v11.0.0 shipped the language hardening cut with `dgl.grammar` as a release artifact.
1212

1313
```text
14-
GOLDEN cube 95689452fd3b5017
15-
GOLDEN command_machine 7dd8eb60b1510af7
16-
GOLDEN near_clip 33dd8e01461d1f5c
17-
DGB PARITY near_clip 33dd8e01461d1f5c
18-
DGB PARITY command_machine 7dd8eb60b1510af7
14+
GOLDEN cube d710810073eeec70
15+
GOLDEN command_machine ddcf9658d3e00f08
16+
GOLDEN near_clip c84cf0589c219386
17+
DGB PARITY near_clip c84cf0589c219386
18+
DGB PARITY command_machine ddcf9658d3e00f08
1919
```
2020

2121
## Validation
@@ -42,7 +42,7 @@ output command_machine.ppm
4242
width 640
4343
height 360
4444
pixels 230400
45-
hash 7dd8eb60b1510af7
45+
hash ddcf9658d3e00f08
4646
```
4747

4848
## Suite proof artifacts

0 commit comments

Comments
 (0)