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

String operations for Tarsis and FA #285

Merged
merged 18 commits into from
Aug 24, 2023
Merged

String operations for Tarsis and FA #285

merged 18 commits into from
Aug 24, 2023

Conversation

VincenzoArceri
Copy link
Collaborator

@VincenzoArceri VincenzoArceri commented Aug 23, 2023 •
edited
Loading

Description
This pull request contains new operations for Tarsis abstract domain (trim, trimLeft, trimRight, repeat).

@VincenzoArceri VincenzoArceri added 🐛 type:bug Something isn't working 🔍 scope:analysis Work regarding abstract domains or fixpoint algorithms labels Aug 23, 2023
@VincenzoArceri VincenzoArceri self-assigned this Aug 23, 2023
@lucaneg lucaneg added the 🏗 resolution:wip Incomplete work - do not review yet label Aug 23, 2023
@lucaneg lucaneg merged commit 4401923 into master Aug 24, 2023
3 checks passed
@lucaneg lucaneg deleted the tarsis-domain branch August 24, 2023 11:14
@lucaneg lucaneg removed the 🏗 resolution:wip Incomplete work - do not review yet label Sep 28, 2023
@lucaneg lucaneg added this to the 0.1b9 milestone Aug 1, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@lucaneg lucaneg lucaneg approved these changes

Assignees

@VincenzoArceri VincenzoArceri

Labels
🔍 scope:analysis Work regarding abstract domains or fixpoint algorithms 🐛 type:bug Something isn't working
Projects
LiSA
Archived in project
Milestone
0.1b9
Development

Successfully merging this pull request may close these issues.
2 participants
@VincenzoArceri @lucaneg