Files
Antonio Frighetto 8f9ab35ca2 Introduce print-invalidations tool
A simple tool that prints the overestimated targets
found by `getInvalidations` of all Kinds, without
actually invalidating them.
2023-01-09 16:18:59 +01:00
..
2023-01-09 16:18:59 +01:00
2022-12-13 11:25:36 +01: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