Skip to content

Actions: imbrem/debruijn-ssa

Actions

tools, scaling, and auto-generated statements

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
210 workflow runs
210 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Skeltal tools, scaling, and auto-generated statements #35: Commit 0b61b53 pushed by imbrem
June 27, 2024 15:46 2m 8s main
main
June 27, 2024 15:46 2m 8s
Reduction rewrite tools, scaling, and auto-generated statements #34: Commit a991488 pushed by imbrem
June 27, 2024 15:32 1m 59s main
main
June 27, 2024 15:32 1m 59s
Rewriting lore tools, scaling, and auto-generated statements #33: Commit 54d38f3 pushed by imbrem
June 27, 2024 12:13 1m 56s main
main
June 27, 2024 12:13 1m 56s
Began propositional rewriting theory tools, scaling, and auto-generated statements #32: Commit 2af13a4 pushed by imbrem
June 27, 2024 10:31 2m 3s main
main
June 27, 2024 10:31 2m 3s
Tap tools, scaling, and auto-generated statements #31: Commit a04ebc1 pushed by imbrem
June 27, 2024 00:23 2m 6s main
main
June 27, 2024 00:23 2m 6s
Equivalence is a congruence... tools, scaling, and auto-generated statements #30: Commit 26415cc pushed by imbrem
June 26, 2024 15:52 1m 53s main
main
June 26, 2024 15:52 1m 53s
Lore tools, scaling, and auto-generated statements #29: Commit b9cd407 pushed by imbrem
June 25, 2024 15:55 2m 2s main
main
June 25, 2024 15:55 2m 2s
Tap tools, scaling, and auto-generated statements #28: Commit ac91c4f pushed by imbrem
June 25, 2024 02:40 1m 59s main
main
June 25, 2024 02:40 1m 59s
Lore tools, scaling, and auto-generated statements #27: Commit eef79c4 pushed by imbrem
June 25, 2024 00:26 1m 47s main
main
June 25, 2024 00:26 1m 47s
Tap tools, scaling, and auto-generated statements #26: Commit 55817ef pushed by imbrem
June 24, 2024 22:45 1m 43s main
main
June 24, 2024 22:45 1m 43s
Typed equivalence relation on terms... tools, scaling, and auto-generated statements #25: Commit c7672db pushed by imbrem
June 23, 2024 21:57 1m 59s main
main
June 23, 2024 21:57 1m 59s
Inverse weakening tools, scaling, and auto-generated statements #24: Commit 90630f5 pushed by imbrem
June 23, 2024 20:05 1m 50s main
main
June 23, 2024 20:05 1m 50s
Tap tools, scaling, and auto-generated statements #23: Commit 64eea0a pushed by imbrem
June 23, 2024 15:07 1m 44s main
main
June 23, 2024 15:07 1m 44s
Finite attempt... tools, scaling, and auto-generated statements #22: Commit 9760b2a pushed by imbrem
June 23, 2024 02:17 1m 53s main
main
June 23, 2024 02:17 1m 53s
Tap tools, scaling, and auto-generated statements #21: Commit b83921d pushed by imbrem
June 23, 2024 01:13 1m 55s main
main
June 23, 2024 01:13 1m 55s
Well-formedness lore tools, scaling, and auto-generated statements #20: Commit 68a1a0b pushed by imbrem
June 23, 2024 01:05 1m 42s main
main
June 23, 2024 01:05 1m 42s
Begin rewriting lore tools, scaling, and auto-generated statements #19: Commit 6e0fb62 pushed by imbrem
June 23, 2024 00:56 1m 51s main
main
June 23, 2024 00:56 1m 51s
BCongD tools, scaling, and auto-generated statements #18: Commit c29faf7 pushed by imbrem
June 22, 2024 19:06 1m 41s main
main
June 22, 2024 19:06 1m 41s
Inverse rewrite rules tools, scaling, and auto-generated statements #17: Commit 8a2092d pushed by imbrem
June 22, 2024 16:50 1m 49s main
main
June 22, 2024 16:50 1m 49s
cfg_fuse tap tools, scaling, and auto-generated statements #16: Commit 716f3d0 pushed by imbrem
June 20, 2024 13:19 1m 39s main
main
June 20, 2024 13:19 1m 39s
Weakening simplification tools, scaling, and auto-generated statements #15: Commit 054fd20 pushed by imbrem
June 20, 2024 13:17 1m 40s main
main
June 20, 2024 13:17 1m 40s
Tap tools, scaling, and auto-generated statements #14: Commit b261fbb pushed by imbrem
June 19, 2024 02:20 1m 43s main
main
June 19, 2024 02:20 1m 43s
PStepD.effect_le tools, scaling, and auto-generated statements #13: Commit c084e29 pushed by imbrem
June 18, 2024 18:32 1m 41s main
main
June 18, 2024 18:32 1m 41s
RwD effect preservation tools, scaling, and auto-generated statements #12: Commit 01cdcf0 pushed by imbrem
June 18, 2024 16:50 1m 38s main
main
June 18, 2024 16:50 1m 38s
Further effect lore tools, scaling, and auto-generated statements #11: Commit 4901a7c pushed by imbrem
June 18, 2024 14:20 1m 38s main
main
June 18, 2024 14:20 1m 38s