summaryrefslogtreecommitdiff
path: root/compiler/Logging.ml (unfollow)
Commit message (Expand)AuthorFilesLines
2023-02-03Start implementing support for loopsSon Ho1-0/+3
2022-11-14Make good progress on the Coq backendSon Ho1-2/+2
2022-11-07Add some .mli filesSon Ho1-0/+3
2022-10-28Move some files to the Charon projectSon Ho1-137/+1
2022-10-27Reorganize a bit the projectSon Ho1-0/+0
2022-10-26Update the code documentation to fix links and syntax issuesSon Ho1-2/+4
2022-03-03Rename CfimOfJson to LlbcOfJsonSon Ho1-2/+2
2022-03-03Rename CFIM to LLBCSon Ho1-1/+1
2022-02-10Make minor updates to deserializationSon Ho1-0/+3
2022-02-09Implement the generation of `decreases` clauses in the definitionSon Ho1-3/+4
2022-02-08Fix some mistakes in the type conversion to pureSon Ho1-0/+3
2022-02-08Implement pre-passes to update the AST before executing the interpreterSon Ho1-0/+3
2022-01-28Make a lot of small modificationsSon Ho1-0/+3
2022-01-27Move some definitions from SymbolicToPure to PureToExtractSon Ho1-0/+3
2022-01-26Make progress on translationSon Ho1-0/+6
2022-01-07Make more modifications to loggingSon Ho1-4/+8
2022-01-07Add logging information for borrowsSon Ho1-4/+6
2022-01-07Make more improvements to loggingSon Ho1-3/+10
2022-01-07Improve logging and introduce eval_operands_prepareSon Ho1-0/+13
2021-12-07Update the formatting for the loggerSon Ho1-2/+128
2021-11-29Start working logging and make progress on printing ASTsSon Ho1-0/+3