4 ms·
Agreed. I would have expected 3m. I have a feeling they are also busy with a ton of other issues. The Q is whether this is top priority or not in light of all t
by semerda 8y ago
Agreed. I would have expected 3m. I have a feeling they are also busy with a ton of other issues. The Q is whether this is top priority or not in light of all those other issues and it's chance of occurring.
- xn122 8y agoThree months is very little in software. If formal verification is required (as I hope), it is very difficult to do that under time pressure.