summaryrefslogtreecommitdiff
path: root/tests/coq/betree/BetreeMain_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.
* Update the generation of files for external definitions and regenerate the testsSon Ho2023-11-271-0/+46