Documentación de RIF

Versión: 1.0.0 Runtime: Python 3.10+ con Gram

RIF es un framework retargetable para describir conjuntos de instrucciones, formatos de ensamblador y diseños binarios. Una definición RIF describe cómo se reconoce un programa MIR externo, cómo se consultan sus datos y cómo se emite el binario puro final.

RIF usa Gram para el análisis léxico y el parseo sintáctico. El frontend convierte una definición .rif en Rules compiladas; el runtime de MIR ejecuta esas Rules contra un programa externo.

Consulta el changelog de RIF para las notas versionadas.

Índice de documentación

01. Introducción

Conceptos, instalación, estructura del proyecto y flujo completo.

02. Lenguaje

El lenguaje .rif: declaraciones, configuración, tablas, Rules, valores y cargas externas.

03. Compilación

Compilación de MIR, paquetes .pack y funciones nativas.

04. Ejecución

Memoria de bits, datastack, variantes, trazas, diagnóstico y pruebas.

05. Herramientas PCP-I

Plantillas binarias declarativas, pits rellenables, inspección y uso desde MIR.

06. Herramientas STORE

Valores tipados, payloads raw, media, archivos, contenedores y consumo desde MIR.

Inicio rápido

main.rif + program.asm -> program.bin

vnma run main.py main.rif program.asm
vnma run main.py --pack main.rif -o main.pack
vnma run main.py main.pack program.asm

La salida es un archivo binario puro. Si no se especifica -o, el nombre se deriva del archivo MIR y usa la extensión .bin.

main.py es la entrada canónica. rif.cmd es únicamente un lanzador opcional para usar RIF desde cualquier carpeta cuando la raíz del repositorio está en PATH.