8000 [FEATURE REQUEST] Analysis phases · Issue #257 · lisa-analyzer/lisa · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

[FEATURE REQUEST] Analysis phases #257

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
Open
lucaneg opened this issue Dec 12, 2022 · 0 comments
Open

[FEATURE REQUEST] Analysis phases #257

lucaneg opened this issue Dec 12, 2022 · 0 comments
Assignees
@lucaneg
Labels
❗ priority:p3 Priority planning - level 3 🏨 scope:infrastructure Work regarding the general infrastructure and functioning of LiSA 🎆 type:feature New feature or request 🛠 type:refactoring Refactoring of the codebase
Milestone
0.2

Comments

@lucaneg
Copy link
Member
lucaneg commented Dec 12, 2022

Description
The analysis now follows a fixed 3-step workflow: syntactic checks -> program fixpoint -> semantic checks. We should allow custom workflows to enable scenarios like program fixpoint -> simplify program -> program fixpoint -> semantic checks.
@lucaneg lucaneg added 🎆 type:feature New feature or request 🛠 type:refactoring Refactoring of the codebase ❗ priority:p3 Priority planning - level 3 🏨 scope:infrastructure Work regarding the general infrastructure and functioning of LiSA labels Dec 12, 2022
@lucaneg lucaneg added this to the 0.3 milestone Dec 12, 2022
@lucaneg lucaneg self-assigned this Dec 12, 2022
@lucaneg lucaneg added this to LiSA Dec 12, 2022
@lucaneg lucaneg moved this to Backlog in LiSA Dec 12, 2022
@lucaneg lucaneg modified the milestones: 0.3, 0.2 Jul 31, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@lucaneg lucaneg

Labels
❗ priority:p3 Priority planning - level 3 🏨 scope:infrastructure Work regarding the general infrastructure and functioning of LiSA 4395 🎆 type:feature New feature or request 🛠 type:refactoring Refactoring of the codebase
Projects
LiSA
Status: Backlog
Milestone
0.2
Development

No branches or pull requests
1 participant
@lucaneg
0