Skip to content

Implementation of Opal-Scope #140

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
Merged
merged 70 commits into from
Apr 24, 2025
Merged

Implementation of Opal-Scope #140

merged 70 commits into from
Apr 24, 2025

Conversation

smeyer198
Copy link
Collaborator

@smeyer198 smeyer198 commented Apr 23, 2025 •
edited
Loading

  • Implementation for a scope that allows us to use Boomerang with Opal
  • More generalized scopes to adapt to new frameworks
  • Various other small improvements

TODO

  • Parameterize the test setup to setup different scopes/framewokrs

smeyer198 and others added 30 commits August 28, 2024 11:30
@smeyer198
Add license and gitignore
4d26b47
@smeyer198
Add first version of Opal Scope
c10931c
@smeyer198
Remove semicola to avoid wrong formatting
465e42b
@smeyer198
Merge branch 'feature/sootup-support' into feature/opal
5865b7e
@smeyer198
Add missing functions
12bc45b
@smeyer198
Merge branch 'develop' into feature/opal
72e0114
@smeyer198
Merge branch 'master' into feature/opal
c3021f5
@smeyer198
First complete version of Opal scope
1cb2d83
@smeyer198
Split Val into Local and ArrayRef
db362bd
@smeyer198
Merge branch 'develop' into feature/opal
2b1d6bc
@smeyer198
Consistent renaming
f47df3f
@smeyer198
Clean up Opal scope
c31d83b
@smeyer198
First version of OpalTestSetup
8ff6fce
@smeyer198
Merge pull request #111 from smeyer198/feature/opal
e173033 
Add missing local commits
@smeyer198
Small fix
8df3fcb
@smeyer198
Merge branch 'explicit-dependencies' into feature/opal
4a1878b
@smeyer198
Some pom updates
0e2c627
@smeyer198
Use explicit parameter local
945f736
@smeyer198
Create test setup for scopes
061ce5c
@smeyer198
Merge branch 'feature/scope-testing' into feature/opal
3ab0238
@smeyer198
Add test setup for Opal scope
5ec7bd7
@smeyer198
Style
691b8bd
@smeyer198
Add correct logic and tests for locals
46af946
@smeyer198
Merge branch 'develop' into feature/opal
28cf3ab
@smeyer198
Extend equals method for OpalMethod
cf4c1a5
@smeyer198
Add correct logic for fields
3ea64e8
@smeyer198
Fix array handling
53e138e
@smeyer198
WIP: Prepare for TacTransformer
4b62f6e
@smeyer198
Add transformer for TACode
a7419a9
@smeyer198
Prepare for type propagation
5457941
@schlichtig schlichtig requested a review from swissiety April 23, 2025 13:54
@schlichtig schlichtig requested a review from Hazem-Gamall April 23, 2025 13:59
@Hazem-Gamall Hazem-Gamall removed their assignment Apr 23, 2025
@smeyer198 smeyer198 marked this pull request as ready for review April 23, 2025 16:29
@schlichtig schlichtig enabled auto-merge April 23, 2025 16:47
Hazem-Gamall
Hazem-Gamall requested changes Apr 23, 2025
View reviewed changes
Copy link
Collaborator

@Hazem-Gamall Hazem-Gamall left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Just not sure whether the TODOs are intentional or not

@smeyer198
Copy link
Collaborator Author

I removed not needed TODOs and added a small explanation to the parts that are left open

@Hazem-Gamall Hazem-Gamall self-requested a review April 24, 2025 12:40
@schlichtig schlichtig merged commit 12210bc into develop Apr 24, 2025
4 checks passed
@schlichtig schlichtig deleted the feature/opal branch April 24, 2025 12:41
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@Hazem-Gamall Hazem-Gamall Hazem-Gamall approved these changes

@swissiety swissiety Awaiting requested review from swissiety

Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
3 participants
@smeyer198 @Hazem-Gamall @schlichtig