Massimo Fioravanti d55aa9b9e6 Pipeline: remove * from targets ...

Now * is just a pipeline frontend shorthand.

2022-10-20 14:20:12 +02:00

..

__init__.py

revng.api: remove dead import

2022-10-11 17:09:18 +02:00

_capi.py

Put Python packages into lib/python*/site-packages

2022-10-11 19:08:10 +02:00

analysis.py

Support analyses and globals in Python

2022-05-24 10:56:02 +02:00

container.py

Pipeline: Make recalculateAllPossibleTargets

2022-06-29 14:50:58 +02:00

error_list.py

PipelineC: expose globals verification

2022-07-28 08:47:46 +02:00

exceptions.py

PipelineC: expose globals verification

2022-07-28 08:47:46 +02:00

kind.py

Introduce PipelineC wrapper for Python

2022-04-26 15:59:35 +02:00

listenable_manager.py

revng daemon: introduce notifications

2022-06-29 14:50:58 +02:00

manager.py

Pipeline: remove * from targets

2022-10-20 14:20:12 +02:00

rank.py

Introduce PipelineC wrapper for Python

2022-04-26 15:59:35 +02:00

step.py

Add singleTargetFilename to pipelines

2022-06-29 14:50:58 +02:00

string_map.py

Pipeline: introduce options for analyses

2022-08-29 14:43:25 +02:00

target.py

Pipeline: remove * from targets

2022-10-20 14:20:12 +02:00

utils.py

Python API: automatically call destructors

2022-05-24 08:59:08 +02:00