Skip to content

Deforestation with nofibs in the Benchmark Sub-project#335

Closed
ychenfo wants to merge 405 commits intohkust-taco:hkmc2from
ychenfo:hkmc2-deforest-new
Closed

Deforestation with nofibs in the Benchmark Sub-project#335
ychenfo wants to merge 405 commits intohkust-taco:hkmc2from
ychenfo:hkmc2-deforest-new

Conversation

@ychenfo
Copy link
Member

@ychenfo ychenfo commented Sep 16, 2025

TODO

  • Move nofibs to the benchmark subproject
  • Fix the paths

open Benchmark


:silent
Copy link
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I'd forgotten to fix this in my PR, but these :silents could be moved to a single one in the header.

Copy link
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Thanks. @ychenfo pls address this.

ychenfo added a commit to ychenfo/mlscript that referenced this pull request Feb 14, 2026
LPTK pushed a commit that referenced this pull request Feb 16, 2026
* fix mate
#335 (comment)

* add nofibs to benchmarks

* update watcher path
@ychenfo ychenfo mentioned this pull request Mar 8, 2026
@ychenfo
Copy link
Member Author

ychenfo commented Mar 8, 2026

Superseded by #406

@ychenfo ychenfo closed this Mar 8, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants