summaryrefslogtreecommitdiff
path: root/tests/coq/misc/External_FunsExternal.v (follow)
Commit message (Collapse)AuthorAgeFilesLines
* Ensure we regenerate files properly in CINadrieril2024-04-181-1/+0
| | | | | Files that weren't regenerated were marked as not automatically-generated.
* 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