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
79964eac74
Avoid ' misuse in error messages and comments
2025-04-17 16:41:21 +02:00
f070f1f1e1
Model: sunset double name system
2025-04-17 11:19:17 +03:00
6ea75f02b3
Model: switch to the new namespace verifier
2025-04-15 16:35:42 +03:00
3edb6cbb9b
Minor improvements
2025-04-15 16:35:42 +03:00
705e4a5955
auto [...] -> auto &&[...]
2025-02-13 13:10:51 +02:00
288448f009
Never include model::VerifyHelper from headers
2025-02-13 13:09:50 +02:00
143c315196
Merge revng-c into revng
2024-11-21 10:50:55 +01:00
64446d0453
Adopt name builder across the model users
2024-11-06 19:18:53 +02:00
efbc5cdd5c
Introduce an error creation helper
2024-11-06 19:18:53 +02:00
98903f6b07
Move Ranks.h to revng
2024-11-04 15:09:56 +01:00
253558ba63
Minor changes
2024-11-04 15:09:56 +01:00
1a35cbcb77
Introduce PTMLCTypeBuilder
2024-10-15 10:45:13 +03:00
8aa7b55e2d
PTMLIndentedOstream: rename into IndentedOstream
2024-10-15 09:13:28 +02:00
8288bd68d2
PTMLCBuilder: rename into ptml::CBuilder
2024-10-15 09:13:28 +02:00
045f982a32
Improve usage of Expected<T>
2024-10-09 15:16:55 +02:00
8a5ae5f9c1
s/ExecutionContext &Ctx/ExecutionContext &EC/g
2024-09-27 10:35:10 +02:00
08e1dc0f05
Drop no-op Pipe::checkPrecondition
2024-09-27 10:35:10 +02:00
ca99bbbb66
Adopt toString()
2024-09-26 17:51:08 +02:00
a8b5ebdd95
import-from-c: rework testing from the ground up
2024-09-04 16:55:49 +02:00
4d845c5cdb
HeaderToModel: drop unused Logger
2024-09-04 16:55:49 +02:00
4e2617f4c5
HeaderToModel: fix double parsing of enums
2024-09-04 16:55:48 +02:00
d36e50e0d1
HeaderToModel: switch to the new annotation system
2024-09-04 16:44:23 +02:00
e67a08ce05
HeaderToModel: greatly improve reported errors
2024-09-04 16:43:40 +02:00
cc16b8f3c8
HeaderToModel: improve RFT argument handling
2024-09-04 16:43:23 +02:00
60391c9ab6
HeaderToModel: forbid stack return values in RFTs
2024-09-04 16:43:07 +02:00
adb1551283
HeaderToModel: make type ID detection stricter
2024-09-04 16:42:50 +02:00
73a723e9f4
HeaderToModel: rework error reporting
2024-09-04 16:42:29 +02:00
748e4dd560
HeaderToModel: add code annotation support
2024-09-04 13:04:44 +03:00
cb82331a17
HeaderToModel: add struct size annotation support
2024-09-04 13:04:44 +03:00
e708f3f8fc
HeaderToModel: add padding annotation support
2024-09-04 13:04:44 +03:00
ee22a5a558
HeaderToModel: clean up type replacement
2024-09-04 13:04:44 +03:00
000d9f26aa
HeaderToModel: revamp annotation parsing
2024-09-04 13:04:44 +03:00
b297bec1bb
HeaderToModel: clean up global strings
2024-09-04 13:04:44 +03:00
dc6f2456be
Minor improvements
2024-09-04 13:04:44 +03:00
dfe3f4cb47
Rename revng C headers for decompiled code
...
Strip away the 'revng-' prefix from the filename.
2024-06-27 17:26:18 -04:00
94a0ad6b93
Adopt reworked model::Type
2024-06-27 11:07:01 +02:00
c2b4fb70bb
Model: rename TypePath to DefinitionReference
2024-06-27 11:07:01 +02:00
3705906074
Model: rename Type into TypeDefinition
2024-06-27 11:07:01 +02:00
e2f3f31093
Introduce RawFunctionType::Architecture
2024-05-29 15:43:35 +02:00
d49a06bf25
Fix spelling of DefaultRawType
2024-05-29 15:43:35 +02:00
b05ab6ff3c
Make Pipe::checkPrecondition mandatory
2024-05-21 09:44:04 +02:00
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
94904b2ad8
HeaderToModel: output all error lines
...
Change the behaviour of `HeaderToModelDiagnosticConsumer` to report all
error lines instead of the last one.
2024-03-01 16:07:45 +01:00
0c212b66d9
Relicense to MIT
2024-02-29 17:03:36 +01:00
f6f542769b
Convert all public strings to kebab-case
2024-02-09 09:04:25 +01:00
23b3bc9e16
s/ImportModelFromC/ImportFromC/g
2024-02-09 09:03:34 +01:00
Giacomo Vercesi