Verifying temporal properties. Need problems.

[Yermat]

Bjorn Heimir Bjornsson wrote:
> 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

Hi,
At http://www.fejoz.net/Loic/Divers, you will find a little example of 
the output of PyPy and output of my own program.
There is also my own program which only use Python AST where as PyPY is 
more concrete.

Good luck !
Loïc