summaryrefslogtreecommitdiff
path: root/compiler/Print.ml (unfollow)
Commit message (Expand)AuthorFilesLines
2023-10-25Update following the addition of raw pointersSon Ho1-6/+24
2023-10-23Remove some assumed types and add more support for builtin definitionsSon Ho1-11/+0
2023-10-20Start updating to handle function pointersSon Ho1-0/+23
2023-09-17Normalize the function signatures before translation to pureSon Ho1-0/+19
2023-09-13Fix some issuesSon Ho1-0/+4
2023-09-13Fix more issuesSon Ho1-0/+22
2023-09-13Make minor modificationsSon Ho1-7/+15
2023-09-11Make progress on correctly handling trait method calls in the symbolic executionSon Ho1-0/+8
2023-08-31Start adding support for traitsSon Ho1-6/+51
2023-08-03Fix issuesSon Ho1-1/+5
2023-08-02Make minor modificationsSon Ho1-15/+25
2023-08-02Make progress proapagating the changesSon Ho1-1/+1
2023-08-01Start adding support for const genericsSon Ho1-7/+28
2023-02-03Implement a pass to filter shallow borrowsSon Ho1-1/+1
2023-02-03Add more loop examples and fix issuesSon Ho1-0/+1
2023-02-03Fix another bugSon Ho1-20/+52
2023-02-03Fix some bugsSon Ho1-2/+6
2023-02-03Compute the SCCs of the functions to extract in Translate.mlSon Ho1-0/+3
2023-02-03Update the comments in Values and make minor modificationsSon Ho1-3/+2
2023-02-03Remove the meta-value field from AMutBorrowSon Ho1-1/+1
2023-02-03Remove the APrimitive variant from the avaluesSon Ho1-1/+0
2023-02-03Remove the meta-values from the shared and reserved borrow valuesSon Ho1-3/+2
2023-02-03Make some fixesSon Ho1-2/+18
2023-02-03Make progress on the environment matchesSon Ho1-2/+4
2022-11-07Rename "inactivated borrows" to "reserved borrows"Son Ho1-2/+2
2022-11-07Add ids to the dummy variablesSon Ho1-10/+16
2022-11-07Replace all the occurrences of `failwith ...` with `raise (Failure ...)`Son Ho1-7/+9
2022-10-28Make minor modificationsSon Ho1-3/+7
2022-10-28Move some files to the Charon projectSon Ho1-728/+4
2022-10-27Reorganize Print.mlSon Ho1-262/+271
2022-10-27Move constant_value to PrimitiveValues.mlSon Ho1-4/+4
2022-10-27Reorganize a bit the projectSon Ho1-1/+1
2022-10-26Add meta data with code locations to the various definitionsSon Ho1-0/+4
2022-10-13Rename Modules to CratesSon Ho1-5/+6
2022-09-22Reformat the project with duneSon Ho1-16/+18
2022-07-18Address much stuff of the PR, throw exceptions at remaining placesSidney Congard1-10/+13
2022-06-29Make minor modificationsSon Ho1-1/+1
2022-06-21concrete & symbolic evaluation work with new LLBC formatSidney Congard1-41/+37
2022-06-13crude generation working - missing unit tests & special constants handlingSidney Congard1-0/+1
2022-06-08read globals from LLBC JSON into functionsSidney Congard1-6/+7
2022-05-15Treat integer casts in a general mannerSon Ho1-1/+9
2022-05-15Add AggregatedOptionSon Ho1-3/+9
2022-05-10Make minor modificationsSon Ho1-7/+1
2022-05-01Perform some renamingsSon Ho1-17/+17
2022-04-26Introduce the Abs expression and continue updating the codeSon Ho1-2/+2
2022-04-26Introduce the App expression, and make progress updating the codeSon Ho1-1/+1
2022-04-21Improve the generation of names for given back valuesSon Ho1-1/+1
2022-04-21Work on pretty namesSon Ho1-1/+1
2022-04-20Introduce mdplace to link meta information about the given back valuesSon Ho1-1/+1
2022-04-20Improve the generation of pretty names by correctly using theSon Ho1-3/+2