summaryrefslogtreecommitdiff
path: root/tests/coq/misc/External_FunsExternal.v (follow)
Commit message (Collapse)AuthorAgeFilesLines
* 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