diff options
Diffstat (limited to 'research/experiments/045-proof-compiler')
| -rw-r--r-- | research/experiments/045-proof-compiler/2026-10-19-ops-v0r.txt | 25 |
1 files changed, 25 insertions, 0 deletions
diff --git a/research/experiments/045-proof-compiler/2026-10-19-ops-v0r.txt b/research/experiments/045-proof-compiler/2026-10-19-ops-v0r.txt new file mode 100644 index 0000000..95a6238 --- /dev/null +++ b/research/experiments/045-proof-compiler/2026-10-19-ops-v0r.txt @@ -0,0 +1,25 @@ +CONST 1679532 0 +ADD 759809 0 +SUB 759809 0 +LE 698524 0 +GT 759809 0 +NOT 759809 0 +JZ 1458333 0 +JMP 265036 0 +TEXT_SET 18672 0 +LIST_COUNT 61285 42613 +LIST_APPEND 21459 0 +ITEM_GET 759809 206931 +ROW 61285 0 +MOD 18672 0 +EACH 18673 0 +LOCAL_LOAD 5153480 0 +LOCAL_STORE 1660860 0 +I64_FROM 18672 0 +LOOP 61285 0 +BREAK 61285 0 +BYTES_OF 18672 0 +CALL 61285 0 +RETURN 61285 0 +FLOORDIV 698524 0 +INDEX_AT 698524 206931 |