Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Add PlusPy's Messaging.tla #41

Open
lemmy opened this issue May 17, 2021 · 1 comment
Open

Add PlusPy's Messaging.tla #41

lemmy opened this issue May 17, 2021 · 1 comment
Labels
enhancement New feature or request

Comments

@lemmy
Copy link
Member

lemmy commented May 17, 2021 •
edited
Loading

PlusPy introduces a (generic) Messaging module that we should move to the CommunityModules.

/cc @johnyf
@lemmy lemmy added the enhancement New feature or request label May 17, 2021
@lemmy lemmy mentioned this issue May 18, 2021
Closed
@johnyf
Copy link

johnyf commented May 18, 2021

Indeed, and if the Messaging module is removed from the repository of PlusPy, then some mechanism could be added there for fetching the CommunityModules (e.g., for running the test test8.scr, which uses the module TestBinBosco, which instantiates the module BinBosco, which instantiates the module Messaging).

@lemmy lemmy mentioned this issue Jun 18, 2021
Closed
@lemmy lemmy mentioned this issue Sep 24, 2021
Open
@lemmy lemmy changed the title Add PlusPy's Messaging.tla Add PlusPy's Messaging.tla Nov 2, 2021
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
enhancement New feature or request
Milestone
No milestone
Development

No branches or pull requests
2 participants
@lemmy @johnyf