Facundo
Facundo
Hi Jens and Krzysztof! I'm the TL for Automatic Integrity Protections. We found this report by chance and looked into it. We apologise for the inconvenience. The culprit has been...
Hi @bunkat , this lib is great work! However ( :) ) I'm running into trouble when using one-off times, I think it may be related to this fix. ```javascript...
For the record, SUB is also used on 254 int
Would it make sense to do it at the variable level, but not try to detect constraining, but ask the dev to explicitly use `let a_prime = a.has_been_constrained()` and use...