admin/revng-revng
1
0
Fork 0
mirror of https://github.com/revng/revng synced 2026-06-21 14:07:57 +00:00
Code Issues Packages Projects Releases Wiki Activity
Files
feature/pypeline-integrate-scripting
revng-revng/python/revng/project
T
History
Giacomo Vercesi 8ad19f2f3d revng.project: port to pypeline 
Convert `revng.project` to use the `revng2` command-line and the `revng
project daemon` server instead of the legacy ones.
2026-04-09 17:07:45 +02:00
..
model
revng.project: port to pypeline
2026-04-09 17:07:45 +02:00
__init__.py
Implement python interface for revng
2025-05-07 10:48:51 +02:00
cli_project.py
revng.project: port to pypeline
2026-04-09 17:07:45 +02:00
common.py
revng.project: port to pypeline
2026-04-09 17:07:45 +02:00
daemon_project.py
revng.project: port to pypeline
2026-04-09 17:07:45 +02:00
local_daemon_project.py
revng.project: port to pypeline
2026-04-09 17:07:45 +02:00
project.py
revng.project: port to pypeline
2026-04-09 17:07:45 +02:00