summaryrefslogtreecommitdiff
path: root/tests/coq/misc/_CoqProject (unfollow)
Commit message (Expand)AuthorFilesLines
2024-05-31Regenerate testsAymeric Fromherz1-12/+12
2024-03-19Regenerate the testsSon Ho1-2/+2
2024-02-02Rename and regenerate some filesSon Ho1-1/+1
2023-12-22Regenerate the test files and add the fstar-split testsSon Ho1-1/+1
2023-12-05Update following changes in CharonSon Ho1-1/+1
2023-11-29Regenerate the other filesSon Ho1-0/+1
2023-11-27Generate a dedicated file for the external typesSon Ho1-2/+4
2023-11-27Update the generation of files for external definitions and regenerate the testsSon Ho1-1/+2
2023-07-06Improve the generated commentsSon Ho1-3/+3
2023-06-04Make sure let-bindings in Lean end with line breaks and improve formattingSon Ho1-3/+3
2023-02-03Make minor modifications and generate code for loopsSon Ho1-0/+1
2022-11-16Automatically generate the Makefile and _CoqProject files in the tests subdir...Son Ho1-4/+4
2022-11-16Generate record field projectors for CoqSon Ho1-3/+3
2022-11-14Extract the Polonius examples in CoqSon Ho1-1/+2
2022-11-14Make good progress on the Coq backendSon Ho1-0/+12