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/revng-distributable-revamp
revng-revng/python/revng
T
History
Giacomo Vercesi 1466023847 revng.cli: init commands_registry once 
Only init commands_registry once, this is to avoid commands being
re-registered and allow quicker execution of nested commands.
2022-10-31 18:52:36 +01:00
..
api
GraphQL: introduce target endpoint
2022-10-30 09:13:34 +01:00
cli
revng.cli: init commands_registry once
2022-10-31 18:52:36 +01:00
daemon
GraphQL: introduce target endpoint
2022-10-30 09:13:34 +01:00
model
revng.model: drop last version autodetection
2022-07-22 15:07:14 +02:00
support
revng.support: add get_root
2022-10-24 09:58:55 +02:00
__init__.py
Turn Python scripts into modules
2022-02-23 18:02:42 +01:00
tupletree.py
Introduce v2 of revng-check-conventions
2022-09-29 15:21:59 +02:00