Lucas Franceschino
Lucas Franceschino
I think we should still aim at those refinements on specific places. Let's keep this open for now.
I think this is still something we want to chat about
I don't know whether that's a regression from #743. I suspect that's a brittle bug that depends on setup. The CI uses this test harness with no problem, @maximebuyse and...
No one stumbled upon this issue again, it seems, let's close.
Still relevant
After investigations, it seems like we are sorting the items alphabetically at some point... See [this example](https://hax-playground.cryspen.com/#fstar/cd6e258cb2/gist=66130ea18eafc6bd5df301936513e155).
Re-opening, after testing on libcrux, we got reordering issues. We're investigating.
Hi, thanks for the report! I will try to look at before the end of the day, I suspect that it is something easy to fix. We changed a convention...
This issue is related to https://github.com/hacspec/hax/issues/719. One patch we merged for solving #719 yielded this issue, but was not fixing entirely #719. Thus, fixing this issue now would just make...
Hi @kaspar030, sorry for the delay. I just checked, and I believe this regression is fixed in latest hax, can you confirm it is fixed on your end?