Skip to content

Actions: ton-community/tvm-spec

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
72 workflow runs
72 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Work on divs Validate JSONs #22: Commit 754f2f1 pushed by hacker-volodya
January 23, 2024 14:53 18s tvm-upgrade
tvm-upgrade
January 23, 2024 14:53 18s
Add div instructions Validate JSONs #21: Commit 3282965 pushed by hacker-volodya
January 23, 2024 08:38 21s tvm-upgrade
tvm-upgrade
January 23, 2024 08:38 21s
Add RUNVM(X), GASCONSUMED, and new GETPARAM aliases Validate JSONs #20: Commit c1e5dbc pushed by hacker-volodya
January 16, 2024 08:57 13s tvm-upgrade
tvm-upgrade
January 16, 2024 08:57 13s
Fix operands for IFREFELSEREF Validate JSONs #19: Commit acd0f22 pushed by hacker-volodya
January 16, 2024 07:58 20s master
master
January 16, 2024 07:58 20s
Add json schema Validate JSONs #18: Commit 1d828ac pushed by hacker-volodya
December 3, 2023 22:15 14s v1.0.0
v1.0.0
December 3, 2023 22:15 14s
Implement value flow specification (#1) Validate JSONs #17: Commit fab8588 pushed by hacker-volodya
December 3, 2023 22:15 18s v1.1.0
v1.1.0
December 3, 2023 22:15 18s
Implement value flow specification (#1) Validate JSONs #16: Commit fab8588 pushed by hacker-volodya
December 3, 2023 22:12 17s master
master
December 3, 2023 22:12 17s
Implement value flow specification Validate JSONs #15: Pull request #1 opened by hacker-volodya
December 3, 2023 22:11 20s vf-dev
vf-dev
December 3, 2023 22:11 20s
Fix encoding Validate JSONs #14: Commit 3c2c586 pushed by hacker-volodya
December 3, 2023 22:10 17s vf-dev
vf-dev
December 3, 2023 22:10 17s
Remove intermediary files Validate JSONs #13: Commit 43d984a pushed by hacker-volodya
December 3, 2023 22:08 17s vf-dev
vf-dev
December 3, 2023 22:08 17s
Done on cont operations Validate JSONs #12: Commit 4807493 pushed by hacker-volodya
December 3, 2023 20:57 13s vf-dev
vf-dev
December 3, 2023 20:57 13s
Unpacked tuple representation Validate JSONs #11: Commit 84b0e23 pushed by hacker-volodya
November 30, 2023 11:02 14s vf-dev
vf-dev
November 30, 2023 11:02 14s
Cont operations Validate JSONs #10: Commit ba51d56 pushed by hacker-volodya
November 30, 2023 09:32 15s vf-dev
vf-dev
November 30, 2023 09:32 15s
cont operations Validate JSONs #9: Commit e64021c pushed by hacker-volodya
November 29, 2023 06:21 16s vf-dev
vf-dev
November 29, 2023 06:21 16s
cont operations Validate JSONs #8: Commit b36e680 pushed by hacker-volodya
November 29, 2023 05:58 16s vf-dev
vf-dev
November 29, 2023 05:58 16s
arithmetics Validate JSONs #7: Commit 2c6be1d pushed by hacker-volodya
November 29, 2023 05:42 13s vf-dev
vf-dev
November 29, 2023 05:42 13s
tuples & consts Validate JSONs #6: Commit 5ff5803 pushed by hacker-volodya
November 29, 2023 05:31 19s vf-dev
vf-dev
November 29, 2023 05:31 19s
Finish dict operations Validate JSONs #5: Commit 8e2e251 pushed by hacker-volodya
November 29, 2023 05:04 15s vf-dev
vf-dev
November 29, 2023 05:04 15s
Work on dicts Validate JSONs #4: Commit 827324b pushed by hacker-volodya
November 29, 2023 03:54 15s vf-dev
vf-dev
November 29, 2023 03:54 15s
Add schema for stack value flow Validate JSONs #3: Commit 5fed0dd pushed by hacker-volodya
November 23, 2023 07:05 14s vf-dev
vf-dev
November 23, 2023 07:05 14s
Prototype of value flow Validate JSONs #2: Commit 0c8cbaa pushed by hacker-volodya
November 21, 2023 05:59 15s vf-dev
vf-dev
November 21, 2023 05:59 15s
Add json schema Validate JSONs #1: Commit 1d828ac pushed by hacker-volodya
November 13, 2023 11:56 18s master
master
November 13, 2023 11:56 18s