Skip to content

Actions: wilcoxjay/mypyvy

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
21 workflow runs
21 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Remove pd from gh-test CI #45: Commit 3a055df pushed by wilcoxjay
April 9, 2024 09:38 5m 54s master
master
April 9, 2024 09:38 5m 54s
Add pd to gh-test CI #44: Commit 41c1e36 pushed by wilcoxjay
April 9, 2024 09:18 6m 8s master
master
April 9, 2024 09:18 6m 8s
Update makefile CI #43: Commit 2658fbc pushed by odedp
April 9, 2024 09:09 6m 3s master
master
April 9, 2024 09:09 6m 3s
Give invariants distinct names in bosco example CI #42: Commit f496bbb pushed by wilcoxjay
April 9, 2024 08:23 3m 39s master
master
April 9, 2024 08:23 3m 39s
Add toy_consensus_cav24.pyv CI #41: Commit ef3a259 pushed by wilcoxjay
April 9, 2024 08:15 44s master
master
April 9, 2024 08:15 44s
Delete examples covered by examples_2024, and move a couple of well-d… CI #40: Commit 54b0ffa pushed by odedp
April 9, 2024 08:02 3m 15s master
master
April 9, 2024 08:02 3m 15s
Add software architecture documentation CI #39: Commit 86b785c pushed by wilcoxjay
April 9, 2024 07:54 8m 34s master
master
April 9, 2024 07:54 8m 34s
Add initial batch of more documented and organized examples CI #38: Commit 7b4f612 pushed by odedp
April 9, 2024 07:27 8m 24s master
master
April 9, 2024 07:27 8m 24s
separate target for github CI CI #37: Commit 23edbe8 pushed by wilcoxjay
April 9, 2024 05:22 8m 32s master
master
April 9, 2024 05:22 8m 32s
separate target for github CI CI #36: Commit 1e80f5e pushed by wilcoxjay
April 9, 2024 05:22 29s master
master
April 9, 2024 05:22 29s
handle cvc4 not being installed in timeout logic CI #35: Commit d5d4c92 pushed by wilcoxjay
April 9, 2024 04:13 8m 14s master
master
April 9, 2024 04:13 8m 14s
handle cvc4 not being installed in timeout logic CI #34: Commit 0ed3ed9 pushed by wilcoxjay
April 9, 2024 04:01 1m 51s master
master
April 9, 2024 04:01 1m 51s
fix naming of raft invariants CI #33: Commit 6ad15cc pushed by wilcoxjay
April 9, 2024 03:49 1m 29s master
master
April 9, 2024 03:49 1m 29s
fix bug in typechecking named theorems that are not onestate CI #32: Commit ddbd066 pushed by wilcoxjay
April 9, 2024 03:36 54s master
master
April 9, 2024 03:36 54s
bump python version CI #31: Commit 29bb75e pushed by wilcoxjay
April 9, 2024 03:24 42s master
master
April 9, 2024 03:24 42s
remove cvc4 from github CI CI #30: Commit 05509af pushed by wilcoxjay
April 9, 2024 03:17 42s master
master
April 9, 2024 03:17 42s
support referring to safety via keyword CI #29: Commit c810122 pushed by wilcoxjay
April 9, 2024 03:11 23s master
master
April 9, 2024 03:11 23s
Fix non exhaustive case analysis in typechecker.pre_typecheck_binder … CI #27: Commit b38ef57 pushed by wilcoxjay
December 6, 2023 02:36 13m 45s master
master
December 6, 2023 02:36 13m 45s
Fix non exhaustive case analysis in typechecker.pre_typecheck_binder CI #26: Pull request #26 opened by wilcoxjay
November 22, 2023 22:48 13m 56s jrw/github-issue-25
jrw/github-issue-25
November 22, 2023 22:48 13m 56s
Fix non exhaustive case analysis in typechecker.pre_typecheck_binder CI #25: Commit 168adda pushed by wilcoxjay
November 22, 2023 22:43 16m 11s jrw/github-issue-25
jrw/github-issue-25
November 22, 2023 22:43 16m 11s
Add always to axioms in fly output CI #24: Commit 2fc6d51 pushed by odedp
November 22, 2023 08:27 14m 5s master
master
November 22, 2023 08:27 14m 5s