Skip to content

Actions: nek0las/lean-cats

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
141 workflow runs
141 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
delte the event id axiom which is unsafe Lean Action CI #157: Commit b2d3ff4 pushed by nek0las
5m 16s mips
mips
5m 16s
Add bpf Lean Action CI #156: Commit e160b95 pushed by nek0las
1m 15s mips
mips
1m 15s
Add MP proof Lean Action CI #155: Commit ed74816 pushed by nek0las
1m 54s mips
mips
1m 54s
(feat): Add mips support Lean Action CI #154: Commit 707f7dd pushed by nek0las
2m 2s main
main
2m 2s
Mips Lean Action CI #153: Pull request #22 synchronize by nek0las
1m 55s mips
mips
1m 55s
Merge origin/main into mips, keeping mips additions Lean Action CI #152: Commit 9985bfe pushed by nek0las
1m 59s mips
mips
1m 59s
Add SB and LB litmus tests Lean Action CI #151: Commit b6e4f59 pushed by nek0las
1m 53s mips
mips
1m 53s
(feat): Support Litmus Test for LKMM and TSO-X86 Lean Action CI #150: Commit 5c46727 pushed by nek0las
4m 59s main
main
4m 59s
Litmus Lean Action CI #149: Pull request #21 synchronize by nek0las
2m 24s litmus
litmus
2m 24s
refactor the project Lean Action CI #148: Commit 6bcc51f pushed by nek0las
2m 1s litmus
litmus
2m 1s
Litmus Lean Action CI #147: Pull request #21 synchronize by nek0las
1m 52s litmus
litmus
1m 52s
Lean Action CI Lean Action CI #146: by nek0las
1m 37s litmus
litmus
1m 37s
Litmus Lean Action CI #145: Pull request #21 synchronize by nek0las
1m 40s litmus
litmus
1m 40s
Prove co_acyclic and fr_co_subset_fr Lean Action CI #144: Commit 93b2203 pushed by nek0las
1m 31s litmus
litmus
1m 31s
Litmus Lean Action CI #143: Pull request #21 synchronize by nek0las
1m 36s litmus
litmus
1m 36s
Add rf uniqueness, co totality, and rf;fr⊆co theorem Lean Action CI #142: Commit 4d61bbf pushed by nek0las
1m 37s litmus
litmus
1m 37s
Litmus Lean Action CI #141: Pull request #21 synchronize by nek0las
1m 42s litmus
litmus
1m 42s
Add co totality to Events.preCo Lean Action CI #140: Commit 98cdf19 pushed by nek0las
1m 46s litmus
litmus
1m 46s
Litmus Lean Action CI #139: Pull request #21 synchronize by nek0las
1m 57s litmus
litmus
1m 57s
Add model comparision Lean Action CI #138: Commit 66811e2 pushed by nek0las
1m 52s litmus
litmus
1m 52s
Litmus Lean Action CI #137: Pull request #21 opened by nek0las
4m 52s litmus
litmus
4m 52s
Clean up comments Lean Action CI #136: Commit b71a72c pushed by nek0las
1m 29s litmus
litmus
1m 29s
Clean up debugging code. Lean Action CI #135: Commit 0505815 pushed by nek0las
1m 31s litmus
litmus
1m 31s
Add basic LKMM model support. Lean Action CI #134: Commit b48a268 pushed by nek0las
1m 46s litmus
litmus
1m 46s
Fix assertion unnaming bugs. Lean Action CI #133: Commit 9e976ef pushed by nek0las
2m 0s litmus
litmus
2m 0s