Add intermediate graph representation support.

sikoba / isekai

Isekai verifiable computation project

MIT License

46 stars 8 forks source link

Closed Burgos closed 5 years ago

Burgos commented 5 years ago

This adds the intermediate graph definition. The DFGExpr is the node representing the expression, which can be constant, binary or unary operation.

Blocked on #5