Jacob Finkelman
Jacob Finkelman
Your description of how cargo-sweep works sounds correct to my recollection. Sorry I left the code an undocumented mess. -------------------------- Fundamentally the incremental folder is not maintained by Cargo. The...
I wonder if we can copy some ideas from the [lyon project](https://github.com/nical/lyon), or use its [wasm build](https://github.com/nical/lyon/pull/409). The [blog post](https://nical.github.io/posts/new-tessellator.html) sounds very similar: > Some of these reports were easy...
> The one caution I'd give is that `--precise` isn't strictly a version (iirc it can also be a commit sha) and you likely don't know the Source of the...
P now has support for certain kinds of exhaustivenest checking. https://dafny.org/ was also recommend as was https://tamarin-prover.github.io/.
I had not fully thought this thure when I emoted, having read the responses I agree that it is just a weaker form of MSRV.
(I am not on a crates.io team, but) I would suggest that the limit could in fact be lower than 50. Some of those 200 users are spam accounts that...
I was not sure how to give this feedback, but now that we have a issue open for random feedback... A big +1 for `proptest`!
So I am not experienced enough with this stuff to really speak from authority. The linked discussion express the soundbites I have heard about QuickCheck/Proptest better than I can. My...
Just FYI, proptest is working on new functionality for testing data structures: https://github.com/AltSysrq/proptest/pull/84