Verifying temporal properties. Need problems.

[Bjorn Heimir Bjornsson]

Yermat <loic at yermat.net1.nerim.net> wrote in
> Instead of searching the workflow yourself you might look at PyPY.
> There is a class (see translator.py) that construct such a flow.

Thanks Loic for pointing out pypy's controlflow. I will check if I can use 
it. I had searched for something like this for Python but never found 
anything.

> On monday, I will show you a kind of workflow I'm creating in case
> mine is more complete than yours...

It would be really interesting to see what can be done with pypy's 
controlflow.

Bjorn