Skip to content

Bump cranelift from 8456797 to 538a066 #486

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.

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

Merged
merged 1 commit into from
Apr 19, 2019

Conversation

dependabot-preview[bot]
Copy link
Contributor

@dependabot-preview dependabot-preview bot commented Apr 18, 2019

Bumps cranelift from 8456797 to 538a066.

Commits
  • 538a066 Fixes #738: Check ebbs used in jump tables in the verifier;
  • d43cfc6 Style changes in response to code review.
  • 66a8a54 Remove old commented out code
  • 006c3a5 Switch from fallthrough back to jump.
  • 318cd6a Address code review comments, simplifying some bits of branch_opt.
  • 3a5bcdf Add comments to branch folding and reordering functions in simple_preopt.
  • b764e0c Switch branch order opt from brif/brff to br_icmp, as that's what frontends s...
  • 018e607 Switch ifcmp+brif folding to be icmp+brz folding, which is what frontends act...
  • 940d28f Refactoring of branch ordering and zero-check optimization based on PR feedback.
  • 8a23de7 Questionable change: Remove domtree generation from simple_preopt testing.
  • Additional commits viewable in compare view

Dependabot will resolve any conflicts with this PR as long as you don't alter it yourself. You can also trigger a rebase manually by commenting @dependabot rebase.

If all status checks pass Dependabot will automatically merge this pull request.


Dependabot commands and options

You can trigger Dependabot actions by commenting on this PR:

  • @dependabot rebase will rebase this PR
  • @dependabot recreate will recreate this PR, overwriting any edits that have been made to it
  • @dependabot merge will merge this PR after your CI passes on it
  • @dependabot squash and merge will squash and merge this PR after your CI passes on it
  • @dependabot cancel merge will cancel a previously requested merge and block automerging
  • @dependabot reopen will reopen this PR if it is closed
  • @dependabot ignore this [patch|minor|major] version will close this PR and stop Dependabot creating any more for this minor/major version (unless you reopen the PR or upgrade to it yourself)
  • @dependabot ignore this dependency will close this PR and stop Dependabot creating any more for this dependency (unless you reopen the PR or upgrade to it yourself)
  • @dependabot use these labels will set the current labels as the default for future PRs for this repo and language
  • @dependabot use these reviewers will set the current reviewers as the default for future PRs for this repo and language
  • @dependabot use these assignees will set the current assignees as the default for future PRs for this repo and language
  • @dependabot use this milestone will set the current milestone as the default for future PRs for this repo and language
  • @dependabot badge me will comment on this PR with code to add a "Dependabot enabled" badge to your readme

Additionally, you can set the following in your Dependabot dashboard:

  • Update frequency (including time of day and day of week)
  • Automerge options (never/patch/minor, and dev/runtime dependencies)
  • Pull request limits (per update run and/or open at any time)
  • Out-of-range updates (receive only lockfile updates, if desired)
  • Security updates (receive only security updates, if desired)

Finally, you can contact us by mentioning @dependabot.

@bjorn3
Copy link
Member

bjorn3 commented Apr 19, 2019

@dependabot rebase

@dependabot-preview dependabot-preview bot force-pushed the dependabot/cargo/cranelift-538a066 branch from 645cf3d to a09d92f Compare April 19, 2019 16:45
@dependabot-preview dependabot-preview bot merged commit 8b3b6f0 into master Apr 19, 2019
@dependabot-preview dependabot-preview bot deleted the dependabot/cargo/cranelift-538a066 branch April 19, 2019 17:31
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants