Alessandro Di Federico 51323c4707 Introduce revng model export sqlite ...

This tool exports into a SQLite DB the prototypes of the functions in a
given model, along with the closure of its type dependencies.

2026-04-23 13:40:43 +02:00

..

_commands

Introduce revng model export sqlite

2026-04-23 13:40:43 +02:00

__init__.py

python: create python wheels

2023-12-12 14:52:22 +01:00

commands_registry.py

Command: fix typing of command in constructor

2025-06-04 13:30:41 +02:00

revng2.py

BinaryIdentifier: s/.Name/.CanonicalPath/g

2026-04-23 13:40:42 +02:00

revng.py

Introduce revng::Configuration

2026-04-23 13:40:43 +02:00

support.py

revng.project: port to pypeline

2026-04-10 11:45:12 +02:00