Giacomo Vercesi
|
000d75dbb7
|
pypeline: add check_precondition to Pipe
Add the `check_precondition` function to the `Pipe` class. This will be
run before the actual schedule creates containers and runs itself
proper.
|
2025-11-17 10:04:13 +01:00 |
|
Giacomo Vercesi
|
38921a182c
|
Pipe: drop incorrect assertion
In `prerequisites_for`, if a pipe has a container in `READ` then it
needs to be forwarded backward, not asserted on.
|
2025-11-17 10:04:13 +01:00 |
|
Giacomo Vercesi
|
32fd86d33a
|
Pipe: drop name argument in constructor
Having a pipe's name different from its class name is useless, drop the
feature entirely.
|
2025-11-17 10:04:12 +01:00 |
|
Giacomo Vercesi
|
b622fe8f19
|
Implement FileProvider interface
Implement the `FileProvider` interface, this allows pipes to request
files given a `FileRequest` (hash and optional size/name).
|
2025-10-16 17:48:45 +02:00 |
|
Giacomo Vercesi
|
688b9fe111
|
Introduce compatibility with revng-pypeline
Add the necessary machinery to allow `Pipe`s, `Analysis`es,
`Container`s, `Model` and `ObjectID` to be implemented in C++ and used
by Python.
|
2025-09-17 14:02:40 +02:00 |
|
Tommaso Fontana
|
80eb02c207
|
Pypeline: merge pypeline
|
2025-09-10 12:05:15 +02:00 |
|