summaryrefslogtreecommitdiff
path: root/compiler (unfollow)
Commit message (Expand)AuthorFilesLines
2023-10-23Make progress on handling the builtinsSon Ho4-154/+270
2023-10-23Remove some assumed types and add more support for builtin definitionsSon Ho24-808/+763
2023-10-20Start updating to handle function pointersSon Ho16-100/+163
2023-10-16Improve formatting of scalars in LeanSon Ho1-23/+10
2023-10-16Fix a small issueSon Ho2-13/+53
2023-10-13Add supSon Ho6-3/+23
2023-10-06Slightly improve formatting of the generated codeSon Ho1-1/+6
2023-09-19Cleanup a bitSon Ho2-12/+12
2023-09-17Normalize the function signatures before translation to pureSon Ho9-150/+294
2023-09-17Make minor modificationsSon Ho2-15/+9
2023-09-17Merge trans_ctx and decls_ctxSon Ho7-120/+53
2023-09-17Make progress on correctly extracting trait method callsSon Ho3-39/+121
2023-09-17Update the handling of calls to trait impl methodsSon Ho1-8/+67
2023-09-17Fix a minor issueSon Ho1-2/+2
2023-09-17Fix some issues with calls to trait methodsSon Ho2-11/+21
2023-09-17Fix some formatting issuesSon Ho1-2/+10
2023-09-17Fix more issues with the extractionSon Ho2-11/+46
2023-09-17Fix several issues with the extractionSon Ho2-67/+100
2023-09-16Fix issues with name registration/lookupSon Ho2-24/+81
2023-09-16Add a strict_names_map in the extraction_ctxSon Ho2-17/+52
2023-09-16Fix more issuesSon Ho2-8/+7
2023-09-16Fix issues with name collisionsSon Ho2-13/+39
2023-09-14Make progress on the extractionSon Ho3-6/+24
2023-09-14Fix some issues with the name collisionsSon Ho1-3/+29
2023-09-13Fix some issuesSon Ho7-16/+81
2023-09-13Fix more issuesSon Ho4-40/+157
2023-09-13Make minor modificationsSon Ho5-47/+38
2023-09-11Make progress on correctly handling trait method calls in the symbolic executionSon Ho12-67/+221
2023-09-10Add support for the trait associated constantsSon Ho11-13/+83
2023-09-10Implement handling of trait method function callsSon Ho1-66/+115
2023-09-07Fix some issuesSon Ho2-15/+26
2023-09-07Map some globals like u32::MAX to standard definitionsSon Ho7-38/+112
2023-09-04Fix a minor issue in HOL4Son Ho1-1/+1
2023-09-04Fix minor issuesSon Ho2-3/+15
2023-09-03Implement extract_trait_implSon Ho1-6/+160
2023-09-03Extract the trait decl methodsSon Ho2-34/+54
2023-09-03Make progress registering the trait decl method namesSon Ho2-31/+93
2023-09-03Do more cleanupSon Ho3-9/+9
2023-09-03Add the keep_fwd field in TranslateCore.pure_fun_translationSon Ho4-35/+42
2023-09-03Update TranslateCore.pure_fun_translationSon Ho5-34/+33
2023-09-03Update the type TranslateCore.fun_and_loopsSon Ho4-34/+35
2023-09-03Make progress on extracting trait decls and merge gen_ctx and extraction_ctxSon Ho3-98/+219
2023-09-03Register the names for the trait declsSon Ho2-14/+154
2023-09-03Make more progressSon Ho3-24/+67
2023-09-03Make progress on the extractionSon Ho3-61/+221
2023-09-03Make progress on the extractionSon Ho6-21/+264
2023-09-03Make progress on the extractionSon Ho6-52/+138
2023-09-03Improve the collision detectionSon Ho1-16/+54
2023-09-01Make good progress on Extract.mlSon Ho2-224/+237
2023-09-01Update PureMicroPassesSon Ho2-44/+19
generated by cgit v1.2.3 (git 2.25.1) at 2024-12-24 00:15:27 +0000