[Agda] [ANNOUNCE] Agda 2.5.4 release candidate 1

[Arseniy Alekseyev]

Ah, thank you!
FYI, I tried upgrading BinDivMod <https://github.com/Rotsor/BinDivMod> (I
used RC2) and that becomes ~2x faster (but still ~1.5x more memory-hungry)
with RC2 compared to 2.5.3.

On 26 May 2018 at 17:29, Ulf Norell <ulf.norell at gmail.com> wrote:

> 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/07e8a29c/attachment.html>