babylon icon indicating copy to clipboard operation
babylon copied to clipboard

Disallow insertion of a root op in a block

Open mabbay opened this issue 9 months ago • 3 comments

A root operation shouldn't be inserted in a block. This changes enforce this rule.


Progress

  • [x] Change must not contain extraneous whitespace

Reviewing

Using git

Checkout this PR locally:
$ git fetch https://git.openjdk.org/babylon.git pull/425/head:pull/425
$ git checkout pull/425

Update a local copy of the PR:
$ git checkout pull/425
$ git pull https://git.openjdk.org/babylon.git pull/425/head

Using Skara CLI tools

Checkout this PR locally:
$ git pr checkout 425

View PR using the GUI difftool:
$ git pr show -t 425

Using diff file

Download this PR as a diff file:
https://git.openjdk.org/babylon/pull/425.diff

Using Webrev

Link to Webrev Comment

mabbay avatar May 12 '25 21:05 mabbay

:wave: Welcome back mabbay! A progress list of the required criteria for merging this PR into code-reflection will be added to the body of your pull request. There are additional pull request commands available for use with this pull request.

bridgekeeper[bot] avatar May 12 '25 21:05 bridgekeeper[bot]

@mabbay This change now passes all automated pre-integration checks.

ℹ️ This project also has non-automated pre-integration requirements. Please see the file CONTRIBUTING.md for details.

After integration, the commit message for the final commit will be:

Enable sealing of an operation

Reviewed-by: psandoz

You can use pull request commands such as /summary, /contributor and /issue to adjust it as needed.

At the time when this comment was updated there had been no new commits pushed to the code-reflection branch. If another commit should be pushed before you perform the /integrate command, your PR will be automatically rebased. If you prefer to avoid any potential automatic rebasing, please check the documentation for the /integrate command for further details.

➡️ To integrate this PR with the above commit message to the code-reflection branch, type /integrate in a new comment.

openjdk[bot] avatar May 12 '25 21:05 openjdk[bot]

@mabbay This pull request has been inactive for more than 4 weeks and will be automatically closed if another 4 weeks passes without any activity. To avoid this, simply issue a /touch or /keepalive command to the pull request. Feel free to ask for assistance if you need help with progressing this pull request towards integration!

bridgekeeper[bot] avatar Jun 11 '25 01:06 bridgekeeper[bot]

@mabbay This pull request has been inactive for more than 8 weeks and will now be automatically closed. If you would like to continue working on this pull request in the future, feel free to reopen it! This can be done using the /open pull request command.

bridgekeeper[bot] avatar Jul 09 '25 03:07 bridgekeeper[bot]

/open

mabbay avatar Aug 01 '25 20:08 mabbay

@mabbay This pull request is now open

openjdk[bot] avatar Aug 01 '25 20:08 openjdk[bot]

@mabbay this pull request can not be integrated into code-reflection due to one or more merge conflicts. To resolve these merge conflicts and update this pull request you can run the following commands in the local repository for your personal fork:

git checkout root-op-insertion
git fetch https://git.openjdk.org/babylon.git code-reflection
git merge FETCH_HEAD
# resolve conflicts and follow the instructions given by git merge
git commit -m "Merge code-reflection"
git push

openjdk[bot] avatar Aug 01 '25 20:08 openjdk[bot]

I run HAT examples and ONNX tests, all good.

mabbay avatar Aug 27 '25 14:08 mabbay

I merged with code-reflection, run HAT examples and ONNX tests, everything run without errors.

mabbay avatar Aug 29 '25 14:08 mabbay

/integrate

mabbay avatar Aug 29 '25 14:08 mabbay

Going to push as commit f37da86219dc51d166e5464023bda50a10c096d0.

openjdk[bot] avatar Aug 29 '25 14:08 openjdk[bot]

@mabbay Pushed as commit f37da86219dc51d166e5464023bda50a10c096d0.

:bulb: You may see a message that your pull request was closed with unmerged commits. This can be safely ignored.

openjdk[bot] avatar Aug 29 '25 14:08 openjdk[bot]