summaryrefslogtreecommitdiff
path: root/tests/coq/misc/External_FunsExternal.v (follow)
Commit message (Expand)AuthorAgeFilesLines
* Ensure we regenerate files properly in CINadrieril2024-04-181-1/+0
* Fix a Coq fileSon Ho2024-04-111-1/+1
* Fix an issue in External_FunsExternal.vSon Ho2023-12-231-15/+3
* Generate a dedicated file for the external typesSon Ho2023-11-271-1/+1
* Update the generation of files for external definitions and regenerate the testsSon Ho2023-11-271-0/+43