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

[Julien Fischer]

On Thu, 29 Apr 2021, Zoltan Somogyi wrote:

> 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?

Sure.

Julien.