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.

• 01. Qué es RIF
• 02. Instalación
• 03. Arquitectura

02. Lenguaje

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

• 01. Estructura de fuentes
• 02. Configuración y linker
• 03. Tablas y cargas
• 04. Rules y valores

03. Compilación

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

• 01. MIR externo
• 02. Paquetes RIF
• 03. Funciones Python

04. Ejecución

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

• 01. Memoria de bits
• 02. Datastack
• 03. Variantes
• 04. Diagnóstico y pruebas
• 05. Inserts y parches

Inicio rápido

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

rif main.rif program.asm
rif --pack main.rif
rif 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.