[Agda] agda halting problem

Andreas Abel andreas.abel at ifi.lmu.de
Thu Jul 5 19:26:20 CEST 2012


Sorry, we do not have runtime-bounds for Agda. ;-)

You could try to profile Agda on your example and see where the runtime 
goes...

Cheers,
Andreas

On 05.07.2012 18:02, Ondrej Rypacek wrote:
> Hi all
>
> Is there a way to tell if Agda is going to halt on my program? It's been crunching for more than 24 hours now, on a more or less constant memory use.
>
> Is there a way to tell if there's a point in keeping it alive?
>
> Cheers,
> Ondrej_______________________________________________
> Agda mailing list
> Agda at lists.chalmers.se
> https://lists.chalmers.se/mailman/listinfo/agda
>


-- 
Andreas Abel  <><      Du bist der geliebte Mensch.

Theoretical Computer Science, University of Munich
Oettingenstr. 67, D-80538 Munich, GERMANY

andreas.abel at ifi.lmu.de
http://www2.tcs.ifi.lmu.de/~abel/




More information about the Agda mailing list