Skip to content
Snippets Groups Projects

BFS optimization

Merged rarbore2 requested to merge more_opts9 into main
1 file
+ 0
2
Compare changes
  • Side-by-side
  • Inline
@@ -39,6 +39,7 @@ fixpoint {
simpl!(collect);
fork-tile[1024, 0, false, true](init, traverse, collect);
fork-split(init, traverse, collect);
let out = fork-split(init, traverse, collect);
simpl!(*);
gcm(*);
Loading