Closed AlexandreMary closed 9 months ago
Thank you for your submission! We really appreciate it. Like many open source projects, we ask that you sign our Contributor License Agreement before we can accept your contribution.
You have signed the CLA already but the status is still pending? Let us recheck it.
Oops, PR mistakingly opened on the wrong fork. Will be re-submitted with other changes later on.
Version of fiat under
contrib/
in the merge of CY49 + single/double precision flexibility + MPI in DR_HOOK flexibility