Giters

mahatt / cv-semantics-draft

Temporary work for semantics for compiler IR language with domain opts

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

cv-semantics-draft

Temporary work for semantics for compiler IR language with domain opts.

TODO:

  1. Algebriac opts
  2. Space locality opts -- workout integer polyhedron first
  3. Annotated IR for polymorphs instructions

About

Temporary work for semantics for compiler IR language with domain opts