babylon
babylon copied to clipboard
openjdk
Draft: ANF Experimental Code Model
Experiments with Administrative Normal Form (A-Normal Form; ANF) transformations in the code model. See https://github.com/igraves/babylon-anf for additional code using these changes.
Progress
- [x] Change must not contain extraneous whitespace
Reviewing
Using git
Checkout this PR locally:
$ git fetch https://git.openjdk.org/babylon.git pull/239/head:pull/239
$ git checkout pull/239
Update a local copy of the PR:
$ git checkout pull/239
$ git pull https://git.openjdk.org/babylon.git pull/239/head
Using Skara CLI tools
Checkout this PR locally:
$ git pr checkout 239
View PR using the GUI difftool:
$ git pr show -t 239
Using diff file
Download this PR as a diff file:
https://git.openjdk.org/babylon/pull/239.diff
Webrev
:wave: Welcome back igraves! 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](https://avatars.githubusercontent.com/u/41768318?v=4 "Published by a pub.dev verified publisher"){kind=small}
@igraves 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:
ANF Experimental Code Model
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.
Webrevs
- 08: Full - Incremental (3bf6516b)
- 07: Full - Incremental (f278a2e7)
- 06: Full - Incremental (777b2dab)
- 05: Full - Incremental (5017ca5f)
- 04: Full - Incremental (b98e8b4b)
- 03: Full - Incremental (53e63334)
- 02: Full - Incremental (6530db74)
- 01: Full - Incremental (b9077dad)
- 00: Full (4ff6487b)
@igraves Pushed as commit 1fb552a7012cc0010bee266b17b3e79c1dfb88ca.
:bulb: You may see a message that your pull request was closed with unmerged commits. This can be safely ignored.