summaryrefslogtreecommitdiff
path: root/compiler/Print.ml (unfollow)
Commit message (Expand)AuthorFilesLines
2024-03-08Make progress on fixing the loopsSon Ho1-0/+4
2024-03-08Update Print.mlSon Ho1-8/+8
2023-12-18Rename some definitionsSon Ho1-5/+5
2023-12-05Update following changes in CharonSon Ho1-14/+11
2023-11-21Rename PrimitiveValues to ValuesSon Ho1-1/+2
2023-11-16Finish propagating the changes to the names and cleaningSon Ho1-1/+0
2023-11-15Start updating the name type, cleanup the names and the module abbrevsSon Ho1-395/+291
2023-11-12Add the "V" prefix to most variants related to valuesSon Ho1-12/+13
2023-11-12Prefix variants related to types with "T"Son Ho1-4/+4
2023-11-12Remove the 'r type variable from the ty type definitionSon Ho1-143/+59
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