summaryrefslogtreecommitdiff
path: root/tests/coq/misc/NoNestedBorrows.v (unfollow)
Commit message (Expand)AuthorFilesLines
2024-05-24Tweak a pathNadrieril1-63/+63
2024-04-17Bump charonNadrieril1-159/+56
2024-04-04Regenerate the test filesSon Ho1-54/+48
2024-04-04Regenerate the test filesSon Ho1-6/+6
2024-03-20Regenerate the codeSon Ho1-7/+2
2024-03-11Update the generated filesSon Ho1-2/+2
2023-12-23Regenerate the filesSon Ho1-23/+14
2023-12-22Annotate the bound vars in the lambdas for CoqSon Ho1-199/+189
2023-12-13Regenerate the test filesSon Ho1-61/+71
2023-12-07Regenerate the testsSon Ho1-1/+33
2023-12-05Update following changes in CharonSon Ho1-73/+131
2023-11-27Generate a dedicated file for the external typesSon Ho1-1/+1
2023-11-21Regenerate the filesSon Ho1-69/+138
2023-11-21Regenerate most of the test filesSon Ho1-2/+3
2023-11-09Regenerate the Coq test filesSon Ho1-16/+16
2023-11-08Update the Makefile and regenerate some testsSon Ho1-0/+12
2023-10-27Regenerate the Coq test filesSon Ho1-156/+149
2023-08-08Regenerate the test filesSon Ho1-9/+9
2023-08-04Update the Makefile and regenerate the test filesSon Ho1-0/+2
2023-07-06Improve the generated commentsSon Ho1-55/+57
2023-06-04Make good progress on generating code for HOL4Son Ho1-30/+26
2023-06-04Start updating simplify_aggregatesSon Ho1-4/+4
2023-06-04Make sure let-bindings in Lean end with line breaks and improve formattingSon Ho1-13/+26
2023-02-03Regenerate the hashmap code and update the proofsSon Ho1-3/+1
2023-02-03Regenerate the filesSon Ho1-26/+12
2022-11-16Generate record field projectors for CoqSon Ho1-28/+15
2022-11-16Improve formattingSon Ho1-143/+164
2022-11-14Regenerate the files and fix the proofsSon Ho1-32/+40
2022-11-14Improve the formatting of [if then else] expressionsSon Ho1-73/+59
2022-11-14Improve the formatting of the generated codeSon Ho1-5/+10
2022-11-14Make good progress on the Coq backendSon Ho1-0/+510