Skip to content

Actions: kaist-plrg/spectec

Actions

.github/workflows/ci-spec.yml

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci-spec.yml
42 workflow runs
42 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Flatten ifs of normal blocks into conjuction .github/workflows/ci-spec.yml #42: Commit c7ddf3b pushed by f52985
August 29, 2024 12:02 Failure fix-ctx
fix-ctx
August 29, 2024 12:02 Failure
Merge pull request #113 from Wasm-DSL/exn .github/workflows/ci-spec.yml #41: Commit 5c8b747 pushed by f52985
August 26, 2024 04:21 Failure main
main
August 26, 2024 04:21 Failure
Subtype-based translation for rhs .github/workflows/ci-spec.yml #40: Commit 2c366b3 pushed by ShinWonho
July 24, 2024 06:44 5m 33s main
main
July 24, 2024 06:44 5m 33s
Add more note .github/workflows/ci-spec.yml #39: Commit 7b916ce pushed by ShinWonho
July 24, 2024 04:31 5m 58s main
main
July 24, 2024 04:31 5m 58s
Subtype-based translation for inverse function .github/workflows/ci-spec.yml #38: Commit 7cca769 pushed by ShinWonho
July 24, 2024 04:12 5m 54s main
main
July 24, 2024 04:12 5m 54s
Update free variable error message .github/workflows/ci-spec.yml #37: Commit 958a35c pushed by ShinWonho
July 23, 2024 08:48 6m 56s main
main
July 23, 2024 08:48 6m 56s
Merge pull request #101 from Wasm-DSL/bug.invoke-typechecks .github/workflows/ci-spec.yml #36: Commit 88e8450 pushed by ShinWonho
July 23, 2024 06:59 5m 39s main
main
July 23, 2024 06:59 5m 39s
Merge remote-tracking branch 'origin/main' .github/workflows/ci-spec.yml #35: Commit 0836100 pushed by reduction-choi
July 23, 2024 06:34 5m 49s main
main
July 23, 2024 06:34 5m 49s
Generalize iter+call lhs translation .github/workflows/ci-spec.yml #34: Commit 613b53c pushed by ShinWonho
July 23, 2024 06:29 5m 59s main
main
July 23, 2024 06:29 5m 59s
Improve print_al option .github/workflows/ci-spec.yml #33: Commit 755ce24 pushed by ShinWonho
July 22, 2024 08:59 6m 3s main
main
July 22, 2024 08:59 6m 3s
Add type for inverse function call and iterator .github/workflows/ci-spec.yml #32: Commit 0e87bc0 pushed by ShinWonho
July 22, 2024 08:14 5m 47s main
main
July 22, 2024 08:14 5m 47s
Minor changes .github/workflows/ci-spec.yml #31: Commit 1ba373f pushed by ShinWonho
July 22, 2024 05:52 5m 52s main
main
July 22, 2024 05:52 5m 52s
Fix compile error .github/workflows/ci-spec.yml #30: Commit 5078c02 pushed by ShinWonho
July 22, 2024 05:43 6m 0s main
main
July 22, 2024 05:43 6m 0s
Minor changes .github/workflows/ci-spec.yml #29: Commit f47031c pushed by ShinWonho
July 22, 2024 05:15 3m 32s main
main
July 22, 2024 05:15 3m 32s
Merge branch 'refactor.lhs' .github/workflows/ci-spec.yml #28: Commit 65763f9 pushed by ShinWonho
July 22, 2024 05:00 3m 50s main
main
July 22, 2024 05:00 3m 50s
Consider remove_sub as semantic changing .github/workflows/ci-spec.yml #27: Commit 488a719 pushed by ShinWonho
July 22, 2024 02:42 6m 23s main
main
July 22, 2024 02:42 6m 23s
Add more general walker .github/workflows/ci-spec.yml #26: Commit 5300391 pushed by ShinWonho
July 22, 2024 02:26 5m 41s main
main
July 22, 2024 02:26 5m 41s
Add more general walker .github/workflows/ci-spec.yml #25: Commit 6b173d0 pushed by ShinWonho
July 18, 2024 07:55 4m 44s main
main
July 18, 2024 07:55 4m 44s
Add note for InvCallE .github/workflows/ci-spec.yml #24: Commit 11bbd23 pushed by ShinWonho
July 18, 2024 02:07 4m 51s main
main
July 18, 2024 02:07 4m 51s
Generalize inverse function translation .github/workflows/ci-spec.yml #23: Commit 225e6e4 pushed by ShinWonho
July 16, 2024 07:06 4m 55s main
main
July 16, 2024 07:06 4m 55s
Update TEST.md .github/workflows/ci-spec.yml #22: Commit 3bc3fa8 pushed by ShinWonho
July 15, 2024 06:06 6m 14s main
main
July 15, 2024 06:06 6m 14s
Merge pull request #105 from Wasm-DSL/cvtop .github/workflows/ci-spec.yml #21: Commit aca1ee1 pushed by f52985
July 12, 2024 10:46 9m 20s main
main
July 12, 2024 10:46 9m 20s
Update wasm-2.0 spec .github/workflows/ci-spec.yml #20: Commit c27aa4b pushed by ShinWonho
March 1, 2024 06:26 5m 34s main
main
March 1, 2024 06:26 5m 34s
Add constant type (#78) .github/workflows/ci-spec.yml #19: Commit b2a4f77 pushed by ShinWonho
February 29, 2024 06:02 5m 6s main
main
February 29, 2024 06:02 5m 6s
Remove invalid pattern match .github/workflows/ci-spec.yml #18: Commit da0a5bf pushed by ShinWonho
February 28, 2024 04:44 5m 17s main
main
February 28, 2024 04:44 5m 17s