summaryrefslogtreecommitdiff
path: root/src (unfollow)
Commit message (Expand)AuthorFilesLines
2022-05-04Start updating the way the function return type (with errors and states)Son Ho4-182/+278
2022-05-01Move the type-checking functions for pure AST to PureTypeCheck.mlSon Ho3-149/+179
2022-05-01Improve type-checkingSon Ho1-10/+23
2022-05-01Do more cleanupSon Ho4-28/+31
2022-05-01CleanupSon Ho6-106/+47
2022-05-01Perform more renamingsSon Ho4-16/+14
2022-05-01Perform some renamingsSon Ho10-83/+76
2022-05-01Rename "lvalue" to "pattern"Son Ho6-160/+159
2022-05-01Fix a minor issue when extracting filesSon Ho1-6/+6
2022-05-01Make a minor modificationSon Ho1-1/+1
2022-04-29Make more progress propagating the changesSon Ho5-112/+151
2022-04-29Add ConstStrings.mlSon Ho1-0/+7
2022-04-29Make progress on PureMicroPassesSon Ho2-169/+143
2022-04-29Make good progress updating the codeSon Ho4-155/+186
2022-04-29Merge the rvalues with the expressionsSon Ho5-371/+497
2022-04-27Make minor modificationsSon Ho2-3/+73
2022-04-27Make a minor modificationSon Ho1-1/+3
2022-04-27Fix a minor issueSon Ho1-1/+2
2022-04-27Fix various bugs when extracting with a state monadSon Ho5-52/+146
2022-04-27Make minor modificationsSon Ho1-4/+5
2022-04-27Update formattingSon Ho1-12/+6
2022-04-27Make minor modifications to formattingSon Ho1-37/+35
2022-04-27Fix the filtering of useless backward functionsSon Ho1-1/+6
2022-04-27Make minor updatesSon Ho2-1/+1
2022-04-27Update ExtractToFStarSon Ho2-138/+209
2022-04-27Make more progressSon Ho2-14/+42
2022-04-26Make progress on the updatesSon Ho1-54/+11
2022-04-26Introduce the Abs expression and continue updating the codeSon Ho10-194/+249
2022-04-26Introduce the App expression, and make progress updating the codeSon Ho10-124/+218
2022-04-21Make minor modificationsSon Ho1-1/+5
2022-04-21Cleanup and update commentsSon Ho5-130/+75
2022-04-21Improve the generation of names for given back valuesSon Ho15-72/+236
2022-04-21Work on pretty namesSon Ho9-101/+152
2022-04-20Add commentsSon Ho1-0/+7
2022-04-20Introduce mdplace to link meta information about the given back valuesSon Ho8-114/+212
2022-04-20Improve the generation of pretty names by correctly using theSon Ho4-23/+30
2022-04-20Improve PrintPure.mlSon Ho1-6/+7
2022-04-20Update the evaluation of matches for the cases where the scrutinee is aSon Ho2-13/+32
2022-03-04Fix minor issues for the translation of hashmap_on_diskSon Ho2-12/+60
2022-03-04Make minor modifications to the variable names generationSon Ho2-3/+12
2022-03-04Fix a minor issue with external function declarationsSon Ho1-0/+21
2022-03-04Fix a small issue with PureMicroPasses.get_body_min_var_counterSon Ho3-19/+21
2022-03-04Fix a minor issueSon Ho1-6/+9
2022-03-04Fix minor issues when using the state-error monadSon Ho2-7/+85
2022-03-04Fix minor issues with regards to extraction of opaque typesSon Ho2-15/+21
2022-03-04Fix minor mistakes with regards to extraction of external declarationsSon Ho5-45/+68
2022-03-04Update the code to create missing directories upon exportSon Ho2-1/+8
2022-03-03Change the extension of the serialized files to .llbcSon Ho2-2/+2
2022-03-03Fix minor issuesSon Ho2-4/+8
2022-03-03In fun_id rename the variant Local to RegularSon Ho12-26/+27
generated by cgit v1.2.3 (git 2.25.1) at 2024-12-30 21:14:15 +0000