Skip to content

Release roundup#314

Merged
lucaneg merged 5 commits intomasterfrom
release-roundup
Aug 1, 2024
Merged

Release roundup#314
lucaneg merged 5 commits intomasterfrom
release-roundup

Conversation

@lucaneg
Copy link
Member

@lucaneg lucaneg commented Aug 1, 2024

Description
Last bugfixes before release 0.1.

Fixed bugs
Closes #300
Closes #313

@lucaneg lucaneg added 🐛 type:bug Something isn't working 🔍 scope:analysis Work regarding abstract domains or fixpoint algorithms 🏨 scope:infrastructure Work regarding the general infrastructure and functioning of LiSA labels Aug 1, 2024
@lucaneg lucaneg added this to the 0.1 milestone Aug 1, 2024
@lucaneg lucaneg self-assigned this Aug 1, 2024
@lucaneg lucaneg added 🏗 resolution:wip Incomplete work - do not review yet and removed 🏗 resolution:wip Incomplete work - do not review yet labels Aug 1, 2024
@lucaneg lucaneg merged commit f478a08 into master Aug 1, 2024
@lucaneg lucaneg deleted the release-roundup branch August 1, 2024 13:10
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

🔍 scope:analysis Work regarding abstract domains or fixpoint algorithms 🏨 scope:infrastructure Work regarding the general infrastructure and functioning of LiSA 🐛 type:bug Something isn't working

Projects

Archived in project

Development

Successfully merging this pull request may close these issues.

[BUG] Expression visiting is missing a generic expression callback [BUG] Heap analyses should react to type conversions and castings

1 participant