search

jetafese / btor2mlir

Bᴛᴏʀ2MLIR: A Format and Toolchain for Hardware Verification
10 stars 4 forks source link

Introduce memref dialect for array operations #22

Closed Jitao-Hu closed 9 months ago

Jitao-Hu commented 9 months ago

Updated and created files to create convert-btor-to-memref pass.