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

Modulo operation in conditions #476

Closed
treiher opened this issue Oct 26, 2020 · 0 comments · Fixed by #477
Closed

Modulo operation in conditions #476

treiher opened this issue Oct 26, 2020 · 0 comments · Fixed by #477
Assignees
@treiher
Labels
specification Related to specification package (e.g., specification parsing)
Projects
RecordFlux 0.5

Comments

@treiher
Copy link
Collaborator

treiher commented Oct 26, 2020

Currently, there is no good way to specify a condition that a field value must be a multiple of some other value. This is for example required by the Time Server Option of DHCP:

the length MUST always be a multiple of 4

The modulo operation should be supported for that purpose: Len mod 4 = 0.
@treiher treiher added the specification Related to specification package (e.g., specification parsing) label Oct 26, 2020
@treiher treiher added this to To do in RecordFlux 0.5 via automation Oct 26, 2020
@treiher treiher moved this from To do to In progress in RecordFlux 0.5 Oct 26, 2020
@treiher treiher self-assigned this Oct 26, 2020
treiher added a commit that referenced this issue Oct 26, 2020
@treiher
Add modulo operation to specification parser
88ef28e 
Ref. #476
@treiher treiher mentioned this issue Oct 26, 2020
Merged
@treiher treiher moved this from In progress to Done in RecordFlux 0.5 Oct 26, 2020
@senier senier mentioned this issue Oct 26, 2020
Closed
RecordFlux 0.5 automation moved this from Done to Merged Oct 26, 2020
treiher added a commit that referenced this issue Oct 26, 2020
@treiher
Add modulo operation to specification parser
0745d7b 
Ref. #476
@treiher treiher mentioned this issue Aug 4, 2021
Closed
9 tasks
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 476: Add modulo operation to specification parser AdaCore/RecordFlux
1 participant
@treiher