Tristan F.-R.
Tristan F.-R.
> I read this as OSS Fuzz expects every thing that is found to either be fixed, or for the fuzzer to be patched to avoid it. Either done promptly....
I'll open a PR then and link it to this issue!
(@catenacyber)?
By the way, my use of seeding was incorrect. I meant more for large arbitrary-derived structures, as developing an initial corpus is painstaking. Still, without it, the initial fuzzing warmup...
I'll try it out! I was under the impression that core was required but if that's the case then it makes it a lot easier!
It seems that @babel/types calls process.env.BABEL_TYPES_8_BREAKING, which doesn't work on the browser. I'll try using a Vite plugin to replace instances of it and see how it goes. Perhaps I...
I've just made a PR to resolve the comment above: #14350
Also, if that doesn't work, could you create a minimum reproducible example to test with?
There are some cases where the deprecated lemma is different from the actual lemma (see [ite_some_none_eq_some](https://leanprover-community.github.io/mathlib4_docs/Init/ByCases.html#ite_some_none_eq_some)), but for cases of just aliasing, it seems best to omit those. There could...
Is there going to be some sort of major refactor? (e.g. moving awesome-parcel to awesome-parcel-v1 and creating a new awesome-parcel repo with content from #91 )