Behdad Esfahbod 51e70f9742
[interpolatable] Return master indices in addition to master names (#3346)
[interpolatable] Add master indices to problem reports

More solid than using names to refer back to the master index,
as needed in interpolatablePlot.
2023-11-20 08:59:11 -07:00
..
2023-09-15 07:53:09 -06:00
2022-12-13 11:26:36 +00:00
2023-05-30 22:46:47 -06:00
2023-08-02 14:06:35 +01:00
2022-12-13 11:26:36 +00:00
2023-09-28 16:39:03 -06:00
2022-12-13 11:26:36 +00:00
2022-12-13 11:26:36 +00:00
2023-10-24 12:47:58 -06:00