Stream: math-comp devs

Topic: v2.0.0 release


view this post on Zulip Reynald Affeldt (May 10 2023 at 08:30):

[IMPORTANT] Release of MathComp 2.0.0 in progress

Dear all,

We are now starting the release process for mathcomp 2.0.0.
All pull requests targeted to this release have been merged.
This message grabs the lock on the master branch and on the hierarchy-builder branch.

Please refrain from adding anything to the master branch and the hierarchy-builder branch until the lock is released.

Best wishes,
--
Reynald, Pierre, and Enrico

view this post on Zulip Reynald Affeldt (May 10 2023 at 12:39):

[IMPORTANT] Release of MathComp 2.0.0 completed
Dear all,

The release has been tagged.
We are releasing the lock on math-comp master.

Best wishes,
--
Reynald, Pierre, and Enrico

view this post on Zulip Karl Palmskog (May 10 2023 at 12:46):

just curious, is the advice to jump on the upgrade to 2.0.0 or use 1.17.0? How should one decide what to upgrade to?

view this post on Zulip Pierre Roux (May 10 2023 at 12:50):

As https://github.com/math-comp/math-comp/releases/tag/mathcomp-2.0.0 says, we'll continue maintaining MC 1 for a while so if you are happy with it no need to rush.

view this post on Zulip Pierre Roux (May 10 2023 at 12:51):

On the other hand, most of the development will now happen on MC 2.

view this post on Zulip Pierre Roux (May 10 2023 at 12:53):

So the wisest choice is probably to move only when lacking a new feature.

view this post on Zulip Pierre Roux (May 10 2023 at 12:53):

BTW, thanks for the advice to provide a porting tutorial! As you can see we did follow it.

view this post on Zulip Karl Palmskog (May 10 2023 at 12:55):

let's link here for reference: https://github.com/math-comp/math-comp/blob/master/etc/porting_to_mathcomp2/porting.pdf

view this post on Zulip Karl Palmskog (May 10 2023 at 12:55):

you may want to link to the tag for this PDF in the release notes (or put it as part of the release files)? it may move?

view this post on Zulip Pierre Roux (May 10 2023 at 13:02):

Indeed, on the other hand, we might also want to update it in the near future.


Last updated: Oct 13 2024 at 01:02 UTC