summaryrefslogtreecommitdiff
path: root/compiler/StringUtils.ml (unfollow)
Commit message (Expand)AuthorFilesLines
2023-06-04Make good progress on generating code for HOL4Son Ho1-0/+5
2022-10-27Reorganize a bit the projectSon Ho1-0/+0
2022-10-26Update the code documentation to fix links and syntax issuesSon Ho1-1/+1
2022-05-15Treat integer casts in a general mannerSon Ho1-6/+5
2022-02-03Fix an issue with StringUtils.to_snake_caseSon Ho1-3/+6
2022-02-03Implement ExtractToFStar.extract_typed_rvalueSon Ho1-0/+9
2022-02-02Fix more issues when extracting types to F*Son Ho1-1/+3
2022-01-29Implement StringUtils.to_camel_caseSon Ho1-14/+11
2022-01-29Start working on StringUtilsSon Ho1-0/+96