summaryrefslogtreecommitdiff
path: root/compiler/StringUtils.ml (follow)
Commit message (Collapse)AuthorAgeFilesLines
* Use the name matcher implemented in CharonSon Ho2023-11-201-111/+1
|
* Make good progress on generating code for HOL4Son Ho2023-06-041-0/+5
|
* Reorganize a bit the projectSon Ho2022-10-271-0/+106