feat(engine/f*): allow unsafe code

[W95Psp]

This PR follows from
#417 (comment), and from PR #867.

It turns on the unsafe feature for the F* backend.

[franziskuskiefer]

This crashes again on use.
Please update the Cargo.lock and add a process that ensures that this doesn't happen.

[W95Psp]

Can you copy paste the error you get?
Can you also cargo clean in the tests folder and in the main folder before running the tests?

This dependency things makes no sense to me, I don't get it.

[W95Psp]

(things work fine on my laptop and on CI, so something is clearly wrong)

I manually triggered https://github.com/hacspec/hax/actions/runs/11140855636 to se

[W95Psp]

@franziskuskiefer can you try locally to run hax on examples/chacha20? That's what the job above tests hax on

[franziskuskiefer]

Let's just update the lock file and get this in, and open an issue to investigate this. We shouldn't block this PR on that.

[W95Psp]

Ok, but then I won't "add a process that ensures that this doesn't happen" in this PR.

[franziskuskiefer]

Ok, but then I won't "add a process that ensures that this doesn't happen" in this PR.

yeah, that would be a little off-topic for this PR anyway.