Troels Henriksen

LMAD slicing

3

It is time to support LMAD slicing properly. It works fine in the IR, but exposing it in the source language requires solving three problems: 1. How do we bounds...

Consider this program: ```C++ #include #include #include extern int enzyme_dup; extern int enzyme_dupnoneed; extern int enzyme_out; extern int enzyme_const; void __enzyme_autodiff(...) noexcept; void primal(size_t n, const double* x, double* out)...

Consider this program `lse.cpp`: ```C++ #include #include #include extern int enzyme_dup; extern int enzyme_dupnoneed; extern int enzyme_out; extern int enzyme_const; void __enzyme_autodiff(...) noexcept; void primal(size_t n, const double* x, double*...

This limit is [imposed here](https://github.com/melsman/mlkit/blob/1733d3d90fc3ebd6157e1c34bcd68de51ab0d722/src/Compiler/Backend/X64/CodeGenUtilX64.sml#L724-L733). Would it be possible to raise it? Is there a workaround?

Det sprog er ikke levedygtigt. Føj for en rådden cigar, altså. Vi kan starte med at tage nogle af de mindste kommandoer og hjælpeprogrammer i eggspi og lave dem om...

I'm not sure when we will be able to finish AUTOMAP, but the new type checker should be doable. AUTOMAP can then be built on top of this.

'cabal check' or 'cabal sdist' ought to warn about non-ASCII characters

17

**Describe the feature request** Hackage [rejects tarballs that contain non-ASCII filenames](https://github.com/haskell/hackage-server/blob/8815bc9e27ec25506952f6e41b38d5293d5d31d6/src/Distribution/Server/Packages/Unpack.hs#L467-L470), but neither `cabal check` nor `cabal sdist` complains. I suggest that one of these (probably `cabal check`) is modified...

New release

3

The recent updates to oclgrind are very nice to see. Could we also have a release soon? Merely tagging a commit would make it much easier to get it back...