summaryrefslogtreecommitdiff
path: root/src/Logging.ml (follow)
Commit message (Expand)AuthorAgeFilesLines
* Rename CfimOfJson to LlbcOfJsonSon Ho2022-03-031-2/+2
* Rename CFIM to LLBCSon Ho2022-03-031-1/+1
* Make minor updates to deserializationSon Ho2022-02-101-0/+3
* Implement the generation of `decreases` clauses in the definitionSon Ho2022-02-091-3/+4
* Fix some mistakes in the type conversion to pureSon Ho2022-02-081-0/+3
* Implement pre-passes to update the AST before executing the interpreterSon Ho2022-02-081-0/+3
* Make a lot of small modificationsSon Ho2022-01-281-0/+3
* Move some definitions from SymbolicToPure to PureToExtractSon Ho2022-01-271-0/+3
* Make progress on translationSon Ho2022-01-261-0/+6
* Make more modifications to loggingSon Ho2022-01-071-4/+8
* Add logging information for borrowsSon Ho2022-01-071-4/+6
* Make more improvements to loggingSon Ho2022-01-071-3/+10
* Improve logging and introduce eval_operands_prepareSon Ho2022-01-071-0/+13
* Update the formatting for the loggerSon Ho2021-12-071-2/+128
* Start working logging and make progress on printing ASTsSon Ho2021-11-291-0/+3