Jean-Christophe Léchenet
Jean-Christophe Léchenet
What was decided at the weekly meeting about licensing/copyright issues: - add an AUTHOR file listing the (main?) contributors and the institutions - use CC0 license everywhere, this is the...
Another point that was mentioned is that next release including the randombytes stuff should be synchronized with the first alpha release of libjade.
I'll look into distributing Jasmin with opam next week.
Releases done. The remaining points are postponed.
Yes, the question is whether it should or not. I have no opinion on that.
The cast is "ignored" since `VPAND` is by default `VPAND_128` and `32 < 128`. Actually, the cast is there, but not taken into account for typing.
Actually after discussing a bit with @bgregoir, these are not really casts but instead instruction modifiers. Maybe we should think of another syntax then? Here is another counter-intuitive example. The...
The compiler checks at some point that there is the right variant of the assembly instruction in the target architecture. But here it fails earlier than that. If I'm not...
Both checks that I mentioned are inside asmgen. The one checking that the argument must be the same is just earlier in the pass than the other.
cc @tfaoliveira