Skip to content

Actions: opencompl/veir

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
2,500+ workflow runs
2,500+ workflow runs

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
fix(verifier): report operation name in failure messages CI #3181: Pull request #1105 opened by sueszli
9m 5s sueszli:fix/verifier-op-name
sueszli:fix/verifier-op-name
9m 5s
fix(ExArray): add portable llvm-ar discovery (#1104) CI #3180: Commit dcaf37b pushed by github-merge-queue Bot
11m 48s main
main
11m 48s
feat(veir-opt): teach optimizer about collections of passes (#1060) CI #3179: Commit f70c398 pushed by github-merge-queue Bot
12m 27s main
main
12m 27s
feat(veir): make eraseOp keep going, if it makes more things dead CI #3178: Pull request #1082 synchronize by regehr
11m 36s regehr/eraseOp-recursive
regehr/eraseOp-recursive
11m 36s
feat(veir): constant folding CI #3177: Pull request #1084 synchronize by regehr
11m 29s regehr/folding1
regehr/folding1
11m 29s
feat(veir): constant folding CI #3176: Pull request #1084 synchronize by regehr
9m 17s regehr/folding1
regehr/folding1
9m 17s
feat(veir-opt): teach optimizer about collections of passes CI #3175: Pull request #1060 synchronize by regehr
10m 55s regehr/optimization-groups
regehr/optimization-groups
10m 55s
fix(ExArray): add portable llvm-ar discovery CI #3174: Pull request #1104 opened by sueszli
11m 32s sueszli:fix/exarray-llvm-ar-portability
sueszli:fix/exarray-llvm-ar-portability
11m 32s
feat(riscv): Use the ! rewriter functions in the branch lowering (#… CI #3173: Commit c56e126 pushed by github-merge-queue Bot
11m 6s main
main
11m 6s
chore: add Makefile with build and test targets (#1103) CI #3172: Commit e0005b3 pushed by github-merge-queue Bot
11m 8s main
main
11m 8s
feat(verifier): Add check that successors have the same parents CI #3171: Pull request #1091 synchronize by math-fehr
12m 6s math-fehr/verifier-regions
math-fehr/verifier-regions
12m 6s
feat(dominance): Add hasSSADominance to OpInfo CI #3170: Pull request #1090 synchronize by math-fehr
12m 33s math-fehr/regionkind-opinfo
math-fehr/regionkind-opinfo
12m 33s
feat(dominance): add propositional CFG paths and reachability definitions CI #3169: Pull request #1093 synchronize by math-fehr
12m 15s math-fehr/dominance-path
math-fehr/dominance-path
12m 15s
feat(verifier): Add check that successors have the same parents CI #3168: Pull request #1091 synchronize by math-fehr
11m 45s math-fehr/verifier-regions
math-fehr/verifier-regions
11m 45s
feat(dominance): add propositional CFG paths and reachability definitions CI #3167: Pull request #1093 synchronize by math-fehr
11m 50s math-fehr/dominance-path
math-fehr/dominance-path
11m 50s
feat(veir): constant folding CI #3166: Pull request #1084 synchronize by regehr
11m 47s regehr/folding1
regehr/folding1
11m 47s
feat: modularize remaining files in Veir/ (#1098) CI #3165: Commit b3a9762 pushed by github-merge-queue Bot
12m 23s main
main
12m 23s
feat: modularize remaining files in Veir/ CI #3164: Pull request #1098 synchronize by tobiasgrosser
7m 12s math-fehr/last-modules
math-fehr/last-modules
7m 12s
feat(verifier): check dense constant element type against array (#1102) CI #3163: Commit fb545eb pushed by github-merge-queue Bot
11m 46s main
main
11m 46s
feat: modularize remaining files in Veir/ CI #3162: Pull request #1098 synchronize by tobiasgrosser
9m 16s math-fehr/last-modules
math-fehr/last-modules
9m 16s
feat: modularize files in Passes/ and Interpreter.lean (#1097) CI #3161: Commit 21fcdab pushed by github-merge-queue Bot
12m 34s main
main
12m 34s
feat: remove experiments folder (#1095) CI #3160: Commit 54d45b0 pushed by github-merge-queue Bot
12m 38s main
main
12m 38s
chore: add Makefile with build and test targets CI #3159: Pull request #1103 opened by sueszli
11m 41s sueszli:chore/makefile
sueszli:chore/makefile
11m 41s
feat(verifier): check dense constant element type against array CI #3158: Pull request #1102 opened by sueszli
11m 13s sueszli:feat/verify-dense-base-type
sueszli:feat/verify-dense-base-type
11m 13s
feat(veir): constant folding CI #3157: Pull request #1084 synchronize by regehr
9m 7s regehr/folding1
regehr/folding1
9m 7s