Lucas Franceschino
Lucas Franceschino
There's a bunch of conflict though
Maybe we can try with prune context (in F*)
Still something we want, we need to schedule it before too much code is written in that style.
I'll bump priority for that one, it's still important to get that done soon.
This is a F* backend bug, this is not a hard to fix bug, it needs to be scheduled
@maximebuyse what is the status of this issue?
Still relevant, but that's a very small issue, it's trivial to fix
Very easy to fix, let's plan to do this soon
I think you are using the old hacspec library (https://github.com/hacspec/hacspec/tree/master/lib), however, this library is deprecated and the current version of hax doesn't support it. I guess you are building on...
Still relevant I suppose