Skip to content

Default float type to float(Real), not Real#685

Merged
penelopeysm merged 4 commits intobackport-0.28from py/simple-varinfo-eltypeOct 11, 2024

Commits

Commits on Oct 11, 2024