Parrot
Parrot
I think its for something like [qrcp](https://claudiodangelis.com/qrcp/). Its starts a temporary server and displays the url as a qrcode.
This would be an awesome feature.
This is not possible I think. Would be really cool if you just need to import one key.
Bubblewrap [version 9.0](https://github.com/containers/bubblewrap/releases/tag/v0.9.0) has been released two days ago. This release contains the --argv0 option. Not yet merged into [nixpkgs](https://github.com/NixOS/nixpkgs/pull/299352).
Looking forward for it
I though it did not work but it does. Used an old version
The same issue exists on newest iOS version
I do not think it is a problem.
I rebased [my branch](https://github.com/Parrot7483/libcrux/tree/sha3-lax-check) on [latest libcrux main](https://github.com/cryspen/libcrux/commit/d88f30d91566715556f4df3c3d5efa772f9ce374) and used it together with [latest HAX main](https://github.com/cryspen/hax/commit/5736c16e6ed327163943056c116062a42f59bb28). Now its the other way around. The extraction of `src/traits.rs` has the super variable:...
It is still a problem. I will try to reproduce.