Behdad Esfahbod 47813b217c [varStore] Make optimize() stable
Before, calling optimize() on its own output could generate different
result. I think it's stable now.
2023-05-24 18:09:58 -06:00
..
2022-12-13 11:26:36 +00:00
2022-12-13 11:26:36 +00:00
2023-01-06 14:17:12 -07:00
2022-12-13 11:26:36 +00:00
2023-04-22 15:07:03 -06:00
2023-01-26 14:35:55 -07:00
2022-12-13 11:26:36 +00:00
2022-12-13 11:26:36 +00:00
2023-05-24 18:09:58 -06:00