Skip to content

Actions: TritonVM/tasm-lang

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
118 workflow runs
118 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

update upstream tasm-lib and TVM to 0.42.0-alpha9 Rust #104: Commit 2eac982 pushed by Sword-Smith
August 24, 2024 13:33 4m 48s master
master
August 24, 2024 13:33 4m 48s
Make rustc & linter happy Rust #103: Commit 99d6f5d pushed by Sword-Smith
May 6, 2024 21:27 5m 21s master
master
May 6, 2024 21:27 5m 21s
refactor: Use tasm-lib's FRI proof extraction function instead of own Rust #102: Commit 298e555 pushed by Sword-Smith
March 29, 2024 14:34 5m 3s master
master
March 29, 2024 14:34 5m 3s
fix: Panic if FRI domain-length exceeds 2^31 Rust #101: Commit 596eb1c pushed by Sword-Smith
March 28, 2024 18:04 8m 34s master
master
March 28, 2024 18:04 8m 34s
fix: Panic if FRI domain-length exceeds 2^31 Rust #100: Commit 31c3a7d pushed by Sword-Smith
March 28, 2024 17:55 5m 12s master
master
March 28, 2024 17:55 5m 12s
docs: Improve benchmarking info Rust #99: Commit e18f7e9 pushed by Sword-Smith
March 26, 2024 18:38 7m 11s master
master
March 26, 2024 18:38 7m 11s
perf: Use new version of 'map' from tasm-lib Rust #98: Commit b76a2dc pushed by Sword-Smith
March 22, 2024 15:57 8m 24s master
master
March 22, 2024 15:57 8m 24s
chore: Cargo update Rust #97: Commit 28c63b1 pushed by Sword-Smith
March 21, 2024 17:59 6m 9s master
master
March 21, 2024 17:59 6m 9s
chore: Make rustc 1.77.0 happy Rust #96: Commit 05e1acc pushed by Sword-Smith
March 21, 2024 17:48 7m 23s master
master
March 21, 2024 17:48 7m 23s
fix: CI on Windows Rust #95: Commit c40ef3e pushed by Sword-Smith
March 21, 2024 14:39 3m 9s master
master
March 21, 2024 14:39 3m 9s
refactor: "colinearity" -> "collinearity" Rust #94: Commit b8141c0 pushed by Sword-Smith
March 21, 2024 14:32 2m 1s master
master
March 21, 2024 14:32 2m 1s
refactor(test::recufier): Improve separation of tests and helper func… Rust #93: Commit f1d8215 pushed by Sword-Smith
March 21, 2024 12:22 4m 53s master
master
March 21, 2024 12:22 4m 53s
refactor(test::recufier): Improve separation of tests and helper func… Rust #92: Commit c8df1e9 pushed by Sword-Smith
March 21, 2024 12:17 5m 23s master
master
March 21, 2024 12:17 5m 23s
test: Separate test of verify program from the generic verifier Rust #91: Commit 3a6992c pushed by Sword-Smith
March 21, 2024 11:46 4m 10s master
master
March 21, 2024 11:46 4m 10s
feat: Make verifier generic over claims Rust #90: Commit d4ad229 pushed by Sword-Smith
March 20, 2024 16:04 7m 6s master
master
March 20, 2024 16:04 7m 6s
test: Generalize verifier over program digest Rust #89: Commit 049595e pushed by Sword-Smith
March 20, 2024 11:36 8m 13s master
master
March 20, 2024 11:36 8m 13s
chore: Upgrade tasm-lib dep for better proof-generation documentation Rust #88: Commit f404aaa pushed by Sword-Smith
March 20, 2024 08:19 8m 25s master
master
March 20, 2024 08:19 8m 25s
refactor: Make linter/compiler happy Rust #87: Commit 212ee39 pushed by Sword-Smith
March 19, 2024 17:05 7m 27s master
master
March 19, 2024 17:05 7m 27s
docs: Update profile result for recursive verifier Rust #86: Commit 46fbc36 pushed by Sword-Smith
March 18, 2024 17:54 7m 46s master
master
March 18, 2024 17:54 7m 46s
test: Add profiler to recursive verification Rust #85: Commit 1806184 pushed by Sword-Smith
March 18, 2024 17:52 8m 17s master
master
March 18, 2024 17:52 8m 17s
test: With successful verification of a TVM proof! Rust #84: Commit 3f37f2e pushed by Sword-Smith
March 18, 2024 17:12 6m 59s master
master
March 18, 2024 17:12 6m 59s
refactor: declare variable for 2 * num_colinearity check in recufier Rust #83: Commit 6ee0bb2 pushed by Sword-Smith
March 18, 2024 15:03 7m 57s master
master
March 18, 2024 15:03 7m 57s
dequeue, hash and verify quotient segments Rust #82: Commit f664654 pushed by Sword-Smith
March 18, 2024 14:43 8m 39s master
master
March 18, 2024 14:43 8m 39s
test: Recufier verify extension leafs Rust #81: Commit e73834f pushed by Sword-Smith
March 18, 2024 14:06 5m 44s master
master
March 18, 2024 14:06 5m 44s
test: More recufier: MT-Verify base-leaf digests Rust #80: Commit dfa800b pushed by Sword-Smith
March 18, 2024 12:14 6m 46s master
master
March 18, 2024 12:14 6m 46s