Skip to content

Fix bug in unboxing decision code + use max unboxing depth cli flag#446

Merged
Gbury merged 9 commits intoocaml-flambda:flambda2.0-stablefrom
Gbury:use_max_unboxing_depth
May 26, 2021
Merged

Fix bug in unboxing decision code + use max unboxing depth cli flag#446
Gbury merged 9 commits intoocaml-flambda:flambda2.0-stablefrom
Gbury:use_max_unboxing_depth

Commits

Commits on May 25, 2021