Skip to content

Actions: mtoohey31/tabular-types

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
36 workflow runs
36 workflow runs

Filter by Workflow

⌥ + click/return to exclude

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
Merge pull request #25 from mtoohey31/popl26-camera-ready Build #342: Commit 9e69b2e pushed by mtoohey31
16m 21s main
main
16m 21s
Merge pull request #24 from mtoohey31/popl26-revised-version Build #341: Commit 99ba171 pushed by mtoohey31
16m 30s main
main
16m 30s
reorder target type equivalence rules Build #340: Commit 4743a2a pushed by mtoohey31
16m 1s popl26-camera-ready
popl26-camera-ready
16m 1s
add lift row equivalence congruence rule Build #339: Commit 78957fc pushed by mtoohey31
5m 13s popl26-revised-version
popl26-revised-version
5m 13s
update target theorems in README Build #338: Commit e2cdea2 pushed by mtoohey31
7m 32s popl26-revised-version
popl26-revised-version
7m 32s
improve tex presentation of subtyping Build #337: Commit be94ae3 pushed by mtoohey31
1m 23s main
main
1m 23s
hide T metavariable for target types in tex Build #336: Commit c3ad8f0 pushed by mtoohey31
14m 3s main
main
14m 3s
Merge pull request #23 from mtoohey31/popl26-artifact-evaluation Build #335: Commit 2427954 pushed by mtoohey31
15m 59s main
main
15m 59s
update theorem numbers to match updated paper draft Build #334: Commit aec75db pushed by mtoohey31
1m 19s popl26-artifact-evaluation
popl26-artifact-evaluation
1m 19s
fix small step and multi small step tex Build #333: Commit 714941d pushed by mtoohey31
7m 33s popl26-artifact-evaluation
popl26-artifact-evaluation
7m 33s
README updates Build #332: Commit b52fc76 pushed by mtoohey31
1m 21s popl26-artifact-evaluation
popl26-artifact-evaluation
1m 21s
add LICENSE Build #331: Commit 6086f94 pushed by mtoohey31
2m 17s popl26-artifact-evaluation
popl26-artifact-evaluation
2m 17s
add README Build #330: Commit 2cf779d pushed by mtoohey31
2m 20s popl26-artifact-evaluation
popl26-artifact-evaluation
2m 20s
rename to avoid mentions of interpreter Build #329: Commit b9e7ae8 pushed by mtoohey31
23m 13s popl26-artifact-evaluation
popl26-artifact-evaluation
23m 13s
use lean-action for CI Build #328: Commit f4ced7f pushed by mtoohey31
23m 33s popl26-artifact-evaluation
popl26-artifact-evaluation
23m 33s
make lott a normal dependency instead of a submodule Build #327: Commit c224341 pushed by mtoohey31
23m 2s popl26-artifact-evaluation
popl26-artifact-evaluation
23m 2s
clean up comments Build #326: Commit a53e8ff pushed by mtoohey31
24m 0s popl26-artifact-evaluation
popl26-artifact-evaluation
24m 0s
add missed highlighting mentioned by reviewer Build #325: Commit 08165a6 pushed by mtoohey31
23m 55s popl26-artifact-evaluation
popl26-artifact-evaluation
23m 55s
use source name from paper Build #324: Commit 3591110 pushed by mtoohey31
13s dev/inference
dev/inference
13s
mostly complete elaboration substitution theorems Build #323: Commit 579017b pushed by mtoohey31
8s dev/inference
dev/inference
8s
squashme Build #322: Commit e432e17 pushed by mtoohey31
20m 56s dev/inference-tmp
dev/inference-tmp
20m 56s
solve theorems for commutativity partial ordering and row equivalence Build #321: Commit c3eb1c3 pushed by mtoohey31
16m 30s dev/inference
dev/inference
16m 30s
finish target type reduction strong normalization Build #320: Commit 751187d pushed by mtoohey31
24m 31s main
main
24m 31s
it works! Build #319: Commit 2fde6ca pushed by mtoohey31
9m 41s strongly-normalizing
strongly-normalizing
9m 41s
complete proof with closed term normalization without list cases Build #318: Commit 4b52aae pushed by mtoohey31
11m 14s strongly-normalizing
strongly-normalizing
11m 14s