Skip to content

Actions: calyxir/calyx

Actions

Deploy Extension

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
vscode.yaml
200 workflow run results
200 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[Cider2] Add missing Fixed Prims (#2235) Deploy Extension #175: Commit 60a8cad pushed by EclecticGriffin
July 30, 2024 17:47 25s main
main
July 30, 2024 17:47 25s
[Cider2] Fixed point data initialization and serialization (#2232) Deploy Extension #174: Commit 87f887b pushed by EclecticGriffin
July 29, 2024 18:32 22s main
main
July 29, 2024 18:32 22s
[Cider2] Add a magic number to the data dump serialization (#2225) Deploy Extension #173: Commit b55a062 pushed by EclecticGriffin
July 25, 2024 21:01 22s main
main
July 25, 2024 21:01 22s
[Cider 2] Fix a bug in the fud2 path (#2220) Deploy Extension #172: Commit c443bdb pushed by EclecticGriffin
July 23, 2024 18:59 24s main
main
July 23, 2024 18:59 24s
[Cider 2] Arbitrary precision and signed serialization (#2218) Deploy Extension #171: Commit e942414 pushed by EclecticGriffin
July 23, 2024 18:15 53s main
main
July 23, 2024 18:15 53s
[fud2] Enumerative Planner (#2199) Deploy Extension #170: Commit d198a95 pushed by jku20
July 19, 2024 03:43 20s main
main
July 19, 2024 03:43 20s
[fud2] Fix planner so that it doesn't rely on the order operations ar… Deploy Extension #169: Commit f320a21 pushed by sgpthomas
July 18, 2024 21:46 26s main
main
July 18, 2024 21:46 26s
[Cider 2] Fix explain string + add little message on repeated command… Deploy Extension #168: Commit 757d77f pushed by EclecticGriffin
July 18, 2024 19:29 26s main
main
July 18, 2024 19:29 26s
[Cider 2 | Debugger] Preserve debugger info and command history on re… Deploy Extension #167: Commit d1a2b96 pushed by EclecticGriffin
July 18, 2024 18:37 23s main
main
July 18, 2024 18:37 23s
[Cider2] update the documentation page (#2212) Deploy Extension #166: Commit dd22480 pushed by EclecticGriffin
July 18, 2024 16:51 22s main
main
July 18, 2024 16:51 22s
[Cider2] Remove Cider 1 (#2193) Deploy Extension #165: Commit d3da9cf pushed by EclecticGriffin
July 17, 2024 20:27 24s main
main
July 17, 2024 20:27 24s
Queues: Test Oracles for PIEOs and PCQs (#2192) Deploy Extension #164: Commit 9135b6f pushed by KabirSamsi
July 15, 2024 20:32 21s main
main
July 15, 2024 20:32 21s
Cider DAP Metadata Table Generation (#2197) Deploy Extension #163: Commit 907bcd1 pushed by smd21
July 15, 2024 18:43 25s main
main
July 15, 2024 18:43 25s
Benchmarking (#2185) Deploy Extension #162: Commit 4956da0 pushed by Angelica-Schell
July 15, 2024 12:58 27s main
main
July 15, 2024 12:58 27s
Fix test case for duplicate FSM optimization (#2204) Deploy Extension #161: Commit 894e221 pushed by parthsarkar17
July 14, 2024 16:47 22s main
main
July 14, 2024 16:47 22s
[fud2] Generate intermediate files in workdir. (#2205) Deploy Extension #160: Commit b7ccc79 pushed by jku20
July 12, 2024 14:23 27s main
main
July 12, 2024 14:23 27s
Duplication of dynamic fsms (#2146) Deploy Extension #159: Commit 93303f4 pushed by parthsarkar17
July 10, 2024 20:03 21s main
main
July 10, 2024 20:03 21s
Fix link formatting in language ref (#2201) Deploy Extension #158: Commit c92933d pushed by nathanielnrn
July 10, 2024 11:44 30s main
main
July 10, 2024 11:44 30s
bump rhai version (#2196) Deploy Extension #157: Commit b60dad1 pushed by sgpthomas
July 9, 2024 15:30 26s main
main
July 9, 2024 15:30 26s
[fud2] update path finding to support multi state input and output (#… Deploy Extension #156: Commit 259c2c8 pushed by jku20
July 8, 2024 16:29 25s main
main
July 8, 2024 16:29 25s
[hotfix] Fix web compilation error Deploy Extension #155: Commit ed4ce6e pushed by sgpthomas
July 5, 2024 15:15 22s main
main
July 5, 2024 15:15 22s
Improve LSP error reporting (#1950) Deploy Extension #154: Commit 4604d62 pushed by sgpthomas
July 5, 2024 14:40 23s main
main
July 5, 2024 14:40 23s
Strict PIFO oracle and eDSL implementation (#2189) Deploy Extension #153: Commit 75c5cb8 pushed by csziklai
July 3, 2024 19:28 22s main
main
July 3, 2024 19:28 22s
Add git hooks and setup (#2188) Deploy Extension #152: Commit f59b893 pushed by ethanuppal
July 3, 2024 17:42 1m 24s main
main
July 3, 2024 17:42 1m 24s
Re-enable old queue tests (#2194) Deploy Extension #151: Commit 4e69a9a pushed by polybeandip
July 3, 2024 02:54 21s main
main
July 3, 2024 02:54 21s