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
7,705 Commits 215 Branches 0 Tags
develop
Commit Graph

4073 Commits

Author SHA1 Message Date
Ivan Krysak 129e636796 CEmitter: ensure every prototype is commentable 2026-06-15 17:28:22 +02:00
Ivan Krysak ae17e8987a Fix extra commentability on prototype return value 2026-06-15 17:28:22 +02:00
Ivan Krysak 381c834cce HeaderToModel: add TODOs 2026-06-15 17:28:22 +02:00
Ivan Krysak b18bb7e0d5 ImportFromC: handle always_inline and noreturn 2026-06-15 17:28:22 +02:00
Ivan Krysak 8cd3248175 abi::...::Layout: function-type-layout logger 2026-06-15 17:28:22 +02:00
Ivan Krysak 0d0d455b19 abi::FunctionType::Layout: move yaml traits higher 2026-06-15 17:28:22 +02:00
Ivan Krysak 8f29c5e77c Clift: type list attribute should be clift.types 2026-06-15 17:28:22 +02:00
Ivan Krysak 5ddde903c5 emit-c-as-directory: move to new backend 2026-06-15 17:28:22 +02:00
Ivan Krysak 14ea4b6cd7 emit-c-as-single-file: move to new backend 2026-06-15 17:28:22 +02:00
Ivan Krysak 190405a77b Rename decompile-to-X pipes to emit-c-as-X 
Note that the artifact names were intentionally left untouched.
 2026-06-15 17:28:22 +02:00
Ivan Krysak 4381f86f31 emit-c: expose options 2026-06-15 17:28:22 +02:00
Ivan Krysak 7a10b14f68 Allow setting type emission options from pipeline 2026-06-15 17:28:22 +02:00
Ivan Krysak 1a349d1d38 emit-type-definition: expose options 2026-06-15 17:28:22 +02:00
Ivan Krysak 7ca3ee4893 emit-helper-header: expose options 2026-06-15 17:28:22 +02:00
Ivan Krysak a01969b790 emit-type-and-global-header: pipe configuration 2026-06-15 17:28:22 +02:00
Ivan Krysak 8426cf96cb emit-type-definition: new pipeline 2026-06-15 17:28:22 +02:00
Ivan Krysak dc8e090257 CliftContainer: Make sure dialect is always loaded 2026-06-15 17:28:22 +02:00
Ivan Krysak 12355dc51e emit-helper-header: new pipeline 2026-06-15 17:28:22 +02:00
Ivan Krysak c82a01f68b emit-type-and-global-header: new pipeline 2026-06-15 17:28:22 +02:00
Ivan Krysak 6f9f6cf593 Introduce PTMLCTypeBytesContainer 2026-06-15 17:28:22 +02:00
Ivan Krysak 93f6be619a import-segment-declarations: new pipeline 2026-06-15 17:28:22 +02:00
Ivan Krysak 9a0d984c14 import-function-declarations: new pipeline 2026-06-15 17:28:22 +02:00
Ivan Krysak b1dc230199 import-types: new pipeline 2026-06-15 17:28:22 +02:00
Ivan Krysak 435607c1e4 import-from-c: reorder dependencies 2026-06-15 17:28:22 +02:00
Ivan Krysak 334a50e168 import-from-c: use new header 2026-06-15 17:28:22 +02:00
Ivan Krysak 2da35c1252 Clift: pull all the module creation in one place 2026-06-15 17:28:22 +02:00
Ivan Krysak bb71b0e5a6 Clift: pull all the context creation in one place 2026-06-15 17:28:22 +02:00
Ivan Krysak c4104388ea CliftEmitC: expose emitTypes 2026-06-15 17:28:22 +02:00
Ivan Krysak eb5c6938ef CliftEmitC: expose emitCommonIncludes 2026-06-15 17:28:22 +02:00
Ivan Krysak 57bbb7b962 Do not propagate model unnecessarily 2026-06-15 17:28:22 +02:00
Ivan Krysak 0292610212 Introduce emit-single-type-definition 2026-06-15 17:28:22 +02:00
Ivan Krysak ee5534c0ee Introduce single type emission helper 2026-06-15 17:28:22 +02:00
Ivan Krysak 91130e7e7d Introduce emit-helper-header 2026-06-15 17:28:22 +02:00
Ivan Krysak c36e7b3bee emitHelperHeader: emit opaque types 2026-06-15 17:28:22 +02:00
Ivan Krysak fbf875d498 CliftEmitC: make type size collector more generic 2026-06-15 17:28:22 +02:00
Ivan Krysak 31bd61ba2b Do not recompute type sizes unnecessarily 2026-06-15 17:28:22 +02:00
Ivan Krysak 051d0198b5 Adopt edges in the type size gatherer 2026-06-15 17:28:22 +02:00
Ivan Krysak 88b9e64e1e Drop an unnecessary intermediate container 2026-06-15 17:28:22 +02:00
Ivan Krysak 29ff972daa Move the opaque type gatherer to model::Binary 2026-06-15 17:28:22 +02:00
Ivan Krysak 9d0b75c3b7 Introduce emit-type-and-global-header 2026-06-15 17:28:22 +02:00
Ivan Krysak 06a68a806e CliftEmitC: prevent empty structs 2026-06-15 17:28:22 +02:00
Ivan Krysak 531fb0b439 emitTypeAndGlobalHeader: emit opaque types 2026-06-15 17:28:22 +02:00
Ivan Krysak 32b89d86f9 Clifter: Factor makeOpaqueStruct out 2026-06-15 17:28:22 +02:00
Ivan Krysak 20e6a6358f Introduce additional import pipes 2026-06-15 17:28:22 +02:00
Ivan Krysak a12880aa27 Append legacy- to the old pipes 2026-06-15 17:28:22 +02:00
Ivan Krysak 7b86b7e890 import-types: create a new module 2026-06-15 11:47:41 +02:00
Ivan Krysak 6ff6b8d699 CliftImportModel: ensure DataModel is set 2026-06-15 11:47:41 +02:00
Ivan Krysak 4c6fe97059 abi::getDataModel: introduce 2026-06-15 11:47:41 +02:00
Ivan Krysak d22bd1cc58 CliftImportModel: introduce more bulk importers 2026-06-15 11:47:41 +02:00
Ivan Krysak 602a4fe138 Model: improve naming configuration verification 2026-06-15 11:47:41 +02:00