summaryrefslogtreecommitdiff
path: root/src/StringUtils.ml (follow)
Commit message (Collapse)AuthorAgeFilesLines
* Treat integer casts in a general mannerSon Ho2022-05-151-6/+5
|
* Fix an issue with StringUtils.to_snake_caseSon Ho2022-02-031-3/+6
|
* Implement ExtractToFStar.extract_typed_rvalueSon Ho2022-02-031-0/+9
|
* Fix more issues when extracting types to F*Son Ho2022-02-021-1/+3
|
* Implement StringUtils.to_camel_caseSon Ho2022-01-291-14/+11
|
* Start working on StringUtilsSon Ho2022-01-291-0/+96