f83f40078c
Invalidation tests: relax
...
At this stage, certain artifacts are invalidated by any change, even an
empty one.
2024-07-10 16:19:26 +02:00
3c839cb821
Pipe::mutableContainers: use running containers
2024-07-09 08:58:51 +02:00
22b9a4db74
Restore an accidentally deleted test
2024-06-30 19:36:48 +02:00
a1bc9b10f4
Add emit-recompilable-archive artifact to doc
2024-06-27 22:10:01 +02:00
e7c4952377
Add cleanup-ir to docs
2024-06-27 22:10:01 +02:00
db6254c50e
rcc: treat *.inc as c plus plus files
2024-06-27 11:05:52 +02:00
b72e2fd87b
Model: allow omission of void size
2024-06-27 11:05:52 +02:00
cd36ef1963
Update the docs
2024-06-27 11:05:52 +02:00
dfa7478685
Adopt reworked model::Type
2024-06-27 11:05:51 +02:00
ee238fd473
RCC: allow prettier to print errors
2024-06-27 11:05:49 +02:00
ac587cbb4f
Model: rename Type into TypeDefinition
2024-06-27 11:05:48 +02:00
b2959e36df
Minor improvements
2024-06-27 11:05:48 +02:00
398681c5ce
Introduce tests for invalidation
2024-06-25 09:50:38 +02:00
6e49fed965
FunctionMetadata::{ControlFlowGraph,Blocks}
2024-06-20 10:24:51 +02:00
d859db08a4
Fix tests
2024-06-20 10:24:51 +02:00
bce1d6c0f3
Adopt invalidation along the core pipeline
2024-06-20 10:24:50 +02:00
b5f7576573
Rework TupleTreeGenerator tracking
2024-06-20 10:24:50 +02:00
b350d12ad2
TTG: spread some optional: true around
2024-06-20 10:24:49 +02:00
6349299806
docs: Add simplify-switch artifact
2024-05-29 16:25:53 +02:00
46946df1d3
Adjust x86_64 collect-cfg test
2024-05-29 16:25:53 +02:00
4636bb736f
Fix MIME types documentation
2024-05-29 15:42:15 +02:00
84e3fac538
Minor changes
2024-05-29 12:06:03 +02:00
f35ca5efc2
for-collect-cfg.yml: make tests more robust
2024-05-22 10:25:25 +02:00
738da4fbb5
Minor changes
2024-05-22 10:25:25 +02:00
e3f191ff67
doc: Adjust tests because of cast reduction
2024-05-16 17:55:19 +02:00
452036edf1
Purge instructions to save return address
2024-04-30 15:25:53 +02:00
f777eaf00f
Introduce tests for RegisterUsageAnalyses
2024-04-19 18:33:00 +02:00
d8e58f7a36
for-detect-abi.yml: re-enable tests
...
Tests were accidentally disabled due to a typo.
2024-04-18 17:50:31 +02:00
f7b1130dc2
mkdocs: add additional.js
...
Add an empty `additional.js` file which can be used by downstream users
for additional javascript code.
2024-03-26 11:30:14 +01:00
13cc649226
test-model-diff: fix temporary directory usage
2024-03-18 19:32:35 +01:00
5894201920
Yield: update model-tutorial.md
2024-03-18 17:23:07 +01:00
44e5328477
Yield: add explicit directive support
2024-03-18 11:40:32 +00:00
7403f09b7d
docs: add new asm tokens
2024-03-18 07:20:41 +00:00
aa44fdbe91
docs: fix some typos
2024-03-18 07:20:41 +00:00
a58ccd159e
ImportPE: fix the filters
2024-03-15 19:05:10 +01:00
1b52530531
ABI-tests: turn temporary directory into "output"
2024-03-15 19:05:10 +01:00
d71fd7a1ad
ABI-tests: strip model of irrelevant functions
2024-03-15 19:05:10 +01:00
6feb9aa001
ABI-tests: rename replace-abi script
2024-03-15 19:05:10 +01:00
5407c11a8f
ABI: do not touch ABIs of unrelated functions
2024-03-15 19:05:10 +01:00
85abd9b6fc
revng artifact: introduce --analyze
2024-02-29 18:04:35 +01:00
d21aadfdd0
docs: document binary installation
2024-02-29 17:03:04 +01:00
2403f1e10b
mkdocs: make links relative
2024-02-26 16:08:54 +01:00
9f097e079d
revng-c opening: update docs
2024-02-16 10:32:49 +01:00
b0b1f10e72
ABI: move ToCABIFunctionType analysis to revng
2024-02-09 16:24:44 +01:00
e708a3655b
ABI: drop incomplete clrcall support
2024-02-09 15:09:37 +00:00
e62d4f79ef
ABI: remove an obsolete definition parameter
...
Since pointer to copy system got straightenned up, the old way of
marking them (`abi::Definition::UsePointerToCopyForStackArguments`)
is no longer needed.
2024-02-09 15:09:37 +00:00
5a36d8fccf
ABI-tests: update documentation
2024-02-09 15:09:37 +00:00
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
27491410d6
ABI: introduce a way to disable vector registers
2024-02-09 15:09:37 +00:00
4e81a34cd7
ABI: separate 'gcc' editions of microsoft ABIs
2024-02-09 15:09:37 +00:00
Alessandro Di Federico