diff options
Diffstat (limited to 'research/experiments/045-proof-compiler')
| -rw-r--r-- | research/experiments/045-proof-compiler/2026-10-19-ops.txt | 35 |
1 files changed, 35 insertions, 0 deletions
diff --git a/research/experiments/045-proof-compiler/2026-10-19-ops.txt b/research/experiments/045-proof-compiler/2026-10-19-ops.txt new file mode 100644 index 0000000..fd18476 --- /dev/null +++ b/research/experiments/045-proof-compiler/2026-10-19-ops.txt @@ -0,0 +1,35 @@ +CONST 4703032 0 +ADD 700234 0 +SUB 1014832 0 +LT 1104 0 +LE 698524 0 +GT 976466 0 +GE 98373 0 +EQ 1602826 0 +NE 79705 0 +AND 170898 0 +OR 39511 0 +NOT 772197 0 +JZ 4105359 0 +JMP 567474 0 +TEXT_SET 18672 0 +LIST_COUNT 203422 85565 +LIST_APPEND 634309 0 +ITEM_GET 1454991 332863 +ROW 122570 0 +PICK 198855 0 +SLIDE 50563 0 +MOD 18 0 +EACH 18673 0 +LOCAL_LOAD 9230328 0 +LOCAL_STORE 3113793 0 +I64_FROM 42613 0 +LOOP 80835 0 +BREAK 62163 0 +BYTES_OF 18672 0 +LIST_VALUE 168048 0 +LIST_BIND 482333 250353 +CALL 119917 0 +RETURN 119917 0 +FLOORDIV 698524 0 +INDEX_AT 1332421 333613 |