Zachary Stone (May 18 2023 at 14:59): Zachary Stone (May 18 2023 at 14:59):With the release of mathcomp 2 (congrats!), I'd love to see the analysis/hierarchy-builder branch made the new master. I'll have a bit of time next week, and I would be happy to contribute here.
hierarchy-builder branch had all sorts of special nix configuration that'll likely need to be changed. Pierre Roux (May 18 2023 at 15:30):The only dependency left to merge is finmap: https://github.com/math-comp/finmap/pull/84
Other than that, on Analysis side, the only remaining work before merging is updating the doc (file headers and changelog file).
Reynald Affeldt (May 18 2023 at 15:43):We can anticipate a bit and already prepare the formatting of the doc in master following https://github.com/math-comp/math-comp/wiki/How-to-document .
Jason Gross (Aug 22 2023 at 19:20):The finmap PR has been merged, any update on this?
Reynald Affeldt (Aug 23 2023 at 00:52):We still regularly update the branch https://github.com/math-comp/analysis/pull/951 by cherry-picking all the new commits that are merged into master.
It is still intended to become the new master, the transition from MathComp 1 to MathComp 2 is not supposed to happen before September.
We have updated several master files already using HB to the new documentation format. Work to at least prepare the largest files for the transition was scheduled for September.
Reynald Affeldt (Aug 23 2023 at 00:55):(I answered before reading this topic https://coq.zulipchat.com/#narrow/stream/237664-math-comp-users/topic/mathcomp.202.2E0.20status.3F)
abab9579 (Sep 19 2023 at 07:27):Woah already mathcomp 2? Congrats!
Last updated: Apr 19 2024 at 09:01 UTC