admin/revng-revng
1
0
Fork 0
mirror of https://github.com/revng/revng synced 2026-06-21 14:07:57 +00:00
Code Issues Packages Projects Releases Wiki Activity
6,419 Commits 215 Branches 0 Tags
feature/better-debugging
Commit Graph

3 Commits

Author SHA1 Message Date
Lauri Vasama 237d246665 Factor out the default C target implementation 
This commit also adds size 16 -> extended integer kind mapping.

While we are hardcoding this for now, some maintenance (as above) is
needed, so it's best to hardcode it only in one place and share that
definition.
 2025-07-17 16:45:03 +02:00
Lauri Vasama f0091e699f Remove clift::ModuleOp 
A new dialect attribute is instead used to verify mlir::ModuleOp:

```
module attributes {clift.module} {
}
```
 2025-06-04 15:13:47 +02:00
Lauri Vasama 6343bfcb40 Add c-verify pass 2025-01-30 14:52:47 +02:00