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
94aa2b51d2ccbcd2e5d89216e307a74e42ddb94c
revng-revng/python/revng
T
History
Giacomo Vercesi 94aa2b51d2 Add Context Global Index
2023-11-03 12:13:58 +01:00
..
api
Add Context Global Index
2023-11-03 12:13:58 +01:00
cli
Propagate errors from Analysis/Pipes to daemon
2023-11-03 12:13:58 +01:00
daemon
Add Context Global Index
2023-11-03 12:13:58 +01:00
model
model/_util.py: move into tupletree.py
2023-09-14 15:44:32 +02:00
pipeline_description
Introduce PipelineDescription
2023-09-14 15:44:33 +02:00
support
revng.cli: centralize collect_pipelines
2023-08-23 17:45:36 +02:00
__init__.py
Turn Python scripts into modules
2022-02-23 18:02:42 +01:00
tupletree.py
model/_util.py: move into tupletree.py
2023-09-14 15:44:32 +02:00