Skip to content

Make fupd_proper more convenient to use (fix #284)

Paolo G. Giarrusso requested to merge Blaisorblade/iris:more-convenient-fupd_proper into master

Beware I had to change a Params instance; that could cause slowdowns, while the original issue has (inconvenient) workarounds (using leibniz_equiv explicitly). Leaving this up to @robbertkrebbers. Update: there's no obvious slowdown when compiling Iris.

Edited by Paolo G. Giarrusso

Merge request reports