3b135a2a2f
MFP: use the provided GraphTraits for RPOT
2024-04-18 17:50:32 +02:00
dae9f33544
Minor changes
2024-04-18 17:50:31 +02:00
2cd7777030
MFP: add SetIntersectionLattice
2024-03-19 09:43:59 +01:00
259d64fc59
MFP::getMaximalFixedPoint: name return result type
2023-07-26 10:16:25 +02:00
43baa73149
DOTGraphTraits<MFP::Graph>: improve HTML handling
2023-07-26 10:16:25 +02:00
ee335eadf1
GraphTraits: improve handling of const MFP::Graph
...
Improve the handling of const MFP::Graph in GraphTraits and
DOTGraphTraits.
2023-07-26 10:16:25 +02:00
9f1d9fd5d0
Use Container::contains() where appropriate
2023-07-02 15:06:11 +00:00
a123ec2c35
Remove clang-format off around concepts
...
Now that clang-format no longer breaks anything involving a concept or
a requires clause on sight, these are no longer necessary
2023-07-02 13:20:49 +02:00
bc98e0079f
Formatting: change PenaltyReturnTypeOnItsOwnLine
...
The new value is 21.
2023-07-02 13:20:49 +02:00
a65ccc3413
Introduce ValueMaterializer
...
`ValueMaterializer` is a rewrite of what was called `AdvancedValueInfo`
which follows the same principles.
The main benefits over the old version is:
* We materialize the data-flow graph and the CFG of the relevant part of
root. This makes debugging significantly easier.
* We drop the old MonotoneFramework infrastructure in favor of
getMaximalFixedPoint.
* We significantly reduce the amount of queries we make to
AdvancedValueInfo.
2023-06-30 13:39:22 +02:00
5ebec631b9
getMaximalFixedPoint: fix Flow argument type
2023-06-30 12:35:18 +02:00
b53d3f457b
Minor changes
2023-06-30 12:35:18 +02:00
31cd2b53f9
rcc: add codespell
...
Add codespell to the list of checks performed by
revng-check-conventions. This should reduce the amount of typos present
in the revng codebase.
2023-05-11 10:05:32 +02:00
c2815949c7
Adopt std::same_as of libcxx
2022-04-15 18:25:08 +02:00
b4c733ab57
Move Concepts.h into include/ADT for better reuse
2022-03-30 17:09:24 +02:00
cfb47157b9
clang-tidy: readability-identifier-naming
...
This commit fixes all the non-compliance with our preliminary clang-tidy
configuration, which will be merged soon.
2022-01-07 09:18:05 +01:00
7c050ee377
mv include/revng/{TypeShrinking,MFP}/SetLattices.h
2021-12-17 18:51:06 +01:00
1dbe474873
Whitespace fixes
2021-12-16 11:56:06 +01:00
cbd81e57d9
Improve MFP
2021-12-15 18:03:30 +01:00
Alessandro Di Federico