summaryrefslogtreecommitdiff
path: root/src/ExtractToFStar.ml (unfollow)
Commit message (Expand)AuthorFilesLines
2022-02-03Make more progress on implementing function extractionSon Ho1-29/+108
2022-02-03Make progress on function extractionSon Ho1-5/+88
2022-02-02Start working on function extractionSon Ho1-0/+10
2022-02-02Make minor modifications to extract mutually recursive typesSon Ho1-41/+77
2022-02-02Update a commentSon Ho1-2/+10
2022-02-02Improve formatting even moreSon Ho1-4/+5
2022-02-02Work on formattingSon Ho1-5/+7
2022-02-02Make minor improvementsSon Ho1-1/+2
2022-02-02Improve formattingSon Ho1-7/+4
2022-02-02Fix more issues when extracting types to F*Son Ho1-36/+36
2022-02-02Start working on fixing the extraction of type definitionsSon Ho1-3/+25
2022-02-02Start generating code for type definitionsSon Ho1-4/+46
2022-02-01Make a minor modification to ExtractToFStar.extract_type_def_enum_bodySon Ho1-0/+4
2022-02-01Implement ExtractToFStar.mk_name_formatterSon Ho1-48/+152
2022-01-29Make progress on ExtractToFStar.mk_name_formatterSon Ho1-15/+45
2022-01-29Start working on StringUtilsSon Ho1-0/+17
2022-01-29Cleanup a bitSon Ho1-19/+4
2022-01-29Make the field names optional and make progress on ExtractToFStarSon Ho1-11/+11
2022-01-29Make progress on ExtractToFStarSon Ho1-20/+122
2022-01-29Rename ExtractToFstar to ExtractToFStarSon Ho1-0/+0
2022-01-29Make progress on ExtractToFstarSon Ho1-10/+19
2022-01-29Start working on extraction to F*Son Ho1-0/+111
generated by cgit v1.2.3 (git 2.25.1) at 2025-01-06 10:13:35 +0000