Skip to content

Actions: imbrem/debruijn-ssa

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
210 workflow runs
210 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Work on packed/unpacked tools, scaling, and auto-generated statements #160: Commit 9d1f529 pushed by imbrem
September 18, 2024 13:31 4m 15s main
main
September 18, 2024 13:31 4m 15s
Packwork tools, scaling, and auto-generated statements #159: Commit befae72 pushed by imbrem
September 17, 2024 19:05 4m 32s main
main
September 17, 2024 19:05 4m 32s
Structural stuff is nary stuff tools, scaling, and auto-generated statements #158: Commit a9a71e9 pushed by imbrem
September 17, 2024 18:38 4m 24s main
main
September 17, 2024 18:38 4m 24s
Packed rewriting for terms tools, scaling, and auto-generated statements #157: Commit 5b0d70e pushed by imbrem
September 17, 2024 17:02 4m 19s main
main
September 17, 2024 17:02 4m 19s
Work on packed term theory tools, scaling, and auto-generated statements #156: Commit 0b05fc7 pushed by imbrem
September 17, 2024 15:30 4m 20s main
main
September 17, 2024 15:30 4m 20s
unpack0_eq_unpack0' tools, scaling, and auto-generated statements #155: Commit 20790bb pushed by imbrem
September 17, 2024 14:08 4m 30s main
main
September 17, 2024 14:08 4m 30s
Work on structural operations tools, scaling, and auto-generated statements #154: Commit 5a6ac58 pushed by imbrem
September 17, 2024 10:25 4m 29s main
main
September 17, 2024 10:25 4m 29s
Packwork tools, scaling, and auto-generated statements #153: Commit 3311875 pushed by imbrem
September 17, 2024 08:14 4m 29s main
main
September 17, 2024 08:14 4m 29s
Packlore tools, scaling, and auto-generated statements #152: Commit 3407b9e pushed by imbrem
September 16, 2024 15:50 4m 33s main
main
September 16, 2024 15:50 4m 33s
Version bump tools, scaling, and auto-generated statements #151: Commit 402288e pushed by imbrem
September 16, 2024 13:05 4m 10s main
main
September 16, 2024 13:05 4m 10s
Removed derivable eta rules tools, scaling, and auto-generated statements #150: Commit 78c0337 pushed by imbrem
September 12, 2024 15:34 4m 18s main
main
September 12, 2024 15:34 4m 18s
Removed spurious cfg rules; rederived cfg_case tools, scaling, and auto-generated statements #149: Commit 85fb427 pushed by imbrem
September 11, 2024 21:12 4m 27s main
main
September 11, 2024 21:12 4m 27s
Removed yet more rules tools, scaling, and auto-generated statements #148: Commit 00a3cce pushed by imbrem
September 11, 2024 21:00 4m 19s main
main
September 11, 2024 21:00 4m 19s
Removed region distributivity rules tools, scaling, and auto-generated statements #147: Commit ba7a23c pushed by imbrem
September 11, 2024 20:43 4m 17s main
main
September 11, 2024 20:43 4m 17s
Removed wk_cfg, dead_cfg rules tools, scaling, and auto-generated statements #146: Commit 8d97638 pushed by imbrem
September 11, 2024 20:39 4m 10s main
main
September 11, 2024 20:39 4m 10s
Removed distributivity axioms for terms tools, scaling, and auto-generated statements #145: Commit eb88475 pushed by imbrem
September 11, 2024 15:38 4m 11s main
main
September 11, 2024 15:38 4m 11s
Began removing case rules for terms tools, scaling, and auto-generated statements #144: Commit b4c04de pushed by imbrem
September 11, 2024 14:34 4m 30s main
main
September 11, 2024 14:34 4m 30s
Began experimenting with term completeness tools, scaling, and auto-generated statements #143: Commit 45e8c59 pushed by imbrem
September 11, 2024 13:52 4m 20s main
main
September 11, 2024 13:52 4m 20s
Completeness theorem tools, scaling, and auto-generated statements #142: Commit 84bf7bc pushed by imbrem
September 10, 2024 15:34 4m 23s main
main
September 10, 2024 15:34 4m 23s
Reduction to sequence lore tools, scaling, and auto-generated statements #141: Commit 8881358 pushed by imbrem
September 10, 2024 12:06 4m 26s main
main
September 10, 2024 12:06 4m 26s
Work on final naturality tools, scaling, and auto-generated statements #140: Commit 403d55a pushed by imbrem
September 10, 2024 10:23 4m 21s main
main
September 10, 2024 10:23 4m 21s
Eqv.assoc_mid_nat tools, scaling, and auto-generated statements #139: Commit c2cf129 pushed by imbrem
September 10, 2024 09:27 4m 24s main
main
September 10, 2024 09:27 4m 24s
Eqv.assoc_left_nat and friends tools, scaling, and auto-generated statements #138: Commit 349a6f5 pushed by imbrem
September 10, 2024 08:33 4m 23s main
main
September 10, 2024 08:33 4m 23s
Product lore tools, scaling, and auto-generated statements #137: Commit cd5f9a7 pushed by imbrem
September 9, 2024 16:26 5m 43s main
main
September 9, 2024 16:26 5m 43s
Product manipulation tools, scaling, and auto-generated statements #136: Commit 61f2f98 pushed by imbrem
September 9, 2024 13:36 4m 13s main
main
September 9, 2024 13:36 4m 13s