[m-rev.] for review: Optimise modechecking of coerce for large types.

[Zoltan Somogyi]

On Wed, 21 Apr 2021 15:12:15 +1000 (AEST), "Zoltan Somogyi" <zoltan.somogyi at runbox.com> wrote:
> By the way, I just realised that with one exception, my stress tests
> are not in the git repository. I think they should be there.
> I could add them as benchmarks/stress_tests. Any proposals
> for better names? Or should I create a separate repository for them?

When I looked into this, I remembered why I didn't add them to
the repository at the time: they came from MisCrit and Opturion,
and they included, besides the large predicates that were the
stress tests, substantial amounts of supporting code (both types
and predicates/functions) that the stress test code itself referred to.
Publishing the private code of other organizations that gave me
that code in confidence would have been a really bad move.

However, that was about a decade ago, and it is possible that
things have changed. Julien, if I send you a private email with
attachments containing the Opturion code, could you look at it
and get a decision on whether it is ok to publish it now? And
Peter, if I sent you the MisCrit code, could you discuss it with
Michel and do likewise?

Zoltan.