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

[FEATURE REQUEST] Remainder operations #231

Closed
lucaneg opened this issue Nov 4, 2022 · 0 comments · Fixed by #234
Closed

[FEATURE REQUEST] Remainder operations #231

lucaneg opened this issue Nov 4, 2022 · 0 comments · Fixed by #234
Assignees
@lucaneg
Labels
‼ priority:p1 Priority planning - level 1 🎊 resolution:resolved Bug or feature resolved - might not have been merged to master yet 🏛 scope:program-structure Work regarding the program structure 🎆 type:feature New feature or request
Milestone
0.1b7

Comments

@lucaneg
Copy link
Member

lucaneg commented Nov 4, 2022

Description
The numerical % operator can have different meaning depending on the language: in some, it implements the remainder, while in other it implements the module. We should provide statements and symbolic expressions for both of them.
@lucaneg lucaneg added 🎆 type:feature New feature or request ‼ priority:p1 Priority planning - level 1 🏛 scope:program-structure Work regarding the program structure labels Nov 4, 2022
@lucaneg lucaneg added this to the 0.1b7 milestone Nov 4, 2022
@lucaneg lucaneg self-assigned this Nov 4, 2022
@lucaneg lucaneg added this to LiSA Nov 4, 2022
@lucaneg lucaneg moved this to Backlog in LiSA Nov 4, 2022
@lucaneg lucaneg moved this from Backlog to In Progress in LiSA Nov 4, 2022
lucaneg added a commit that referenced this issue Nov 7, 2022
@lucaneg
Distinguishing between Modulo and Remainder #231
0e867c3
lucaneg added a commit that referenced this issue Nov 7, 2022
@lucaneg
Distinguishing between Modulo and Remainder #231
ea8f25e
@lucaneg lucaneg added the 🎊 resolution:resolved Bug or feature resolved - might not have been merged to master yet label Nov 7, 2022
@lucaneg lucaneg moved this from In Progress to Done in LiSA Nov 7, 2022
@lucaneg lucaneg mentioned this issue Nov 7, 2022
Merged
Repository owner moved this from Done to Merged in LiSA Nov 8, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@lucaneg lucaneg

Labels
‼ priority:p1 Priority planning - level 1 🎊 resolution:resolved Bug or feature resolved - might not have been merged to master yet 🏛 scope:program-structure Work regarding the program structure 🎆 type:feature New feature or request
Projects
LiSA
Archived in project
Milestone
0.1b7
Development

Successfully merging a pull request may close this issue.

Beta7 lisa-analyzer/lisa
1 participant
@lucaneg