summaryrefslogtreecommitdiff
path: root/src/SymbolicToPure.ml (unfollow)
Commit message (Expand)AuthorFilesLines
2022-01-25Make good progress on typed_avalue_to_consumedSon Ho1-21/+49
2022-01-25Start working on typed_avalue_to_consumedSon Ho1-1/+44
2022-01-25Make progress on translate_typed_value_to_rvalueSon Ho1-5/+11
2022-01-25Start working on translate_typed_value_to_rvalueSon Ho1-3/+28
2022-01-25Implement some utilities in SymbolicToPureSon Ho1-17/+33
2022-01-25Finish implementing SymbolicToPure.translate_end_abstractionSon Ho1-4/+24
2022-01-25Make the back_id field non optional in Values.absSon Ho1-5/+3
2022-01-25Make minor modificationsSon Ho1-9/+83
2022-01-25Introduce lvalues and rvalues in Pure.mlSon Ho1-33/+61
2022-01-25Make progress on SymbolicToPure.translate_end_abstractionSon Ho1-40/+152
2022-01-25Replace BackwardFunctionId with RegionGroupIdSon Ho1-10/+9
2022-01-25Start working on translate_end_abstractionSon Ho1-1/+69
2022-01-25Implement the forgotten Tuple case in SymbolicToPure.translate_expansionSon Ho1-1/+3
2022-01-25Finish implementing SymbolicToPure.translate_expansionSon Ho1-1/+15
2022-01-25Make good progress on SymbolicToPure.translate_expansionSon Ho1-21/+151
2022-01-25Implement SymbolicToPure.translate_fun_sigSon Ho1-35/+225
2022-01-24Make minor modificationsSon Ho1-0/+3
2022-01-24Start working on translation of the type definitionsSon Ho1-0/+82
2022-01-24Start working on name generation for the synthesisSon Ho1-0/+91
generated by cgit v1.2.3 (git 2.25.1) at 2024-12-27 10:14:01 +0000