Skip to content

Actions: ashiven/eqsat

Actions

macos

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
macos.yml
83 workflow runs
83 workflow runs

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
add explanation comment to guided test macos #83: Commit ea9f52a pushed by ashiven
13m 47s main
main
13m 47s
add test case for guided example macos #82: Commit 663c0a0 pushed by ashiven
11m 31s main
main
11m 31s
fix mask for no selection macos #81: Commit 7eaf92a pushed by ashiven
15m 59s main
main
15m 59s
comment out stuff that doesnt work currently macos #80: Commit bb00b29 pushed by ashiven
16m 52s main
main
16m 52s
add missing run lines macos #79: Commit 9e62a63 pushed by ashiven
13m 44s main
main
13m 44s
also check for internal root prefix macos #78: Commit 8151bb2 pushed by ashiven
10m 29s main
main
10m 29s
integrate runtime reaches assertion into plugin phase macos #77: Commit 9936e36 pushed by ashiven
13m 5s main
main
13m 5s
add reaches axiom to check whether term a can reach term b macos #76: Commit cf7c40e pushed by ashiven
12m 2s main
main
12m 2s
start implementing reaches axiom macos #75: Commit f6694cf pushed by ashiven
11m 45s main
main
11m 45s
start implementing more rise examples macos #74: Commit ef6f108 pushed by ashiven
12m 15s main
main
12m 15s
use ruleset specific analyses macos #73: Commit 4453bd3 pushed by ashiven
11m 8s main
main
11m 8s
wrap type analysis data in an option macos #72: Commit 1e2ad95 pushed by ashiven
10m 41s main
main
10m 41s
fix map axiom macos #71: Commit f1efa9b pushed by ashiven
37m 39s main
main
37m 39s
delete todo macos #70: Commit 90252b3 pushed by ashiven
12m 12s main
main
12m 12s
start implementing rise cost function macos #69: Commit 013affc pushed by ashiven
9m 53s main
main
9m 53s
add transpose rise test macos #68: Commit 00dd9f2 pushed by ashiven
11m 22s main
main
11m 22s
add split axiom macos #67: Commit 1bdf7c2 pushed by ashiven
11m 26s main
main
11m 26s
more rise rules macos #66: Commit 266c92c pushed by ashiven
11m 37s main
main
11m 37s
add fusion example macos #65: Commit e01f81e pushed by ashiven
9m 47s main
main
9m 47s
fix mut lam reset macos #64: Commit 1320db4 pushed by ashiven
9m 46s main
main
9m 46s
fix compile lambdas macos #63: Commit 232d5f7 pushed by ashiven
10m 24s main
main
10m 24s
update fission comment macos #62: Commit e51f7fc pushed by ashiven
10m 20s main
main
10m 20s
fix domain set too late macos #61: Commit 5c75333 pushed by ashiven
9m 22s main
main
9m 22s
fix build in makefile macos #60: Commit 00a1b11 pushed by ashiven
11m 47s main
main
11m 47s
fix ruleset config macos #59: Commit 39cb27d pushed by ashiven
10m 42s main
main
10m 42s