Files
revng-revng/python
Giacomo Vercesi e5704ede11 Make Python API thread-safe and non-blocking
Since PipelineC is not thread-safe, add a lock to all function calls to
it to avoid any thread safety-related issues.

At the same time, use a thread pool to run "expensive" PipelineC
functions in GraphQL (specifically `produce_target` and `run_analysis`)
to avoid problems due to the cooperative nature of Python coroutines.
2022-05-24 10:56:04 +02:00
..
2022-02-23 18:02:42 +01:00

rev.ng python package

This python package provides classes that can be used to represent, serialize and deserialize rev.ng models.

It also contains other modules related to various revng CLI tools.

How to install

You probably want to install this package in a virtualenv:

python -m venv <virtualenv_dir>
source <virtualenv_dir>/bin/activate

Installation

To build and install from source:

pip install .

Creating redistributable packages

This command will create a redistributable package in dist:

python setup.py bdist_wheel

The package can be installed using pip:

pip install dist/revng*.whl