Skip to content
GitLab
Commit ced20c66 authored by Michael Kruse's avatar Michael Kruse
Browse files

[Polly] Add -polly-reschedule and -polly-postopts options. 

This command line options allow to off parts of the schedule tree optimization pipeline.
parent 41f8ef3e
Hide whitespace changes
Inline Side-by-side
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment