Alessandro Di Federico
|
8b3f641a29
|
Rename LLVMGlobalKindBase to LLVMKind
|
2023-04-28 14:34:49 +02:00 |
|
Massimo Fioravanti
|
d55aa9b9e6
|
Pipeline: remove * from targets
Now * is just a pipeline frontend shorthand.
|
2022-10-20 14:20:12 +02:00 |
|
Massimo Fioravanti
|
9363bbd70a
|
Pipeline: every container type has now a C++ type
|
2022-09-29 15:51:17 +02:00 |
|
Massimo Fioravanti
|
9ce7b1e527
|
Drop Pipe suffix from pipe names
|
2022-08-29 14:45:45 +02:00 |
|
Massimo Fioravanti
|
633f49c1ef
|
Introduce dedicated namespace for kinds and ranks
|
2022-08-29 14:44:53 +02:00 |
|
Massimo Fioravanti
|
ce4934f48d
|
Introduce revng-link-for-translation
`revng-link-for-translation` provides a standalone tool needed to
perform the final linking stage of the recompilation.
|
2022-03-28 12:17:05 +02:00 |
|
Massimo Fioravanti
|
f63eefba2c
|
Move LinkForTranslationPipe to lib/Recompile
|
2022-03-28 12:17:05 +02:00 |
|