An MLIR representation of HWMCC20 Benchmarks that houses each btor file and its corresponding the following representations:
- Btor Dialect (.mlir file)
- LLVM Dialect (.opt file)
- LLVM-IR (.ll file)
- SMT (.smt2 file)
-
Notifications
You must be signed in to change notification settings - Fork 0
jetafese/hwmcc20-mlir
About
An MLIR representation of HWMCC20 Benchmarks
Resources
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published