-
Notifications
You must be signed in to change notification settings - Fork 9
All issues
Issue creation is restricted in this repository
Issues
is:issue state:open
is:issue state:open
Search results
- Status: Open.#134 In SOSML/SOSML;
Trunc not working
p5: medium prioritymajor bugs that are hard to trigger or minor bugs that are easy to triggermajor bugs that are hard to trigger or minor bugs that are easy to triggerStatus: Open.#133 In SOSML/SOSML;Elaboration failed: You simply cannot rebind "!"
help wantedit will not be fixed until someone else does it...it will not be fixed until someone else does it...p9: low priorityminor bugs or those that are hard to triggerminor bugs or those that are hard to triggerStatus: Open.#130 In SOSML/SOSML;Strange behavior with
whereclauses in module signaturesp9: low priorityminor bugs or those that are hard to triggerminor bugs or those that are hard to triggerStatus: Open.#121 In SOSML/SOSML;Functor squids
p9: low priorityminor bugs or those that are hard to triggerminor bugs or those that are hard to triggerStatus: Open.#107 In SOSML/SOSML;Update notifications for frontend
p9: low priorityminor bugs or those that are hard to triggerminor bugs or those that are hard to triggerStatus: Open.#106 In SOSML/SOSML;Elaboration of non-terminating functions
p9: low priorityminor bugs or those that are hard to triggerminor bugs or those that are hard to triggerStatus: Open.#35 In SOSML/SOSML;Overflows
p9: low priorityminor bugs or those that are hard to triggerminor bugs or those that are hard to triggerStatus: Open.#8 In SOSML/SOSML;