Skip to content
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

Jump to bottom

Incorrect message size calculation if size depends on condition #1064

Closed
treiher opened this issue Jun 3, 2022 · 0 comments · Fixed by #1085
Closed

Incorrect message size calculation if size depends on condition #1064

treiher opened this issue Jun 3, 2022 · 0 comments · Fixed by #1085
Assignees
@treiher
Labels
bug model Related to model package (e.g., model verification)
Projects
RecordFlux 0.6

Comments

@treiher
Copy link
Collaborator

treiher commented Jun 3, 2022

The incorrect message size calculation leads to an incorrect code generation.
@treiher treiher added bug model Related to model package (e.g., model verification) labels Jun 3, 2022
@treiher treiher self-assigned this Jun 3, 2022
@treiher treiher added this to To do in RecordFlux 0.6 via automation Jun 3, 2022
@treiher treiher moved this from To do to Implementation in RecordFlux 0.6 Jun 3, 2022
treiher added a commit that referenced this issue Jun 24, 2022
@treiher
Fix determination of message size
9e103c1 
An essential part of this fix is the added differentiation between
variables and literals in expressions. Furthermore, the redundant
checking of the message size in the generated code is removed.

Ref. #1064
treiher added a commit that referenced this issue Jun 27, 2022
@treiher
Fix determination of message size
9ffe9a9 
An essential part of this fix is the added differentiation between
variables and literals in expressions. Furthermore, the redundant
checking of the message size in the generated code is removed.

Ref. #1064
treiher added a commit that referenced this issue Jun 27, 2022
@treiher
Ensure consistent sorting of links and expressions
12ec332 
Ref. #1064
@treiher treiher mentioned this issue Jun 27, 2022
Merged
@treiher treiher moved this from Implementation to Review in RecordFlux 0.6 Jun 27, 2022
treiher added a commit that referenced this issue Jun 28, 2022
@treiher
Fix determination of message size
30531d3 
An essential part of this fix is the added differentiation between
variables and literals in expressions. Furthermore, the redundant
checking of the message size in the generated code is removed.

Ref. #1064
treiher added a commit that referenced this issue Jun 28, 2022
@treiher
Ensure consistent sorting of links and expressions
e7a9503 
Ref. #1064
treiher added a commit that referenced this issue Jun 28, 2022
@treiher
Fix determination of message size
08d74ba 
An essential part of this fix is the added differentiation between
variables and literals in expressions. Furthermore, the redundant
checking of the message size in the generated code is removed.

Ref. #1064
treiher added a commit that referenced this issue Jun 28, 2022
@treiher
Ensure consistent sorting of links and expressions
733a946 
Ref. #1064
treiher added a commit that referenced this issue Jun 28, 2022
@treiher
Add constants for maximum line length
e920fe3 
Ref. #1064, #1085
RecordFlux 0.6 automation moved this from Review to Done Jun 28, 2022
treiher added a commit that referenced this issue Jun 28, 2022
@treiher
Fix determination of message size
d049f5f 
An essential part of this fix is the added differentiation between
variables and literals in expressions. Furthermore, the redundant
checking of the message size in the generated code is removed.

Ref. #1064
treiher added a commit that referenced this issue Jun 28, 2022
@treiher
Ensure consistent sorting of links and expressions
911a1e5 
Ref. #1064
treiher added a commit that referenced this issue Jun 28, 2022
@treiher
Add constants for maximum line length
4dfd5d1 
Ref. #1064, #1085
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@treiher treiher

Labels
bug model Related to model package (e.g., model verification)
Projects
No open projects
RecordFlux 0.6
  
Done
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

Issue 1064: Fix determination of message size AdaCore/RecordFlux
1 participant
@treiher