Marcel Ullrich

Current branch: https://github.com/NeuralCoder3/thorin2/tree/direct_fix Example command `./build/bin/thorin -d direct -o - -VVVV lit/direct/ad_mem.thorin`. The issue persists even if the pass degenerates to identity by replacing https://github.com/NeuralCoder3/thorin2/blob/direct_fix/dialects/direct/passes/cps2ds.cpp#L48 with `if (auto app =...

The issue was that nested lambda rewrites overwrote the current lambda screwing up the call trace. The debugging problem was that the error was hidden and only occurred at the...

The current issue does not happen in the original pass. Instead, partial evaluation inlines functions and causes an issue to surface. Simplified `ad_mem2`: ```rust .con .extern main __690558::[mem_690876: %mem.M, argc_691342:...

Current work in [branch direct_scheduling](https://github.com/NeuralCoder3/thorin2/tree/bugfix/direct_scheduling). (Pass: [cps2ds](https://github.com/NeuralCoder3/thorin2/blob/bugfix/direct_scheduling/dialects/direct/passes/cps2ds.h)) To recap: The problem is that `res = cps2ds fun args` calls are unordered to a certain degree. This freeness results in wrong...

> For declaring C-Functions that you want to link later on use new .ccon/.cfun decl: Why is this necessary? If we no longer have/need forward declarations, why is not every...

Opaque functions as axioms would not be enough in my case. For matrix, I want to have multiple options * rewriting to map-reduce (which is in turn rewritten to affine...

Yes, #90 is rewrite-mapping dialect I was referring to. This would (at least in the axiom mapping case) be enough. One would just have to introduce a rewrite-axiom to invoke...

The issue happens only sometimes on with the same executable on the same computer in the same cirumstances. Therefore, timing issues or randomness might be the cause. Probably related issue:...

Here is a helper method I wrote a few years ago in MetaCoq that achieves this: https://github.com/uds-psl/metacoq-nested-induction/blob/master/source/de_bruijn_print.v The code is a bit older and I am sure there is better...

> `make` A makefile might be a good idea to simplify using the cmake commands. (Especially since the lit commands as described in the documentation do not work me right...