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

Optimization stage as a plugin. #10581

Merged
merged 8 commits into from
Aug 22, 2023
Merged

Optimization stage as a plugin. #10581

Changes from 1 commit
Commits
Show all changes
8 commits
Select commit Hold shift + click to select a range
553c795
Initial: Optimization stage as a plugin.
raynelfss Aug 7, 2023
472a9e1
Merge branch 'main' into optimize_plugin
raynelfss Aug 7, 2023
70cf13d
CI: Added fix to preset_passmanager test
raynelfss Aug 8, 2023
961597f
Merge: main into optimize_plugin
raynelfss Aug 10, 2023
70f17b5
Merge branch 'main' into optimize_plugin
raynelfss Aug 10, 2023
88e0f7e
Merge remote-tracking branch 'origin/main' into optimize_plugin
mtreinish Aug 22, 2023
52ece9d
Simplify inner translation stage creation logic
mtreinish Aug 22, 2023
708cbad
Update documentation
mtreinish Aug 22, 2023
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Prev Previous commit
Next Next commit
Merge branch 'main' into optimize_plugin
  • Loading branch information
@raynelfss
raynelfss committed Aug 10, 2023
commit 70f17b5d3b4fadb288373a3f0394e60c79b5f00d

This merge commit was added into this branch cleanly.

There are no new changes to show, but you can still view the diff.