tima-overlays tima issues

tima-overlays / tima

2 stars 0 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

Semantic check: in pattern matching, all fields MUST exist in the message declaration

#19 intigonzalez opened 8 years ago
0
Semantic check: every node should have a within f there is a timeout

#18 intigonzalez opened 8 years ago
0
semantic check: the target of the message action should be consistent with the message type

#17 intigonzalez opened 8 years ago
0
Grammar: message creation should allow references to the last message, but only if it is an action within a transition

#16 intigonzalez opened 8 years ago
0
Semantic check: at least one of the operands in a pattern is a field

#15 intigonzalez opened 8 years ago
0
Documentation: add documentation for message declaration

#14 intigonzalez opened 8 years ago
0
Builders: provide a mechanism to select the target platform

#13 intigonzalez opened 8 years ago
1
Semantic check: All fields in a new message we want to send MUST have different names

#12 intigonzalez opened 8 years ago
0
Semantic Check: All fields in a message MUST have different names. Ensure this in messge declaration

#11 intigonzalez opened 8 years ago
0
Messages: improve support

#10 intigonzalez opened 8 years ago
0
Adding built-in functions to the language

#9 intigonzalez opened 8 years ago
0
Wrong file extension

#8 intigonzalez closed 8 years ago
1
Improve syntax

#7 intigonzalez opened 8 years ago
0
Guards using pattern matching on fields

#6 intigonzalez opened 8 years ago
2
Network support: adding networkinng paramters to messages.

#5 intigonzalez closed 8 years ago
0
Adding support for user-defined message serialization

#4 intigonzalez opened 8 years ago
1
DotRenderer is no longer independent of the concrete ITimedAutomata. We should fix it

#3 intigonzalez opened 8 years ago
0
Avoiding self loops

#2 intigonzalez opened 8 years ago
0
Tima compiler fails when there are two transtions between the same two states

#1 intigonzalez opened 8 years ago
0