Skip to content

Issues: SOSML/SOSML

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

6 Open 107 Closed
6 Open 107 Closed
Author
Filter by author
Label
Filter by label
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Milestones
Filter by milestone
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

Elaboration failed: You simply cannot rebind "!" help wanted it will not be fixed until someone else does it... p9: low priority minor bugs or those that are hard to trigger s:elaboration
#130 opened May 27, 2023 by serpent7776
1 of 4 tasks
Strange behavior with where clauses in module signatures p9: low priority minor bugs or those that are hard to trigger s:frontend t:squid
#121 opened Jun 7, 2021 by mb64
2
Functor squids p9: low priority minor bugs or those that are hard to trigger s:elaboration t:squid
#107 opened Nov 6, 2019 by PH111P
2 tasks
Update notifications for frontend p9: low priority minor bugs or those that are hard to trigger s:frontend t:enhancement
#106 opened Nov 5, 2019 by PH111P
Elaboration of non-terminating functions p9: low priority minor bugs or those that are hard to trigger s:elaboration t:squid
#35 opened Sep 4, 2017 by PH111P
@PH111P
1
Overflows p9: low priority minor bugs or those that are hard to trigger s:evaluation t:enhancement
#8 opened Jul 28, 2017 by PH111P
ProTip! What’s not been updated in a month: updated:<2024-04-26.