summaryrefslogtreecommitdiff
path: root/compiler/SymbolicToPure.ml (unfollow)
Commit message (Expand)AuthorFilesLines
2024-03-29Cleanup and fix a mistakeSon Ho1-122/+99
2024-03-29Add some error messagesSon Ho1-6/+7
2024-03-29Cleanup a bitSon Ho1-2/+1
2024-03-29formatting and changed save_error condition for failing from b to not bEscherichia1-15/+40
2024-03-29added file and line arg to craise and cassertEscherichia1-74/+74
2024-03-28formattingEscherichia1-101/+174
2024-03-28changes after git rebase mainEscherichia1-7/+7
2024-03-28Should answer all comments, there are still some TODO: error message leftEscherichia1-34/+34
2024-03-28Added sanity_check and sanity_check_opt_meta helpers and changed sanity check...Escherichia1-8/+8
2024-03-28added a meta option field to norm_ctx and changed the meta used by some asser...Escherichia1-1/+1
2024-03-28Still need to fill the TODO: error message and check some meta but it buildsEscherichia1-5/+5
2024-03-28WIP: translate.ml and extract.ml do not compile. Some assert left to do and w...Escherichia1-294/+297
2024-03-28WIP Beginning working on better errors: began replacing raise (Failure) and a...Escherichia1-306/+307
2024-03-20Improve the generation of pretty name and the micro passesSon Ho1-9/+59
2024-03-18Make good progress on adding generics to global constantsSon Ho1-4/+43
2024-03-17Update following changes in CharonSon Ho1-17/+11
2024-03-08Fix some issuesSon Ho1-9/+9
2024-03-08Add some commentsSon Ho1-2/+5
2024-03-08Fix a last issueSon Ho1-51/+107
2024-03-08Fix an issue with the loopsSon Ho1-1/+7
2024-03-08Make progress on fixing the loopsSon Ho1-16/+23
2024-03-08Make progress on propagating the changesSon Ho1-11/+2
2024-03-08Remove the option to split fwd/back functions and update SymbolicToPureSon Ho1-564/+372
2023-12-22Fix minor issuesSon Ho1-9/+48
2023-12-22Update the computation of the effect info for the loopsSon Ho1-46/+95
2023-12-22Fix the output type of the loops backward functionsSon Ho1-6/+59
2023-12-22Fix a minor issue with the extraction of loops when merging the fwd/back func...Son Ho1-11/+19
2023-12-22Add an option to split the fwd/back functions and fix a minor issueSon Ho1-7/+12
2023-12-22Fix an issue when merging the fwd/back functions of trait methodsSon Ho1-5/+21
2023-12-21Fix issues when extracting stateful functionsSon Ho1-16/+14
2023-12-21Fix several issuesSon Ho1-51/+135
2023-12-21Simplify the type of the merged fwd/back functionsSon Ho1-43/+116
2023-12-21Filter the useless backward functionsSon Ho1-75/+145
2023-12-21Update SymbolicToPure.ml for the loopsSon Ho1-96/+125
2023-12-21Fix some issues in SymbolicToPureSon Ho1-25/+26
2023-12-21Fix a minor issueSon Ho1-2/+5
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
generated by cgit v1.2.3 (git 2.25.1) at 2024-12-27 03:22:34 +0000