Skip to content

Actions: weakmemory/xmm

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
700 workflow runs
700 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Close sb-cloc admit in ExecA Nix CI for bundle 8.18 #702: Commit 6d9c430 pushed by InnocentusLime
January 21, 2025 22:03 9m 16s dev-theorem5
dev-theorem5
January 21, 2025 22:03 9m 16s
Same behavior proof Nix CI for bundle 8.18 #701: Commit 49fcb5a pushed by InnocentusLime
January 20, 2025 07:59 11m 50s dev-theorem5
dev-theorem5
January 20, 2025 07:59 11m 50s
Behaviour definition Nix CI for bundle 8.18 #700: Commit 0c651d9 pushed by InnocentusLime
January 19, 2025 23:26 12m 7s dev-theorem5
dev-theorem5
January 19, 2025 23:26 12m 7s
Ban tid_init Nix CI for bundle 8.18 #699: Commit 5952bd0 pushed by InnocentusLime
January 18, 2025 22:24 11m 53s dev-theorem5
dev-theorem5
January 18, 2025 22:24 11m 53s
Draft step lemmas Nix CI for bundle 8.18 #698: Commit 41b43c9 pushed by InnocentusLime
January 18, 2025 22:20 12m 18s dev-theorem5
dev-theorem5
January 18, 2025 22:20 12m 18s
Cleanup hb_helper for thesis Nix CI for bundle 8.18 #697: Commit 24bec64 pushed by InnocentusLime
January 17, 2025 22:05 13m 29s dev-theorem5
dev-theorem5
January 17, 2025 22:05 13m 29s
Merge pull request #26 from weakmemory/dev-smal-rex-admits Nix CI for bundle 8.18 #696: Commit 4f4f1ea pushed by InnocentusLime
January 17, 2025 10:46 12m 42s main
main
January 17, 2025 10:46 12m 42s
Close some admits in the re-execution proof Nix CI for bundle 8.18 #695: Pull request #26 synchronize by InnocentusLime
January 17, 2025 10:32 13m 14s
January 17, 2025 10:32 13m 14s
Close debt admits in ExecB Nix CI for bundle 8.18 #694: Commit 05491cd pushed by InnocentusLime
January 17, 2025 10:32 13m 1s dev-smal-rex-admits
dev-smal-rex-admits
January 17, 2025 10:32 13m 1s
Close some admits in the re-execution proof Nix CI for bundle 8.18 #693: Pull request #26 opened by InnocentusLime
January 17, 2025 10:11 12m 37s
January 17, 2025 10:11 12m 37s
Close a few more admits Nix CI for bundle 8.18 #692: Commit ed98830 pushed by InnocentusLime
January 17, 2025 10:04 12m 47s dev-smal-rex-admits
dev-smal-rex-admits
January 17, 2025 10:04 12m 47s
Close some admits Nix CI for bundle 8.18 #691: Commit 109eaeb pushed by InnocentusLime
January 16, 2025 21:09 12m 45s dev-smal-rex-admits
dev-smal-rex-admits
January 16, 2025 21:09 12m 45s
Isolate consistency Nix CI for bundle 8.18 #690: Commit c0d7350 pushed by InnocentusLime
January 15, 2025 19:55 13m 8s dev-smal-rex-admits
dev-smal-rex-admits
January 15, 2025 19:55 13m 8s
Update tracking Nix CI for bundle 8.18 #689: Commit b2fe342 pushed by InnocentusLime
January 15, 2025 12:47 12m 41s main
main
January 15, 2025 12:47 12m 41s
Merge pull request #25 from weakmemory/dev-sb-lemma Nix CI for bundle 8.18 #688: Commit acc7570 pushed by InnocentusLime
January 15, 2025 12:37 12m 45s main
main
January 15, 2025 12:37 12m 45s
Proof the po-max constraint for re-exec Nix CI for bundle 8.18 #687: Pull request #25 opened by InnocentusLime
January 15, 2025 12:26 9m 33s
January 15, 2025 12:26 9m 33s
Restore a lost admit Nix CI for bundle 8.18 #686: Commit 8034f68 pushed by InnocentusLime
January 15, 2025 12:25 9m 31s dev-sb-lemma
dev-sb-lemma
January 15, 2025 12:25 9m 31s
Close last sb admit Nix CI for bundle 8.18 #685: Commit 8e4bc65 pushed by InnocentusLime
January 15, 2025 12:17 9m 44s dev-sb-lemma
dev-sb-lemma
January 15, 2025 12:17 9m 44s
Close another admit Nix CI for bundle 8.18 #684: Commit 4da9414 pushed by InnocentusLime
January 15, 2025 11:22 9m 28s dev-sb-lemma
dev-sb-lemma
January 15, 2025 11:22 9m 28s
Progress on the sb Nix CI for bundle 8.18 #683: Commit deb0f4a pushed by InnocentusLime
January 15, 2025 01:31 9m 33s dev-sb-lemma
dev-sb-lemma
January 15, 2025 01:31 9m 33s
Close on of sb admits Nix CI for bundle 8.18 #682: Commit 319ee21 pushed by InnocentusLime
January 11, 2025 21:39 9m 41s dev-sb-lemma
dev-sb-lemma
January 11, 2025 21:39 9m 41s
Merge pull request #24 from weakmemory/dev-cons-distr Nix CI for bundle 8.18 #681: Commit ba171b1 pushed by InnocentusLime
January 11, 2025 10:25 12m 32s main
main
January 11, 2025 10:25 12m 32s
consistency finalised Nix CI for bundle 8.18 #680: Pull request #24 synchronize by keba4ok
January 10, 2025 20:43 12m 23s
January 10, 2025 20:43 12m 23s
refactor Nix CI for bundle 8.18 #679: Commit 1aaf42d pushed by keba4ok
January 10, 2025 20:42 12m 31s dev-cons-distr
dev-cons-distr
January 10, 2025 20:42 12m 31s
consistency finalised Nix CI for bundle 8.18 #678: Pull request #24 opened by keba4ok
January 10, 2025 13:44 12m 57s
January 10, 2025 13:44 12m 57s