Folder
Homonyms
neural/inf/specs/ir
inf IR the intermediate representation between an inf rule and its execution. the IR is a relational-algebra plan β inf's analog of trident's TIR. it is the one artifact three consumers share: the bootstrap executes it via CozoDB, the proof path compiles it to constraints (seeβ¦
neural/trident/reference/ir
βοΈ Trident IR: Architecture & Design [β Language Reference](/neural/trident/reference/language) | [Target Reference](/neural/trident/reference/targets) 54 operations. 4 tiers. One source language compiles everywhere. The pipeline boundary is ProgramBundle. Everything above it is Trident (theβ¦
soft3/glia/run/specs/ir
Graph IR Intermediate representation for computation graphs. Used by the graph executor path ([architecture.md](/soft3/glia/run/specs/architecture)) to execute any model expressible as a composition of ops from [ops.md](/soft3/glia/run/specs/ops). A `.model` file may optionally include anβ¦