Stream: math-comp users

Topic: Tarjan 2.0


view this post on Zulip Karl Palmskog (Jun 07 2023 at 13:21):

Any chance of Tarjan and Kosaraju being ported to HB+2.0? Or would a port to 2.0 at least be welcome as PR? https://github.com/math-comp/tarjan

(I would personally like this project to be moved to Coq-community for easier shared maintenance/releases, but I will not push for it beyond this mention)

view this post on Zulip Pierre Roux (Jun 07 2023 at 14:08):

The port is done (it was a trivial one), I still have to open the PR though.

view this post on Zulip Pierre Roux (Jun 08 2023 at 18:47):

Here it is: https://github.com/math-comp/tarjan/pull/24

view this post on Zulip Karl Palmskog (Jun 08 2023 at 19:02):

ah, I think we have the same Nix Toolbox problem for Tarjan CI as for RegLang... (so if someone solves it here I will borrow the solution in RegLang)

view this post on Zulip Pierre Roux (Jun 08 2023 at 19:16):

No, for Tarjan it's fine. It's just that 8.12-8.15 exist on master so the toolbox run them (pull_request_target), once the PR merged, the files on master will be updated and next PR will be fine. So we just have to ignore the current failures.

view this post on Zulip Pierre Roux (Jun 09 2023 at 15:42):

Karl Palmskog said:

(I would personally like this project to be moved to Coq-community for easier shared maintenance/releases, but I will not push for it beyond this mention)

I don't think there is any opposition to that. A movement started a few months ago, for instance apery and fourcolor were already moved to coq-community, the movement then stopped but more by lack of manpower than willingness IMHO. So I guess if you initiate it / push a bit, this will happen, otherwise not.

view this post on Zulip Karl Palmskog (Jun 09 2023 at 16:54):

OK, will do the proposal and handle technicalities then, and also be (co-)maintainer unless someone prefers otherwise.

view this post on Zulip Karl Palmskog (Jun 09 2023 at 19:56):

it seems like MC 2.0 triggered a lot of nice things, e.g., we got some old PRs figured out in RegLang and did the Graph Theory release.

view this post on Zulip Karl Palmskog (Jun 10 2023 at 12:52):

https://github.com/coq-community/manifesto/issues/146 - proposal to move to Coq-community.

view this post on Zulip Karl Palmskog (Jun 19 2023 at 09:25):

@Laurent Théry are you OK with moving Tarjan to Coq-community? Just a thumbs-up or comment to this effect here would suffice: https://github.com/coq-community/manifesto/issues/146

view this post on Zulip Karl Palmskog (Jun 19 2023 at 11:01):

@Pierre Roux do you have privileges to move the tarjan repo the coq-community org possibly? I think we got all thumbs-up we needed.

view this post on Zulip Pierre Roux (Jun 19 2023 at 11:11):

No we should ask @Cyril Cohen I guess. @Cyril Cohen could you move it?

view this post on Zulip Cyril Cohen (Jun 19 2023 at 11:20):

Moving repository to coq-community/tarjan. This may take a few minutes.

view this post on Zulip Karl Palmskog (Jun 19 2023 at 11:22):

@Cyril Cohen thanks! Would it be OK with you if I do a last release compatible with MC 1.X? Then Pierre's MC 2.0 PR could be merged.


Last updated: Jul 23 2024 at 20:01 UTC