summaryrefslogtreecommitdiff
path: root/tests/lean/hashmap_on_disk/HashmapMain (unfollow)
Commit message (Expand)AuthorFilesLines
2023-07-04Reorganize the Lean testsSon Ho6-851/+0
2023-06-04Regenerate the translated files for LeanSon Ho6-145/+137
2023-06-04Improve the generation of variant names for LeanSon Ho2-59/+47
2023-06-04Improve simplify_aggregates to introduce structure updatesSon Ho1-51/+18
2023-06-04Start updating simplify_aggregatesSon Ho1-8/+14
2023-06-04Make minor modifications to the Lean filesSon Ho1-2/+1
2023-06-04Update the extraction of Lean filesSon Ho3-18/+27
2023-06-04Update the generation of termination and decreases_by templates for LeanSon Ho1-9/+9
2023-06-04Make minor modifications and regenerate the Lean filesSon Ho2-20/+12
2023-06-04WIPJonathan Protzenko1-198/+180
2023-06-04Idiomatic naming conventionsJonathan Protzenko4-221/+247
2023-06-04Improve formatting further by removing useless spacesSon Ho1-14/+0
2023-06-04Make sure let-bindings in Lean end with line breaks and improve formattingSon Ho1-2/+4
2023-06-04Improve formatting of the termination_by clausesSon Ho1-19/+13
2023-06-04Make minor fixes, improve formatting for Lean and generate code for all the t...Son Ho3-129/+232
2023-06-04All of the generated code is syntactically correctJonathan Protzenko2-3/+3
2023-06-04WIPJonathan Protzenko4-14/+129
2023-06-04Fix runaway indentationJonathan Protzenko1-451/+440
2023-06-04Fill out more of the primitives file, attempt at type classes for scalar_castJonathan Protzenko1-2/+2
2023-06-04Don't need extra variables for the decreases clausesJonathan Protzenko1-11/+15
2023-06-04WIP printing proper clausesJonathan Protzenko1-35/+49
2023-06-04Fix some printing bits, proper syntax for terminates and decreases clausesJonathan Protzenko1-443/+451
2023-06-04WIP lots of stuffJonathan Protzenko2-18/+42
2023-06-04Fix a syntax errorJonathan Protzenko1-10/+5
2023-06-04Custom syntax support for structures in LeanJonathan Protzenko1-22/+71
2023-06-04More cosmetic improvementsJonathan Protzenko1-89/+84
2023-06-04Fix a couple bugs here and there, improve Lean code-gen, still WIPJonathan Protzenko1-266/+309
2023-06-04New directory structure and corresponding extraction, + misc fixes, for LeanJonathan Protzenko3-0/+569