Skip to content

Issues: UoY-RoboStar/robocert-textual

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

55 Open 87 Closed
55 Open 87 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
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

'any into x' is not intuitive enhancement New feature or request help wanted Extra attention is needed question Further information is requested
#142 opened Jan 27, 2023 by MattWindsor91
Constants being instantiated twice in timed CSP
#141 opened Jan 20, 2023 by hollyrebecca
(0.2) validator bugs
#140 opened Dec 12, 2022 by MattWindsor91
Initial set builder is flawed bug Something isn't working
#139 opened Dec 12, 2022 by MattWindsor91
Invalid arities in generated CSP code
#138 opened Nov 30, 2022 by twright
2
Names of package-located artefacts not being expanded correctly bug Something isn't working
#136 opened Nov 1, 2022 by MattWindsor91
Enumerations aren't considered in scope resolution bug Something isn't working
#134 opened Oct 14, 2022 by MattWindsor91
1
Separate out csp-gen plugin enhancement New feature or request
#133 opened Oct 6, 2022 by MattWindsor91
1
Memory does not terminate bug Something isn't working
#132 opened May 24, 2022 by MattWindsor91 0.2
Missing tau-prioritisations in CorePropertyGenerator bug Something isn't working
#131 opened May 17, 2022 by MattWindsor91 0.2
Grammar allows qualified names where it shouldn't bug Something isn't working
#130 opened May 16, 2022 by MattWindsor91 1
Transitive dependency on robochart-assertions bug Something isn't working
#129 opened May 16, 2022 by MattWindsor91 1
Work out the correct synchronisation for par bug Something isn't working question Further information is requested
#128 opened May 10, 2022 by MattWindsor91 1
Consider distinguishing actions? enhancement New feature or request question Further information is requested
#127 opened May 3, 2022 by MattWindsor91 2
Constants must be visible in scope to be used bug Something isn't working
#126 opened May 3, 2022 by MattWindsor91 1
Untimed semantic model enhancement New feature or request question Further information is requested
#125 opened May 3, 2022 by MattWindsor91 1
Should collection worlds include siblings? enhancement New feature or request question Further information is requested
#124 opened May 2, 2022 by MattWindsor91 1
Scoping for components is broken, but only for unqualified names bug Something isn't working
#122 opened Apr 14, 2022 by MattWindsor91 1
Ignore and consider enhancement New feature or request
#120 opened Apr 8, 2022 by MattWindsor91 1
Tighten events-need-connection WFC to trigger for module<->platform events enhancement New feature or request
#119 opened Apr 7, 2022 by MattWindsor91 0.2
Floating point expressions are not handled in CSP-M bug Something isn't working
#117 opened Apr 4, 2022 by MattWindsor91 1
Neg is not checked bug Something isn't working
#114 opened Mar 30, 2022 by MattWindsor91 0.2
Tests for arithmetic generation broken by missing types bug Something isn't working
#113 opened Mar 30, 2022 by MattWindsor91 0.2
Assignment for operation formal parameters enhancement New feature or request
#108 opened Mar 28, 2022 by MattWindsor91 1
Non-local choice question Further information is requested
#105 opened Feb 11, 2022 by MattWindsor91 1
1
ProTip! What’s not been updated in a month: updated:<2024-12-01.