Skip to content

Actions: opencompl/veir

Actions

Lean Action CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
lean_action_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 (PBV): Compute blast width using hypothesis Lean Action CI #13734: Pull request #1482 synchronize by luigirinaldi
In progress luigirinaldi/bpbv-fix-width-bound
luigirinaldi/bpbv-fix-width-bound
In progress
fix (PBV): Compute blast width using hypothesis Lean Action CI #13733: Pull request #1482 opened by luigirinaldi
In progress luigirinaldi/bpbv-fix-width-bound
luigirinaldi/bpbv-fix-width-bound
In progress
feat: add a PureOrErr predicate on CTrees Lean Action CI #13732: Pull request #1481 opened by nchappe
15m 44s nchappe/ctree-pure-or-err
nchappe/ctree-pure-or-err
15m 44s
feat(parser): support signed and unsigned integer types Lean Action CI #13731: Pull request #1414 synchronize by sueszli
10m 10s sueszli:issue/1352-signedness
sueszli:issue/1352-signedness
10m 10s
feat: a few missing CTree lemmas, especially around bind Lean Action CI #13730: Pull request #1480 opened by nchappe
22m 9s nchappe/ctree-bind-lemmas
nchappe/ctree-bind-lemmas
22m 9s
feat(parser): support signed and unsigned integer types Lean Action CI #13729: Pull request #1414 synchronize by sueszli
9m 49s sueszli:issue/1352-signedness
sueszli:issue/1352-signedness
9m 49s
feat(parser): support signed and unsigned integer types Lean Action CI #13728: Pull request #1414 synchronize by sueszli
9m 58s sueszli:issue/1352-signedness
sueszli:issue/1352-signedness
9m 58s
feat(parser): support signed and unsigned integer types Lean Action CI #13727: Pull request #1414 synchronize by sueszli
10m 5s sueszli:issue/1352-signedness
sueszli:issue/1352-signedness
10m 5s
fix(parser): accept shorthand LLVM byte types Lean Action CI #13726: Pull request #1356 synchronize by sueszli
17m 51s sueszli:fix/llvm-nested-byte-type
sueszli:fix/llvm-nested-byte-type
17m 51s
feat(interpreter): give memory blocks with a physical address space Lean Action CI #13725: Pull request #1454 synchronize by tobiasgrosser
21m 9s tobias/memory_model_blocks
tobias/memory_model_blocks
21m 9s
fix(riscv): avoid 2 miscompile bugs Lean Action CI #13724: Pull request #1479 opened by regehr
22m 55s regehr/flag-fixes
regehr/flag-fixes
22m 55s
feat(interpreter): give memory blocks with a physical address space Lean Action CI #13723: Pull request #1454 synchronize by tobiasgrosser
22m 42s tobias/memory_model_blocks
tobias/memory_model_blocks
22m 42s
Alive memory model Lean Action CI #13722: Pull request #1455 synchronize by tobiasgrosser
13m 47s alive_memory_model
alive_memory_model
13m 47s
feat(interpreter): give memory blocks with a physical address space Lean Action CI #13721: Pull request #1454 synchronize by tobiasgrosser
23m 35s tobias/memory_model_blocks
tobias/memory_model_blocks
23m 35s
Alive memory model Lean Action CI #13720: Pull request #1455 synchronize by tobiasgrosser
22m 38s alive_memory_model
alive_memory_model
22m 38s
fix(riscv): access constant values from the LLVM dialect correctly (#… Lean Action CI #13719: Commit 789c2aa pushed by github-merge-queue Bot
17m 5s main
main
17m 5s
Lean Action CI Lean Action CI #13718: Merge group checks requested
24m 28s
24m 28s
fix(riscv): access constant values from the LLVM dialect correctly Lean Action CI #13717: Pull request #1473 synchronize by regehr
20m 59s regehr/riscv-constant-fixes
regehr/riscv-constant-fixes
20m 59s
feat(IR): add the f80 and f128 float types (#1449) Lean Action CI #13716: Commit 9120821 pushed by github-merge-queue Bot
20m 39s main
main
20m 39s
fix(riscv): access constant values from the LLVM dialect correctly Lean Action CI #13715: Pull request #1473 synchronize by regehr
17m 36s regehr/riscv-constant-fixes
regehr/riscv-constant-fixes
17m 36s
Lean Action CI Lean Action CI #13714: Merge group checks requested
22m 57s
22m 57s
feat(IR): add the f80 and f128 float types Lean Action CI #13713: Pull request #1449 synchronize by tobiasgrosser
22m 44s tobias/float_f80_f128
tobias/float_f80_f128
22m 44s
chore(LLVM): split files in Basic and Lemmas (#1478) Lean Action CI #13712: Commit 5d6e42e pushed by github-merge-queue Bot
23m 51s main
main
23m 51s
feat(IR): add the f80 and f128 float types Lean Action CI #13711: Pull request #1449 synchronize by tobiasgrosser
22m 29s tobias/float_f80_f128
tobias/float_f80_f128
22m 29s
feat(IR): add the f80 and f128 float types Lean Action CI #13710: Pull request #1449 synchronize by tobiasgrosser
23m 41s tobias/float_f80_f128
tobias/float_f80_f128
23m 41s