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.

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

GeneralSOS convention missing #39

Closed
f-brinkmann opened this issue Mar 23, 2022 · 7 comments
Closed

GeneralSOS convention missing #39

f-brinkmann opened this issue Mar 23, 2022 · 7 comments

Comments

@f-brinkmann
Copy link
Contributor

I noted that there is no GeneralSOS convention. It would be consistent to have it and fairly easy to generate, and it could easily be verified using sofar. Should we add it?

@petibub
Copy link
Member

petibub commented Mar 24, 2022

Good idea. I note that for the standard...

@f-brinkmann
Copy link
Contributor Author

Sounds good - I'll try to find time for a draft before the next standards meeting :)

@petibub
Copy link
Member

petibub commented Apr 4, 2022

Hi! Just a question: is there any data for GeneralSOS? I ask because we're following the idea that we create conventions only for data which exist...

@f-brinkmann
Copy link
Contributor Author

Nothing I have in mind. In this case I thought it would be nice to have a complete set of General* conventions. But I am also fine with leaving it as a pull until a use case emerges.

@isfmiho
Copy link
Collaborator

isfmiho commented Jun 27, 2022

Pleas re-open this topic once data is available.

@isfmiho isfmiho closed this as completed Jun 27, 2022
@f-brinkmann
Copy link
Contributor Author

I have a vague memory that we said we wanted to have this for completeness in this case, without data but I'm not sure. @petibub do you remember? I'm fine with both anyhow

@f-brinkmann
Copy link
Contributor Author

Sorry, I did not realize that this is the issue not the pull. In the pull we agreed to include it in API_MO: #41

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

3 participants