276a4aa974
Generate model docs
2024-12-11 16:15:10 +01:00
ade0603d3f
Add docs for artifacts and analyses
2024-12-11 16:15:10 +01:00
d2d32b304e
Model: improve documentation
2024-12-11 16:15:09 +01:00
832840c307
Importers: ignore unmapped code
...
This commit ensures that parts of the model that must point to code
(specifically `Binary::EntryPoint`, `Binary::ExtraCodeAddresses` and
`Function::Entry`) actually point to a segment mapped as +x.
2024-11-28 15:22:10 +01:00
686083bdab
Remove mentions to revng-c
2024-11-21 15:54:23 +01:00
143c315196
Merge revng-c into revng
2024-11-21 10:50:55 +01:00
7a01742421
mass-testing: show smallest binaries
...
Show on the overview page of mass-testing the smallest binary for OOMs
and timeouts, as these are probably show an early sign of some broken
aspect of the pipeline.
2024-11-13 09:28:12 +01:00
efcea8ae48
importBinary: fix error handling
2024-11-12 18:05:48 +01:00
ba186a130c
s/module.ll/module.bc.zstd/g
2024-11-12 14:58:00 +01:00
30f464119e
s/module.ll/module.bc.zstd/g
2024-11-11 16:51:18 +01:00
c72abab5e4
Introduce name collision tests
2024-11-06 19:18:53 +02:00
64446d0453
Adopt name builder across the model users
2024-11-06 19:18:53 +02:00
2240da4ffc
Improve test documentation
2024-11-06 19:18:53 +02:00
a67ba96644
Adopt name builder across the model users
2024-11-06 15:43:13 +02:00
a48e0f5c93
Rework usage of analyses list
2024-11-04 15:09:56 +01:00
bd84bd7f2e
Rework --analyze and --analyses-list
2024-10-31 17:19:51 +01:00
8e65716ad8
Use zstd compression in pipeline
...
Use the zstd compression for:
* The `LLVMContainer` when serializing
* The invalidation cache when writing to disk
2024-10-30 21:57:55 +01:00
248e642f02
Fix tests due to module.ll format change
...
`module.ll` is now a zstd-compressed bitcode file. Change the tests
where it relied on the module being LLVM IR by decompressing and
disassembling the input on the fly.
2024-10-30 10:28:08 +01:00
bf9ef91f4e
Drop revng model import binary
2024-10-16 11:46:56 +02:00
892a0fc62a
working-environment.md: add the Docker option
2024-10-16 10:46:31 +02:00
94d860e2b2
Clean up builder configuration
...
This also re-enables stack inlining by default.
2024-10-15 10:45:13 +03:00
1a35cbcb77
Introduce PTMLCTypeBuilder
2024-10-15 10:45:13 +03:00
a3ab8e2415
ABI-docs: add a basic explanation
2024-10-08 13:53:53 +02:00
724f8bfb59
ABI: streamline terminology
...
"packed" is used instead of "unnaturally aligned".
2024-10-08 13:53:53 +02:00
4bdc7f83b5
ABI: drop incomplete pascal support
2024-10-08 13:53:53 +02:00
5150fbd8c8
ABI: Limit usage of the StackAlignment option
2024-10-08 13:53:53 +02:00
ce11f37334
abi::Definition: move documentation out
2024-10-08 13:53:53 +02:00
6d44a4b1c2
ABI: introduce UseStrictAggregateAlignmentRules
2024-10-08 13:53:52 +02:00
7dfd669bde
ABI: introduce a new configuration option:
...
`StackArgumentsUseRegularStructAlignmentRules`.
2024-10-08 13:53:52 +02:00
b20bcbe1d4
ABI: introduce BigArgumentsUsePointersToCopy
2024-10-08 13:53:52 +02:00
fb06320154
ABI: introduce Microsoft_AAPCS64
2024-10-08 13:53:52 +02:00
e92c0b68bb
ABI: introduce Apple_AAPCS64
2024-10-08 13:53:52 +02:00
e4d8ead973
ABI: make MinimumStackArgumentSize explicit
2024-10-08 13:53:52 +02:00
d5d1a7da99
ABI: introduce ReturnValueLocationIsReturned
2024-10-08 13:53:51 +02:00
a4196fdd5e
ABI: allow unnatural structs in aarch64 registers
2024-10-08 13:53:51 +02:00
3fe3a8524a
Implement mass testing
...
Add the `revng mass-testing` commands and auxiliary executables which
simplify running revng on a huge quantity of input executables.
2024-10-01 13:38:21 +02:00
8ca6a0739d
precedence.c.filecheck: fix argument names
...
Due to a bug fix in revng, we're now having arguments in a different
(correct) order. Let the test reflect this.
2024-10-01 11:52:33 +02:00
55fd4d9f66
s/cfg.yml/cfg.yml.tar.gz/
2024-09-29 12:53:23 +02:00
c5f2c8055e
s/cfg.yml/cfg.yml.tar.gz/
2024-09-27 20:45:26 +02:00
77ed34e633
Minor fixes to tests
...
Some of these changes are due to non-determinism.
We should find a more appropriate fix next time.
2024-09-27 10:35:10 +02:00
e1f46264f8
Ensure every pipe commits what it should
2024-09-26 17:51:07 +02:00
b4a6682a3e
OperatorPrecedence: introduce forced parentheses
2024-09-10 11:49:42 +03:00
d52d8f153c
Introduce basic operator precedence testing
2024-09-10 11:49:42 +03:00
70a39678ff
OperatorPrecedence: introduce forced parentheses
2024-09-05 14:33:12 +03:00
a8b5ebdd95
import-from-c: rework testing from the ground up
2024-09-04 16:55:49 +02:00
f7fa47fc72
HeaderToModel: add size tag to the other tests
2024-09-04 13:04:44 +03:00
7b00b85647
PTMLCBuilder: introduce a code tag annotation
2024-09-04 13:04:44 +03:00
2c9c780a3d
PTMLCBuilder: introduce a _SIZE annotation
2024-09-04 13:04:44 +03:00
4a080cae0c
PTMLCBuilder: introduce a _START_AT annotation
2024-09-04 13:04:44 +03:00
dc6f2456be
Minor improvements
2024-09-04 13:04:44 +03:00
Alessandro Di Federico