Lucas Franceschino
Lucas Franceschino
Oh, you're right! Ok, so for now we can maybe just pause that and see with the new generic printer. Let's chat some day about which kind of logging we'd...
https://github.com/hacspec/hax/pull/442
Very much relevant, I'd like to address that soon.
Hi @cmester0, what's the status of this PR? seems to be mergeable, no?
Converting this PR to a draft for now, @cmester0 can you undraft it whenever you want to merge it?
Hi Lasse, thanks for the bug report! That's indeed related to #375, and also to #372, which I have to debug. Gonna try to look at that soon.
Hey, this should be fixed now, impl expressions are taken into account for the dependency analysis. Can you check if that works for you on main and close if it's...
Progress have been made with PR #743
Hi @paulmure, thanks for your comment! That's true, the engine doesn't support at all equality constraints. That would be great to add support for that! Let me open a new...
I added some features to F* that make this much much easier, see https://github.com/FStarLang/FStar/pull/3369