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
540b87e2ff28ec9b52d1278a0b4f02becb342d58
revng-revng/python/revng
T
History
Alessandro Di Federico ba7756244e fetch_debuginfo: fix PDB URL computation 
The pefile library changed its API.
On top updating the code accordingly, we now also properly pad hex
numbers.
2023-11-21 10:41:29 +01:00
..
api
manager.py: temporarily remove auto-saves
2023-11-03 16:30:40 +01:00
cli
fetch_debuginfo: fix PDB URL computation
2023-11-21 10:41:29 +01:00
daemon
revng.graphql: enforce index consistency
2023-11-03 14:51:31 +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