Skip to content

Actions: JetBrains-Research/verified-cogen

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
133 workflow runs
133 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

sort examples Run pytest, ruff, and pyright #75: Commit 7f6a063 pushed by WeetHet
September 30, 2024 09:20 36s chain-of-thought
chain-of-thought
September 30, 2024 09:20 36s
compat: replace match with if Run pytest, ruff, and pyright #74: Commit 6a2e1c7 pushed by WeetHet
September 30, 2024 09:18 28s chain-of-thought
chain-of-thought
September 30, 2024 09:18 28s
rework postprocessing, add rewrite step Run pytest, ruff, and pyright #73: Commit de81a83 pushed by WeetHet
September 30, 2024 09:17 35s chain-of-thought
chain-of-thought
September 30, 2024 09:17 35s
Remove (very) outdated info from readme Run pytest, ruff, and pyright #72: Commit 573dc5c pushed by WeetHet
September 28, 2024 07:01 26s main
main
September 28, 2024 07:01 26s
Renumber human eval files so GitHub sorts them correctly (#11) Run pytest, ruff, and pyright #71: Commit e8e9b22 pushed by WeetHet
September 27, 2024 12:41 39s main
main
September 27, 2024 12:41 39s
Renumber human eval files so GitHub sorts them correctly Run pytest, ruff, and pyright #70: Commit bd5668a pushed by jesyspa
September 27, 2024 10:22 29s renumber
renumber
September 27, 2024 10:22 29s
translate dafny chain of thought prompt to verus Run pytest, ruff, and pyright #69: Commit f3e3593 pushed by WeetHet
September 25, 2024 16:06 33s chain-of-thought
chain-of-thought
September 25, 2024 16:06 33s
complete verus support Run pytest, ruff, and pyright #68: Commit b2b267a pushed by WeetHet
September 25, 2024 16:06 28s main
main
September 25, 2024 16:06 28s
translate dafny chain of thought prompt to verus Run pytest, ruff, and pyright #67: Commit d87eead pushed by WeetHet
September 25, 2024 09:38 35s chain-of-thought
chain-of-thought
September 25, 2024 09:38 35s
annotate humaneval-verus files Run pytest, ruff, and pyright #66: Commit ffc525d pushed by WeetHet
September 25, 2024 09:33 37s main
main
September 25, 2024 09:33 37s
add humaneval-rustbench Run pytest, ruff, and pyright #65: Commit 2aebc92 pushed by WeetHet
September 25, 2024 08:52 30s main
main
September 25, 2024 08:52 30s
add humaneva-rustbench Run pytest, ruff, and pyright #64: Commit 56a223d pushed by WeetHet
September 25, 2024 08:52 29s main
main
September 25, 2024 08:52 29s
translate dafny chain of thought prompt to verus Run pytest, ruff, and pyright #63: Commit 7ce2d32 pushed by WeetHet
September 25, 2024 05:39 40s chain-of-thought
chain-of-thought
September 25, 2024 05:39 40s
Improve prompts a bit Run pytest, ruff, and pyright #62: Commit e008830 pushed by WeetHet
September 24, 2024 10:42 27s chain-of-thought
chain-of-thought
September 24, 2024 10:42 27s
step 3: invariant and pattern detection Run pytest, ruff, and pyright #61: Commit e54b985 pushed by WeetHet
September 24, 2024 10:36 32s chain-of-thought
chain-of-thought
September 24, 2024 10:36 32s
step 3: invariant and patter detection Run pytest, ruff, and pyright #60: Commit 00feef2 pushed by WeetHet
September 24, 2024 10:36 29s chain-of-thought
chain-of-thought
September 24, 2024 10:36 29s
step 2: loop detection Run pytest, ruff, and pyright #59: Commit 216f5a0 pushed by WeetHet
September 24, 2024 10:10 29s chain-of-thought
chain-of-thought
September 24, 2024 10:10 29s
initial infrastructure for chain-of-thought Run pytest, ruff, and pyright #58: Commit 5aa2c83 pushed by WeetHet
September 24, 2024 09:29 39s chain-of-thought
chain-of-thought
September 24, 2024 09:29 39s
rename cot prompt dir Run pytest, ruff, and pyright #57: Commit bdef9a1 pushed by WeetHet
September 24, 2024 09:10 30s chain-of-thought
chain-of-thought
September 24, 2024 09:10 30s
step fixes, tests Run pytest, ruff, and pyright #56: Commit a369b00 pushed by WeetHet
September 24, 2024 08:34 30s chain-of-thought
chain-of-thought
September 24, 2024 08:34 30s
step fixes, tests Run pytest, ruff, and pyright #55: Commit 91e3440 pushed by WeetHet
September 24, 2024 08:34 42s chain-of-thought
chain-of-thought
September 24, 2024 08:34 42s
fix incorrect path Run pytest, ruff, and pyright #54: Commit 64ffc76 pushed by WeetHet
September 24, 2024 08:25 29s chain-of-thought
chain-of-thought
September 24, 2024 08:25 29s
fix syntax Run pytest, ruff, and pyright #53: Commit f417a87 pushed by WeetHet
September 24, 2024 08:23 42s chain-of-thought
chain-of-thought
September 24, 2024 08:23 42s
initial infrastructure for chain-of-thought Run pytest, ruff, and pyright #52: Commit b84f182 pushed by WeetHet
September 24, 2024 08:22 28s chain-of-thought
chain-of-thought
September 24, 2024 08:22 28s
fix main Run pytest, ruff, and pyright #51: Commit 7643e52 pushed by alex28sh
September 24, 2024 07:50 26s prompts
prompts
September 24, 2024 07:50 26s