Output Tier #7
Description
I would like to add an option to give the tier of each function of the program. for example
./bin/faustml -i prog.ml -output
> f : 1-> 0
> g : 2 -> 1
...
This can be achieved after the tiering is done: we need to get an "inverse topological order" and then start the tier at 0.
We are sure that this will work, but we could also try to be more precise and collect the restriction we ended up with in the last graph. each <= that stayed is actually a <, and each <= that disappeared is an =