Ivan Krysak
f070f1f1e1
Model: sunset double name system
2025-04-17 11:19:17 +03:00
Ivan Krysak
dfa7478685
Adopt reworked model::Type
2024-06-27 11:05:51 +02:00
Ivan Krysak
ac587cbb4f
Model: rename Type into TypeDefinition
2024-06-27 11:05:48 +02:00
Ivan Krysak
1b52530531
ABI-tests: turn temporary directory into "output"
2024-03-15 19:05:10 +01:00
Ivan Krysak
d71fd7a1ad
ABI-tests: strip model of irrelevant functions
2024-03-15 19:05:10 +01:00
Ivan Krysak
6feb9aa001
ABI-tests: rename replace-abi script
2024-03-15 19:05:10 +01:00
Ivan Krysak
5407c11a8f
ABI: do not touch ABIs of unrelated functions
2024-03-15 19:05:10 +01:00
Ivan Krysak
5a36d8fccf
ABI-tests: update documentation
2024-02-09 15:09:37 +00:00
Ivan Krysak
94b6be25ae
ABI-tests: check equivalence after compatibility
...
This does not change anything about the "successful" tests, but does
make "failing" ones slightly easier to debug - since "compatibility"
failures are generally easier to work with (they provide more explicit
information about the failure) that "equivalence" ones.
2024-02-09 15:09:37 +00:00
Ivan Krysak
e16cf87106
ABI-tests: specify the default PDB location
2024-02-09 15:09:37 +00:00
Alessandro Di Federico
d9367954a4
Convert all public strings to kebab-case
2024-02-09 10:04:24 +01:00
Alessandro Di Federico
54025b48ff
s/ConvertToRawFunctionType/ConvertFunctionsToRaw/g
2024-02-09 10:04:23 +01:00
Alessandro Di Federico
a9aaa8ced4
s/ToCABIFunctionType/FunctionsToCABI/s
2024-02-09 10:04:23 +01:00
Alessandro Di Federico
2bdca8ab03
Rename steps and analyses
2024-02-09 10:04:22 +01:00
Ivan Krysak
fc7d9841bf
ABI-testing: simplify script structure
2023-11-02 17:10:04 +01:00
Ivan Krysak
f3acdcdef3
ABI: rewrite the testing suite documentation
2023-11-02 17:10:04 +01:00
Giacomo Vercesi
e719b3b7e5
Add components to revng cli driver
...
This commit introduces the concept of `Component` to a pipeline step.
This, in turn, can be used by clients to figure out which artifacts are
produced by which revng component.
Additionally, this commit overhauls the `revng daemon-self-test`
command, renaming it to `revng graphql` and adding extra flexibility.
2023-08-23 17:45:36 +02:00
Giacomo Vercesi
a13c3e5ac2
revng: fix executable/shebang in scripts
...
Some files had discordant executable bit presence and shebang presence.
This commit fixes these occurrences by adding removing the required
feautures where needed.
2023-05-11 10:02:46 +02:00
Ivan Krysak
e1ebe8ea35
ABI-testing: introduce CABI-FT correction script
2023-03-15 10:19:03 +01:00
Ivan Krysak
f068bcb34f
ABI-testing: switch to the new analyses
2023-03-15 10:19:03 +01:00
Ivan Krysak
ad0fc079b8
ABI-testing: rename verify-abi
...
The new name is `check-compatibility-with-abi`
2023-03-15 10:19:02 +01:00
Djordje Todorovic
809ea798a6
Introduce revng import debug-info
...
It supports both PDB and DWARF formats.
We get rid of `import dwarf` tool.
2022-12-13 11:25:46 +01:00
Alessandro Di Federico
821f3b169a
abi/test.sh: fix shellcheck warning
2022-12-09 09:02:29 +01:00
Alessandro Di Federico
9470e2582b
abi/test.sh: use temporary directory
2022-11-30 15:06:54 +01:00
Alessandro Di Federico
f4684e244d
Switch to new testsuite
2022-06-20 19:04:18 +02:00