summaryrefslogtreecommitdiff
path: root/compiler (unfollow)
Commit message (Expand)AuthorFilesLines
2022-11-07Add ids to the dummy variablesSon Ho9-93/+139
2022-11-07Remove the argument [end_borrows] from prepare_lplace and drop_outer_loans_at...Son Ho3-52/+24
2022-11-07Deactivate filter_drop_assigns and implement remove_useless_cf_merges in PreP...Son Ho1-4/+107
2022-11-07Replace all the occurrences of `failwith ...` with `raise (Failure ...)`Son Ho17-148/+171
2022-11-07Fix an issue with drop_valueSon Ho2-28/+32
2022-10-28Update aeneas.opamSon Ho1-2/+2
2022-10-28Move the AssignGlobal case from statement to rvalueSon Ho5-40/+46
2022-10-28Make minor modificationsSon Ho4-7/+11
2022-10-28Make minor updates to account for Charon's changesSon Ho11-52/+47
2022-10-28Take care of some TODOsSon Ho10-12/+10
2022-10-28Move some files to the Charon projectSon Ho29-3486/+57
2022-10-27Reorganize Print.mlSon Ho4-270/+279
2022-10-27Reformat the codeSon Ho7-22/+68
2022-10-27Fix some comment referencesSon Ho6-17/+19
2022-10-27Move constant_value to PrimitiveValues.mlSon Ho20-156/+183
2022-10-27Rename driver.ml to Driver.mlSon Ho2-1/+1
2022-10-27Update the README and a commentSon Ho1-2/+3
2022-10-27Reorganize a bit the projectSon Ho57-0/+24491
generated by cgit v1.2.3 (git 2.25.1) at 2024-12-23 19:46:06 +0000