Skip to content

Issues: UoY-RoboStar/robochart-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

44 Open 14 Closed
44 Open 14 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

Invalid matrices allowed by type checker.
#87 opened Nov 26, 2024 by ArjunBadyal
Revise wording of 'initial state' in WFC validation messages enhancement New feature or request
#86 opened Oct 10, 2024 by pefribeiro
Ensure proper non-duplication of names in a controller bug Something isn't working
#82 opened Jul 3, 2024 by pefribeiro
Add validation rules to forbid quantified predicates as values
#80 opened Mar 19, 2024 by alvarohm
@alvarohm
Error executing EValidator when type-checking expression using typed enumerated literals and FQN bug Something isn't working
#75 opened Aug 15, 2023 by pefribeiro
@alvarohm
Time units (s, ms, ns) in RoboChart & RoboSim enhancement New feature or request
#73 opened Jun 1, 2023 by alvarohm
@alvarohm
Type-checking of matrix type can lead to EValidator error bug Something isn't working
#72 opened May 25, 2023 by pefribeiro
@alvarohm
ProductType with matrix type does not validate bug Something isn't working
#71 opened May 25, 2023 by pefribeiro
@alvarohm
Names reserved in the CSP semantics are not reserved in RoboChart bug Something isn't working
#70 opened Jan 26, 2023 by MattWindsor91
1
Comparison operations can be chained, but lead to generator problems later bug Something isn't working
#69 opened Jan 25, 2023 by MattWindsor91
5
Types with the same name, but declared in different packages: are they the same? bug Something isn't working question Further information is requested
#68 opened Jan 17, 2023 by pefribeiro
@alvarohm
4
Require a built-in function for square in RoboChart
#67 opened Jan 9, 2023 by uoy-fangyan
1
Multiple connections from an event on the robotic platform bug Something isn't working
#66 opened Nov 9, 2022 by madielfilho
Required interfaces with initialized variables enhancement New feature or request
#65 opened Oct 4, 2022 by pefribeiro
Record construction does not check if all fields are defined bug Something isn't working
#64 opened Aug 24, 2022 by alvarohm
@alvarohm
Asynchronous connections between controller and machines bug Something isn't working enhancement New feature or request
#63 opened Jul 21, 2022 by pefribeiro
Support for asynchronous connections between state machines enhancement New feature or request
#61 opened Jun 23, 2022 by pefribeiro
Matrices should be represented in row-major format
#58 opened Jun 20, 2022 by alvarohm
@alvarohm @pefribeiro
2
Role of diagram construct in the textual language enhancement New feature or request question Further information is requested
#54 opened Jun 15, 2022 by pefribeiro
@alvarohm
6
Consider refactoring of extension RoboCalcTypeProvider in RoboChartValidator enhancement New feature or request
#53 opened Apr 8, 2022 by pefribeiro
Revise type-checking of ClockExp bug Something isn't working enhancement New feature or request
#52 opened Mar 22, 2022 by pefribeiro
@pefribeiro
2
robochart validator does not catch assignment to constants bug Something isn't working
#42 opened Nov 30, 2021 by alvarohm
@alvarohm
Update rule 15 to hide unconnected events bug Something isn't working
#38 opened Aug 16, 2021 by alvarohm
@alvarohm
state machine wfc should be applied to operation definitions enhancement New feature or request
#37 opened Aug 16, 2021 by alvarohm
@alvarohm
Typechecking of subtraction with natural numbers
#32 opened May 19, 2021 by jameseb7
1
ProTip! Exclude everything labeled bug with -label:bug.