Giacomo Vercesi 6c2d176827 python.api: introduce lock in destructors ...

Due to the possibly multi-threaded nature of the python C API, use
the C API lock also when invoking destructors.

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

..

__init__.py

revng.api: autodetect files

2022-06-29 14:49:29 +02:00

_capi.py

python.api: introduce lock in destructors

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

analysis.py

Support analyses and globals in Python

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

container.py

Support analyses and globals in Python

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

exceptions.py

Introduce PipelineC wrapper for Python

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

kind.py

Introduce PipelineC wrapper for Python

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

manager.py

revng.api: autodetect files

2022-06-29 14:49:29 +02:00

rank.py

Introduce PipelineC wrapper for Python

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

step.py

Support analyses and globals in Python

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

target.py

Support analyses and globals in Python

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

utils.py

Python API: automatically call destructors

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