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

Allow if-clause without then-clause in message specification #95

Closed
treiher opened this issue Nov 12, 2019 · 0 comments · Fixed by #466
Closed

Allow if-clause without then-clause in message specification #95

treiher opened this issue Nov 12, 2019 · 0 comments · Fixed by #466
Assignees
@treiher
Labels
specification Related to specification package (e.g., specification parsing)
Projects
RecordFlux 0.5

Comments

@treiher
Copy link
Collaborator

treiher commented Nov 12, 2019 •
edited
Loading

For example:

type Configuration is
   message
      Key_Exchange_Mode : TLS_Handshake.Key_Exchange_Mode
         if Key_Exchange_Mode = PSK_KE or Key_Exchange_Mode = PSK_DHE_KE;
   end message;
@treiher treiher added this to To do in RecordFlux Future via automation Nov 12, 2019
@treiher treiher mentioned this issue Dec 9, 2019
Open
@senier senier removed this from To do in RecordFlux Future Jun 4, 2020
@senier senier added this to To do in RecordFlux 0.5 via automation Jun 4, 2020
@treiher treiher added the specification Related to specification package (e.g., specification parsing) label Jul 16, 2020
@treiher treiher mentioned this issue Jul 16, 2020
Closed
@treiher treiher moved this from To do to In progress in RecordFlux 0.5 Oct 7, 2020
@treiher treiher self-assigned this Oct 7, 2020
@treiher treiher moved this from In progress to Done in RecordFlux 0.5 Oct 7, 2020
treiher added a commit that referenced this issue Oct 14, 2020
@treiher
Allow field conditions without then clause
ad5c1a7 
Ref. #95
treiher added a commit that referenced this issue Oct 14, 2020
@treiher
Use new syntax in example specifications
3b85c3a 
Ref. #95, #343
@treiher treiher mentioned this issue Oct 14, 2020
Merged
treiher added a commit that referenced this issue Oct 19, 2020
@treiher
Improve performance of specification parser
91cbcda 
Ref. #95, #343, #466
treiher added a commit that referenced this issue Oct 19, 2020
@treiher
Allow field conditions without then clause
473d95e 
Ref. #95
treiher added a commit that referenced this issue Oct 19, 2020
@treiher
Use new syntax in example specifications
4d078e5 
Ref. #95, #343
treiher added a commit that referenced this issue Oct 19, 2020
@treiher
Improve performance of specification parser
6960efc 
Ref. #95, #343, #466
RecordFlux 0.5 automation moved this from Done to Merged Oct 19, 2020
treiher added a commit that referenced this issue Oct 19, 2020
@treiher
Allow field conditions without then clause
e1837d0 
Ref. #95
treiher added a commit that referenced this issue Oct 19, 2020
@treiher
Use new syntax in example specifications
20bbc46 
Ref. #95, #343
treiher added a commit that referenced this issue Oct 19, 2020
@treiher
Improve performance of specification parser
5aca61b 
Ref. #95, #343, #466
@treiher treiher mentioned this issue Aug 4, 2021
Closed
9 tasks
treiher added a commit that referenced this issue Oct 5, 2022
@treiher
Replace validation tool
dad9d16 
Ref. #95
treiher added a commit that referenced this issue Oct 6, 2022
@treiher
Replace validation tool
2072648 
Ref. #95
treiher added a commit that referenced this issue Oct 6, 2022
@treiher
Replace validation tool
9d4c7bd 
Ref. #95
@NickFoubert NickFoubert mentioned this issue Oct 20, 2023
Closed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@treiher treiher

Labels
specification Related to specification package (e.g., specification parsing)
Projects
No open projects
RecordFlux 0.5
  
Merged
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

Issue 95, 343: Allow field condition and aspects without then clause AdaCore/RecordFlux
1 participant
@treiher