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] Support execution-terminating statements #141

Open
lucaneg opened this issue Oct 29, 2021 · 0 comments
Open

[FEATURE REQUEST] Support execution-terminating statements #141

lucaneg opened this issue Oct 29, 2021 · 0 comments
Labels
⁉ priority:p2 Priority planning - level 2 🏛 scope:program-structure Work regarding the program structure 🎆 type:feature New feature or request
Milestone
0.2

Comments

@lucaneg
Copy link
Member

lucaneg commented Oct 29, 2021

Description
A statement could terminate execution immediately (i.e. Java's System.exit(exitCode)). We should add a way to support this in the fixpoint iteration.
@lucaneg lucaneg added 🎆 type:feature New feature or request ⁉ priority:p2 Priority planning - level 2 labels Oct 29, 2021
@lucaneg lucaneg mentioned this issue Jan 21, 2022
Closed
@lucaneg lucaneg added the 🏛 scope:program-structure Work regarding the program structure label Jan 21, 2022
@lucaneg lucaneg moved this to Todo in LiSA Nov 3, 2022
@lucaneg lucaneg added this to LiSA Nov 3, 2022
@lucaneg lucaneg moved this from Todo to Backlog in LiSA Nov 3, 2022
@lucaneg lucaneg added this to the 0.1b8 milestone Nov 4, 2022
@lucaneg lucaneg moved this from Backlog to Todo in LiSA Nov 4, 2022
@lucaneg lucaneg removed this from the 0.1b8 milestone Dec 9, 2022
@lucaneg lucaneg moved this from Todo to Backlog in LiSA Dec 9, 2022
@lucaneg lucaneg added this to the 0.2 milestone Dec 12, 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:p2 Priority planning - level 2 🏛 scope:program-structure Work regarding the program structure 🎆 type:feature New feature or request
Projects
LiSA
Status: Backlog
Milestone
0.2
Development

No branches or pull requests
1 participant
@lucaneg