aboutsummaryrefslogtreecommitdiff
path: root/src/AST/Weaken/Auto.hs
Commit message (Collapse)AuthorAge
* autoWeak: Improve typingTom Smeding10 hours
| | | | | | | | - Check that source layout is actually a subset of the target layout statically, because we can and it prevents runtime errors (I didn't actually get such an error yet, but I worried about it too much) - Use less Append in type of (&.) to make type errors _significantly_ less verbose
* More WIP sparsityTom Smeding2025-06-08
|
* WIP custom derivativesTom Smeding2024-11-08
|
* Towards neuralTom Smeding2024-09-12
|
* Inching towards drev of buildTom Smeding2024-09-03
|
* autoWeak: Handle closed source environmentsTom Smeding2024-09-03
|
* accumPromoteTom Smeding2024-09-02
|
* WSwap needs no env singletonTom Smeding2024-09-02
|
* Code cleanup, and OverloadedLabels for LSegTom Smeding2024-09-02