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

7705 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Ivan Krysak 7214a75379 Precedence test: drop 2026-06-15 17:28:22 +02:00
Ivan Krysak d1f9987523 dual-case test: drop 2026-06-15 17:28:22 +02:00
Ivan Krysak c87513cb37 segments-and-sections test: drop 2026-06-15 17:28:22 +02:00
Ivan Krysak 45d8be8a0f pretty-ints test: drop 2026-06-15 17:28:22 +02:00
Ivan Krysak 277e646d19 linked-lists test: adjust for the new backend 2026-06-15 17:28:22 +02:00
Ivan Krysak 6a4c12c68a New pipeline: add more debugging artifacts 2026-06-15 17:28:22 +02:00
Ivan Krysak c1ed293c7a New pipeline: adopt new backend 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 c510881250 CEmissionPipeConfiguration: introduce 2026-06-15 17:28:22 +02:00
Ivan Krysak c122118e07 TLT: add a TODO 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 c11cc04768 CliftContainers: standardize context accessors 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 b9e5355d5a CliftEmitC: avoid uninitialized primitives 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