Commit Graph

6 Commits

Author SHA1 Message Date
Giacomo Vercesi 591107cdce Overhaul PTML functionality
The logic of the `revng ptml` command was too tightly coupled with the
parsing of the xml. Overhaul the structure of the ptml code and split it
in two locations:
* `revng.ptml`: this module contains functions that allow easy
  manipulation of PTML, both for printing it and for obtaining the split
  metadata/text version.
* `revng.internal.cli._commands.ptml`: this implements the actual `revng
  ptml` command. This leverages the new logic in the `revng.ptml` module
  while maintaining the same functionality.
2025-05-05 17:28:48 +02:00
Ivan Krysak ac587cbb4f Model: rename Type into TypeDefinition 2024-06-27 11:05:48 +02:00
Ivan Krysak 44e5328477 Yield: add explicit directive support 2024-03-18 11:40:32 +00:00
Ivan Krysak 7403f09b7d docs: add new asm tokens 2024-03-18 07:20:41 +00:00
Ivan Krysak aa44fdbe91 docs: fix some typos 2024-03-18 07:20:41 +00:00
Alessandro Di Federico 757f7e21d7 Import docs 2024-02-09 10:04:24 +01:00