aeflores / cofloco Goto Github PK

Hi!
We are experimenting with CoFloCo web interface and it works great.
However, it seems that we can not analyze recursive functions.
For example when we tried the following, nothing happened:

void scan_rec(int n)
{
    if (n <= 1) return;
    else scan_rec(n-1);
}

Other examples we tried worked fine,
are we doing something wrong?
Thanks!

Hi @aeflores ,
the following program returns Asymptotic class: infinity,
and we wanted to know if this failure is due to an inherent limitation
in the cost relation solving? or other reason? Also, is it possible to extract the cost relations from the web interface of CoFloCo? Thank you very much!

void cex(unsigned int a, unsigned int b)
{
    unsigned int out=1;
    
    while (out)
    {
        if (a > 0)
        {
            a=a-1;
            b=2*b;
        }
        else if (b > 0)
        {
            b=b-1;
        }
        else
        {
            out=0;
        }
    }
}

We have not been able to access http://cofloco.se.informatik.tu-darmstadt.de for some time.