[Agda] [ANNOUNCE] Agda 2.5.4 release candidate 1

[Ulf Norell]

I'm not sure what made the memory usage spike in 2.5.4, but I've made a
pull request [1] fixing the problem in your code.
Om my machine it now checks in 7s instead of 45s.

/ Ulf

[1] https://github.com/Rotsor/Primes/pull/1

On Sat, May 26, 2018 at 5:19 AM, Arseniy Alekseyev <
arseniy.alekseyev at gmail.com> wrote:

> I tried the RC on my Primes <https://github.com/Rotsor/Primes> repo and
> the new version is much more memory-hungry (I want to say ~2x) and slightly
> slower (~60 seconds instead of 53) compared to Agda 2.5.3.
>
> It's totally unimportant to have this specific thing work well, but I
> thought people might find the slowdown surprising.
>
> On 25 May 2018 at 20:26, Andrés Sicard-Ramírez <asr at eafit.edu.co> wrote:
>
>> On 25 May 2018 at 12:56, Sergei Meshveliani <mechvel at botik.ru> wrote:
>> > On Sat, 2018-05-19 at 15:33 -0500, Andrés Sicard-Ramírez wrote:
>> >> The Agda Team is very pleased to announce the first release candidate
>> >> of Agda 2.5.4. We plan to release 2.5.4 in one week.
>> >>
>> >
>> >
>> > Can you please delay it a bit?
>>
>> We have decided not to release Agda 2.5.4 this week but next week.
>>
>> --
>> Andrés
>> _______________________________________________
>> Agda mailing list
>> Agda at lists.chalmers.se
>> https://lists.chalmers.se/mailman/listinfo/agda
>>
>
>
> _______________________________________________
> Agda mailing list
> Agda at lists.chalmers.se
> https://lists.chalmers.se/mailman/listinfo/agda
>
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.chalmers.se/pipermail/agda/attachments/20180526/01aa965e/attachment.html>