255748228a
Add yield-call-graph-slice to pypeline
2025-12-10 16:16:14 +01:00
782fb1d747
Yield: make TTG verification more strict
...
Some stuff that was before implicitly checked during deserialization
now need explicit checks, those are introduced here.
2025-10-13 18:33:10 +03:00
fbf79b5d1b
Make Pipe::checkPrecondition optional
2024-09-27 12:07:18 +02:00
c8d4381297
s/Context &Ctx/Context &Context/g
2024-09-27 12:07:17 +02:00
553d869d03
Drop Pipe::print method
2024-06-20 10:24:51 +02:00
bce1d6c0f3
Adopt invalidation along the core pipeline
2024-06-20 10:24:50 +02:00
c061f1f971
Make Pipe::checkPrecondition mandatory
2024-05-22 10:25:25 +02:00
d9367954a4
Convert all public strings to kebab-case
2024-02-09 10:04:24 +01:00
5f8143207d
Generalize FunctionStringMap
...
Generalize `FunctionStringMap` into `detail::GenericStringMap`, which
supports any `Depth=1` rank. `FunctionStringMap` remains as an `using`
with `Rank = ranks::Function`.
2024-01-26 19:13:58 +01:00
c276a439b5
Add pipeline invalidation
...
Replace the stub implementation of invalidation with the proper
implementation. A ReadPathCache is added to each global so that it can
keep tracks of what target are associated to which read paths.
2024-01-02 11:14:56 +01:00
d55aa9b9e6
Pipeline: remove * from targets
...
Now * is just a pipeline frontend shorthand.
2022-10-20 14:20:12 +02:00
9363bbd70a
Pipeline: every container type has now a C++ type
2022-09-29 15:51:17 +02:00
6724b6d9cd
revng/Yield/Pipes: streamline file naming
2022-09-26 12:10:47 +02:00
Giacomo Vercesi