Skip to content

Feat global partition

Bo-Chun Chen requested to merge github/fork/diedpigs/feat-global-partition into dev

In order to solve uabrc/CRI_XCBC#86, this PR makes partitions to be a globally defined variable. This makes it easier to modify the partition list in the future.

This should be merged alone with all ood apps PRs:

Reference: ood-doc

Merge request reports

Loading