Andrea Gussoni
9b5eb460e0
docs: tested docs for QEMU helper functions
...
Walks through the full helper evolution pipeline (QEMU C ->
original IR -> full -> to-inline -> declarations-only), covering
env-to-CSV rewriting by fix-helpers, REVNG_INLINE/REVNG_EXCEPTIONAL
semantics, CSV access metadata, and per-artifact usage (lift,
enforce-abi, recompile).
All code snippets are tested via revng test-docs.
2026-05-29 17:12:35 +02:00
Giacomo Vercesi
a8e13e4ee7
docs: fix
...
Fix the docs so that `revng test-docs` passes. Rework the
`model-from-scrach.md` to use the new pipeline.
2026-04-10 11:45:13 +02:00
Alessandro Di Federico
b449883931
Docs: add python-scripting.md to index
2025-07-18 09:28:51 +02:00
Alessandro Di Federico
797ad1678b
Document CLI commands
2024-12-11 16:15:43 +01:00
Alessandro Di Federico
620d142d53
Reroganize and expand documentation
2024-12-11 16:15:37 +01:00
Alessandro Di Federico
0c7c20ad48
Introduce model, artifacts and analyses references
2024-12-11 16:15:27 +01:00
Alessandro Di Federico
276a4aa974
Generate model docs
2024-12-11 16:15:10 +01:00
Giacomo Vercesi
f7b1130dc2
mkdocs: add additional.js
...
Add an empty `additional.js` file which can be used by downstream users
for additional javascript code.
2024-03-26 11:30:14 +01:00
Alessandro Di Federico
757f7e21d7
Import docs
2024-02-09 10:04:24 +01:00