chore: use BitVec.ofBool_*_ofBool

opencompl / lean-mlir

A minimal development of SSA theory

Other

88 stars 10 forks source link

Closed tobiasgrosser closed 1 month ago

tobiasgrosser commented 1 month ago

These became available in nightly-testing-2024-09-19.

github-actions[bot] commented 1 month ago

Alive Statistics: 75 / 93 (18 failed)