summaryrefslogtreecommitdiff
path: root/compiler/Print.ml (unfollow)
Commit message (Expand)AuthorFilesLines
2024-06-21Update charonNadrieril1-1/+0
2024-06-21`predicates` got merged into `generic_params`Nadrieril1-12/+9
2024-06-05Relax some constraints in the symbolic execution when borrow-checkingSon Ho1-1/+2
2024-06-03Make minor modificationsSon Ho1-0/+1
2024-05-30More lisible sign for proj_right pretty-printingAymeric Fromherz1-1/+1
2024-05-24Start adding markersSon Ho1-4/+14
2024-05-24Rename meta into spanAymeric Fromherz1-68/+68
2024-04-07Cleanup a bit and improve the error messagesSon Ho1-0/+1
2024-03-29formatting and changed save_error condition for failing from b to not bEscherichia1-3/+6
2024-03-29added file and line arg to craise and cassertEscherichia1-6/+6
2024-03-28formattingEscherichia1-74/+93
2024-03-28Should answer all comments, there are still some TODO: error message leftEscherichia1-67/+67
2024-03-28WIP: translate.ml and extract.ml do not compile. Some assert left to do and w...Escherichia1-67/+68
2024-03-17Make minor updatesSon Ho1-0/+4
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