summaryrefslogtreecommitdiff
path: root/tests/coq/misc/External_FunsExternal.v (unfollow)
Commit message (Expand)AuthorFilesLines
2024-04-18Ensure we regenerate files properly in CINadrieril1-1/+0
2024-04-11Fix a Coq fileSon Ho1-1/+1
2023-12-23Fix an issue in External_FunsExternal.vSon Ho1-15/+3
2023-11-27Generate a dedicated file for the external typesSon Ho1-1/+1
2023-11-27Update the generation of files for external definitions and regenerate the testsSon Ho1-2/+2
2023-11-21Regenerate the filesSon Ho1-5/+10
2023-11-21Regenerate most of the test filesSon Ho1-2/+2
2023-10-27Regenerate the Coq test filesSon Ho1-4/+4
2023-08-04Update the Makefile and regenerate the test filesSon Ho1-0/+2
2023-07-06Improve the generated commentsSon Ho1-5/+5
2023-07-05Start using namespaces in the Lean backendSon Ho1-1/+1
2022-11-16Change the name of the generated Coq modulesSon Ho1-4/+4
2022-11-16Improve formattingSon Ho1-12/+12
2022-11-14Make good progress on the Coq backendSon Ho1-0/+36