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] IMP concrete/collecting interpreter #118

Open
lucaneg opened this issue Sep 27, 2021 · 0 comments
Open

[FEATURE REQUEST] IMP concrete/collecting interpreter #118

lucaneg opened this issue Sep 27, 2021 · 0 comments
Labels
❕ priority:p4 Priority planning - level 4 🏨 scope:infrastructure Work regarding the general infrastructure and functioning of LiSA 🎆 type:feature New feature or request

Comments

@lucaneg
Copy link
Member

lucaneg commented Sep 27, 2021

Description
IMP should be equipped with a concrete interpreter and a "collecting" one, that help showcasing the differences between concrete and abstract world and why it isn't possible to just compute all possible values of all variables.
@lucaneg lucaneg added 🎆 type:feature New feature or request ❕ priority:p4 Priority planning - level 4 labels Sep 27, 2021
@lucaneg lucaneg added the 🏨 scope:infrastructure Work regarding the general infrastructure and functioning of LiSA label Jan 21, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
❕ priority:p4 Priority planning - level 4 🏨 scope:infrastructure Work regarding the general infrastructure and functioning of LiSA 🎆 type:feature New feature or request
Projects
LiSA
Status: Backlog
Milestone
No milestone
Development

No branches or pull requests
1 participant
@lucaneg