summaryrefslogtreecommitdiff
path: root/compiler/PureMicroPasses.ml (unfollow)
Commit message (Expand)AuthorFilesLines
2023-12-23Update the micro-passesSon Ho1-77/+94
2023-12-23Improve the micro passes to eliminate pattern `let f := fun x => g x`Son Ho1-2/+43
2023-12-22Fix the output type of the loops backward functionsSon Ho1-22/+3
2023-12-21Improve the pure micro passesSon Ho1-3/+33
2023-12-21Improve PureMicroPasses.filter_useless to simplify the matchesSon Ho1-1/+14
2023-12-21Implement a micro-pass to simplify the let-bindingsSon Ho1-0/+78
2023-12-21Simplify the type of the merged fwd/back functionsSon Ho1-3/+4
2023-12-21Remove some asserts which are now uselessSon Ho1-3/+0
2023-12-18Fix a minor mistake in SymbolicToPureSon Ho1-2/+7
2023-12-15Make progress on updating the codeSon Ho1-19/+29
2023-12-15Make progress on propagating the changesSon Ho1-55/+55
2023-12-15Make progress on generalizing the signature informationSon Ho1-7/+3
2023-12-13Update Pure.fun_sig_infoSon Ho1-39/+57
2023-12-13Add the num_fwd_inputs_no_fuel_no_state field in Pure.fun_sigSon Ho1-0/+5
2023-12-07Update the micro passes to inline deconstruction of tuples with one fieldSon Ho1-6/+34
2023-12-07Use a better syntax when extracting tuple types (structures with unnamed fields)Son Ho1-38/+44
2023-11-22Improve further the generation of parent clause/trait clause namesSon Ho1-2/+6
2023-11-21Add span information to the generated codeSon Ho1-3/+6
2023-11-21Add an `is_local` field to declarationsSon Ho1-0/+1
2023-11-20Fix minor issuesSon Ho1-53/+13
2023-11-16Update SymbolicToPure.eliminate_box_functionsSon Ho1-30/+45
2023-11-16Finish propagating the changes to the names and cleaningSon Ho1-12/+17
2023-11-13Add RegionsHierarchy.mlSon Ho1-4/+5
2023-11-12Prefix variants related to types with "T"Son Ho1-6/+6
2023-11-12Remove the 'r type variable from the ty type definitionSon Ho1-5/+5
2023-10-24Start taking into account non-fallible functions like core::mem::replaceSon Ho1-5/+7
2023-10-23Remove some assumed types and add more support for builtin definitionsSon Ho1-20/+22
2023-10-20Start updating to handle function pointersSon Ho1-16/+16
2023-10-13Add supSon Ho1-1/+1
2023-09-17Merge trans_ctx and decls_ctxSon Ho1-7/+4
2023-09-11Make progress on correctly handling trait method calls in the symbolic executionSon Ho1-14/+15
2023-09-03Add the keep_fwd field in TranslateCore.pure_fun_translationSon Ho1-15/+13
2023-09-03Update TranslateCore.pure_fun_translationSon Ho1-10/+10
2023-09-03Update the type TranslateCore.fun_and_loopsSon Ho1-8/+9
2023-09-03Make progress on the extractionSon Ho1-2/+6
2023-09-01Update PureMicroPassesSon Ho1-43/+18
2023-08-18Add tests which use const generics as valuesSon Ho1-2/+2
2023-08-18Update following the introduction of ConstantExprSon Ho1-4/+3
2023-08-07Change some fun id names to use "Mut"/"Shared" as a suffixSon Ho1-4/+4
2023-08-04Add SliceLen as a primitive function and make minor adjustmentsSon Ho1-1/+2
2023-08-03Fix an issue with the extraction of aggregated arraysSon Ho1-3/+3
2023-08-02Make progressSon Ho1-9/+37
2023-06-04Improve simplify_aggregates to introduce structure updatesSon Ho1-2/+41
2023-06-04Start updating simplify_aggregatesSon Ho1-2/+43
2023-06-04Add a special expression for structure creation/updateSon Ho1-1/+109
2023-02-03Improve the pretty names generation for loopsSon Ho1-0/+2
2023-02-03Implement a pass to filter the unused input arguments in the loop functionsSon Ho1-14/+328
2023-02-03Improve the heuristic to find pretty names for the variables in the loopsSon Ho1-0/+13
2023-02-03Improve PureMicroPasses.filter_useless and regenerate the betree codeSon Ho1-0/+8
2023-02-03Fix some issues with the values given back by loop backward translationsSon Ho1-3/+26