Parrot

Results 17 comments of 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.