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
5,680 Commits 215 Branches 0 Tags
feature/backlog-fixes
Commit Graph

5 Commits

Author SHA1 Message Date
Giacomo Vercesi e651eaa072 revng ptml: update color token mapping 
Update the dict that takes care of mapping PTML tokens to their color
with the updated list of PTML tokens.
 2024-10-31 08:58:59 +01:00
Ivan Krysak 44e5328477 Yield: add explicit directive support 2024-03-18 11:40:32 +00:00
Ivan Krysak a3e9e689ca cli/ptml: add support for the new asm tokens 2024-03-18 07:20:41 +00:00
Ivan Krysak e1060ed6ed cli/ptml: fix asm.helper support 2024-03-18 07:20:41 +00:00
Giacomo Vercesi 942cf50735 python: create python wheels 
Package revng's python code in two wheels: `revng` and `revng_internal`.
The revng wheel contains the
`revng.{pipeline_description,model,tupletree}` modules, while the
`revng_internal` one everything under `revng.internal`.
 2023-12-12 14:52:22 +01:00