Folder
Homonyms
neural/trident/reference/ir
Trident IR Architecture [Language](/neural/trident/reference/language) Β· [Targets](/neural/trident/reference/targets) Β· [VM contracts](/neural/trident/reference/vm) Trident owns source semantics, typechecking and shared typed IR. A foreign warrior owns instruction selection and assembly legality.β¦
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β¦
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β¦