summaryrefslogtreecommitdiff
path: root/src/ExtractToFStar.ml (follow)
Commit message (Expand)AuthorAgeFilesLines
...
* Make a minor modification to ExtractToFStar.extract_type_def_enum_bodySon Ho2022-02-011-0/+4
* Implement ExtractToFStar.mk_name_formatterSon Ho2022-02-011-48/+152
* Make progress on ExtractToFStar.mk_name_formatterSon Ho2022-01-291-15/+45
* Start working on StringUtilsSon Ho2022-01-291-0/+17
* Cleanup a bitSon Ho2022-01-291-19/+4
* Make the field names optional and make progress on ExtractToFStarSon Ho2022-01-291-11/+11
* Make progress on ExtractToFStarSon Ho2022-01-291-20/+122
* Rename ExtractToFstar to ExtractToFStarSon Ho2022-01-291-0/+120