summaryrefslogtreecommitdiff
path: root/tests/coq/misc/External_FunsExternal_Template.v (follow)
Commit message (Expand)AuthorAgeFilesLines
* Bump charon versionNadrieril2024-05-231-2/+2
* Update the tests for ExternalSon Ho2024-04-251-17/+13
* Regenerate the test filesSon Ho2024-04-041-3/+6
* Regenerate the test files and add the fstar-split testsSon Ho2023-12-221-16/+4
* Generate a dedicated file for the external typesSon Ho2023-11-271-3/+3
* Update the generation of files for external definitions and regenerate the testsSon Ho2023-11-271-0/+44