Documentation
¶
Index ¶
Constants ¶
This section is empty.
Variables ¶
This section is empty.
Functions ¶
func SimplifyProgram ¶
func SimplifyProgram(prog *migo.Program) *migo.Program
SimplifyProgram takes the input Program prog and reduce it to a smaller equivalent Program.
It removes functions that reduces to τ, and removes call to functions that do not exist.
Types ¶
This section is empty.
Source Files
Click to show internal directories.
Click to hide internal directories.