UoY-RoboStar robochart-textual issues

UoY-RoboStar / robochart-textual

This repository contains the plugins for the RoboChart textual editor

Eclipse Public License 2.0

0 stars 1 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

Additional WFCs

#36 pefribeiro closed 3 years ago
0
TT1: A transition with a deadline must have a trigger

#35 pefribeiro closed 3 years ago
0
Implement WFC TE5

#34 pefribeiro closed 3 years ago
1
Compositional merge

#33 pefribeiro closed 3 years ago
4
Typechecking of subtraction with natural numbers

#32 jameseb7 opened 3 years ago
1
Fix type checker for ArrayExp to handle vectors

#31 jameseb7 opened 3 years ago
0
events and variables with the same name in RoboChart cause errors in CSP

#30 alvarohm opened 3 years ago
5
check how to set parameter (in the semantics) of partially defined operations.

#29 alvarohm opened 3 years ago
0
operation calls to package operations not required by state machine

#28 alvarohm closed 3 months ago
0
Allow reference to variables using qualified names

#27 alvarohm opened 3 years ago
6
Fix type checker for RangeExp

#26 alvarohm opened 3 years ago
0
Fix type checker for Neg expression

#25 alvarohm opened 3 years ago
0
Ensure deadlines are well-typed.

#24 pefribeiro opened 3 years ago
0
Trigger revision

#23 pefribeiro closed 3 years ago
3
Randall/wfc_prob

#22 RandallYe closed 3 years ago
1
Fix for issue #20.

#21 pefribeiro closed 4 years ago
1
Implementation of C6 for Controllers permits multiple connections from boundary to state machines

#20 pefribeiro opened 4 years ago
0
Support for required clocks

#19 pefribeiro closed 4 years ago
0
Make methods that calculate inputs/outputs public

#18 pefribeiro closed 4 years ago
0
add record constructor as part of the language

#17 alvarohm opened 4 years ago
0
definition of constructor functions

#16 alvarohm opened 4 years ago
0
SIMPLE trigger in a SendEvent should be treated as an input and an output

#15 RandallYe closed 3 years ago
21
Allow qualified names for expressions

#14 pefribeiro opened 4 years ago
0
Stack overflow when saving RoboTool project

#13 martsi18 opened 4 years ago
3
Type-checking for required variables

#12 pefribeiro opened 4 years ago
1
Scope provider accepting controller event usage within operations

#11 alvarohm opened 4 years ago
0
Exception thrown in robochart.textual.Formatter

#10 ytzemih opened 5 years ago
0
Enumeration with no literals

#9 pefribeiro opened 5 years ago
0
Removed semantics from textual editor

#8 alvarohm closed 5 years ago
0
Mario

#7 ytzemih closed 5 years ago
0
add well-formedness conditions for the probabilistic semantics

#6 RandallYe closed 5 years ago
0
Mario

#5 ytzemih closed 5 years ago
0
Add non-deterministic assignment

#4 alvarohm opened 5 years ago
0
Validation rule soft required variables of operations should be checked agains statemachines that call them

#3 alvarohm opened 5 years ago
0
provider name and plugin name missing

#1 RandallYe opened 5 years ago
0