WIP: Eager deriv improvements (!84) · Merge requests · Andreas Klöckner / grudge · GitLab

Andreas Klöckner requested to merge eager-deriv-improvements into master Aug 26, 2020

https://github.com/inducer/grudge/pull/14

Edited Aug 26, 2020 by Andreas Klöckner