summaryrefslogtreecommitdiff
path: root/src/Logging.ml (unfollow)
Commit message (Expand)AuthorFilesLines
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