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
@@ -31,8 +31,6 @@ predication(*);
simpl!(*);
reduce-slf(*);
simpl!(*);
slf(*);
simpl!(*);
fixpoint {
forkify(collect);
Loading