Giacomo Vercesi
cf08ae41be
Drop usage of llvm::ErrorOr<T>
...
Remove the last two remaining classes in revng which used the
`llvm::ErrorOr` class, replace them with `llvm::Expected`.
2025-05-05 16:02:40 +02:00
Ivan Krysak
6ea75f02b3
Model: switch to the new namespace verifier
2025-04-15 16:35:42 +03:00
Ivan Krysak
705e4a5955
auto [...] -> auto &&[...]
2025-02-13 13:10:51 +02:00
Ivan Krysak
288448f009
Never include model::VerifyHelper from headers
2025-02-13 13:09:50 +02:00
Alessandro Di Federico
143c315196
Merge revng-c into revng
2024-11-21 10:50:55 +01:00
Ivan Krysak
64446d0453
Adopt name builder across the model users
2024-11-06 19:18:53 +02:00
Ivan Krysak
efbc5cdd5c
Introduce an error creation helper
2024-11-06 19:18:53 +02:00
Ivan Krysak
1a35cbcb77
Introduce PTMLCTypeBuilder
2024-10-15 10:45:13 +03:00
Ivan Krysak
8aa7b55e2d
PTMLIndentedOstream: rename into IndentedOstream
2024-10-15 09:13:28 +02:00
Ivan Krysak
8288bd68d2
PTMLCBuilder: rename into ptml::CBuilder
2024-10-15 09:13:28 +02:00
Alessandro Di Federico
8a5ae5f9c1
s/ExecutionContext &Ctx/ExecutionContext &EC/g
2024-09-27 10:35:10 +02:00
Alessandro Di Federico
08e1dc0f05
Drop no-op Pipe::checkPrecondition
2024-09-27 10:35:10 +02:00
Ivan Krysak
73a723e9f4
HeaderToModel: rework error reporting
2024-09-04 16:42:29 +02:00
Pietro Fezzardi
dfe3f4cb47
Rename revng C headers for decompiled code
...
Strip away the 'revng-' prefix from the filename.
2024-06-27 17:26:18 -04:00
Ivan Krysak
94a0ad6b93
Adopt reworked model::Type
2024-06-27 11:07:01 +02:00
Ivan Krysak
3705906074
Model: rename Type into TypeDefinition
2024-06-27 11:07:01 +02:00
Alessandro Di Federico
b05ab6ff3c
Make Pipe::checkPrecondition mandatory
2024-05-21 09:44:04 +02:00
Giacomo Vercesi
f8e50acc49
ImportFromCAnalysis: fix getOptionsfromCFGFile
...
Rewrite the `getOptionsfromCFGFile` function using llvm facilities.
The new code has the following features.
- It avoids the default behaviour of `std::fstream` of opening the file
in read-write.
- It's stricter should an error occur when opening the file.
2024-03-01 16:07:45 +01:00
Alessandro Di Federico
f6f542769b
Convert all public strings to kebab-case
2024-02-09 09:04:25 +01:00
Alessandro Di Federico
23b3bc9e16
s/ImportModelFromC/ImportFromC/g
2024-02-09 09:03:34 +01:00