Giacomo Vercesi 159fa8558d revng.api: Count owned pointers and shutdown ...

rp_shutdown must be called after all the owning pointers given by
PipelineC are freed, in order to guarantee this easily, the python
ApiWrapper will use an atomic counter, which when shutdown has been
signaled and counter reaches zero will automatically call rp_shutdown

2022-10-04 14:13:55 +02:00

..

__init__.py

api.Manager: use TemporaryDirectory if no workdir

2022-09-26 18:09:01 +02:00

_capi.py

revng.api: Count owned pointers and shutdown

2022-10-04 14:13:55 +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

api.Manager: use TemporaryDirectory if no workdir

2022-09-26 18:09:01 +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

Python API: produce now returns a dict

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

utils.py

Python API: automatically call destructors

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