summaryrefslogtreecommitdiff
path: root/compiler/SymbolicToPure.ml (unfollow)
Commit message (Expand)AuthorFilesLines
2023-12-21Make good progress on merging the fwd/back functionsSon Ho1-57/+209
2023-12-19Remove SymbolicToPure.bs_ctx.loop_backward_outputsSon Ho1-32/+15
2023-12-19Simplify SymbolicToPure.bs_ctx.{backward_outputs, loop_backward_outputs}Son Ho1-84/+69
2023-12-18Remove the backwards field from SymbolicToPure.call_infoSon Ho1-15/+5
2023-12-18Fix a minor mistake in SymbolicToPureSon Ho1-4/+1
2023-12-18Add some commentsSon Ho1-16/+31
2023-12-18Rename some definitionsSon Ho1-39/+39
2023-12-15Make progress on updating the codeSon Ho1-67/+12
2023-12-15Minor fixSon Ho1-2/+2
2023-12-15Make good progress on updating SymbolicToPureSon Ho1-39/+185
2023-12-15Make progress on updating SymbolicToPureSon Ho1-57/+112
2023-12-15Make progress on generalizing the signature informationSon Ho1-158/+155
2023-12-15Make minor modificationsSon Ho1-75/+33
2023-12-14Make progress on generated merged fwd/back functionsSon Ho1-27/+29
2023-12-14Start updating Pure.fun_sig_info to handle merged forward and backward functionsSon Ho1-20/+42
2023-12-13Update the extraction to handle casts between integers/boolsSon Ho1-1/+1
2023-12-13Update Pure.fun_sig_infoSon Ho1-11/+21
2023-12-13Add the num_fwd_inputs_no_fuel_no_state field in Pure.fun_sigSon Ho1-2/+3
2023-12-07Use a better syntax when extracting tuple types (structures with unnamed fields)Son Ho1-11/+19
2023-12-05Fix a minor issue with the use of const genericsSon Ho1-1/+7
2023-12-05Update following changes in CharonSon Ho1-14/+42
2023-11-22Improve further the generation of parent clause/trait clause namesSon Ho1-10/+34
2023-11-21Add span information to the generated codeSon Ho1-7/+14
2023-11-21Add an `is_local` field to declarationsSon Ho1-1/+7
2023-11-21Rename PrimitiveValues to ValuesSon Ho1-3/+1
2023-11-21Make a minor modificationSon Ho1-1/+11
2023-11-20Use the name matcher implemented in CharonSon Ho1-2/+2
2023-11-16Do more cleanupSon Ho1-12/+13
2023-11-16Finish propagating the changes to the names and cleaningSon Ho1-3/+3
2023-11-15Start updating the name type, cleanup the names and the module abbrevsSon Ho1-107/+107
2023-11-13Add RegionsHierarchy.mlSon Ho1-7/+18
2023-11-12Add the "V" prefix to most variants related to valuesSon Ho1-10/+10
2023-11-12Prefix variants related to types with "T"Son Ho1-53/+51
2023-11-12Rename some variantsSon Ho1-2/+2
2023-11-12Remove the 'r type variable from the ty type definitionSon Ho1-106/+113
2023-11-07Update the normalization of associated typesSon Ho1-0/+3
2023-11-06Update following some changes in CharonSon Ho1-0/+3
2023-10-30Make minor updates following changes in CharonSon Ho1-5/+2
2023-10-25Fix some issues to make the array test succeed againSon Ho1-9/+12
2023-10-25Update following the addition of raw pointersSon Ho1-0/+13
2023-10-23Remove some assumed types and add more support for builtin definitionsSon Ho1-24/+7
2023-10-20Start updating to handle function pointersSon Ho1-22/+28
2023-09-22Allow bitshifts with any pair of integer typesAymeric Fromherz1-1/+5
2023-09-17Normalize the function signatures before translation to pureSon Ho1-0/+27
2023-09-17Make minor modificationsSon Ho1-11/+8
2023-09-13Fix more issuesSon Ho1-34/+43
2023-09-13Make minor modificationsSon Ho1-37/+0
2023-09-11Make progress on correctly handling trait method calls in the symbolic executionSon Ho1-12/+61
2023-09-10Add support for the trait associated constantsSon Ho1-2/+10
2023-09-04Fix minor issuesSon Ho1-2/+12
generated by cgit v1.2.3 (git 2.25.1) at 2024-12-23 16:47:21 +0000