summaryrefslogtreecommitdiff
path: root/compiler/Identifiers.ml (unfollow)
Commit message (Expand)AuthorFilesLines
2022-10-28Move some files to the Charon projectSon Ho1-139/+1
2022-10-27Reorganize a bit the projectSon Ho1-0/+0
2022-10-26Update the code documentation to fix links and syntax issuesSon Ho1-8/+8
2022-09-22Reformat the project with duneSon Ho1-32/+0
2022-04-26Introduce the Abs expression and continue updating the codeSon Ho1-1/+1
2022-03-04Fix a small issue with PureMicroPasses.get_body_min_var_counterSon Ho1-3/+1
2022-03-03Move the names from Identifiers to NamesSon Ho1-38/+0
2022-02-24Update the way function names are handledSon Ho1-0/+19
2022-02-04Work on decomposition of monadic let-bindings for F*Son Ho1-2/+6
2022-01-28Implement get_expression_min_var_counterSon Ho1-0/+16
2022-01-27Implement Translate.translate_functionSon Ho1-0/+1
2022-01-26Start actually generating symbolic ASTs for the backward functionsSon Ho1-0/+4
2022-01-24Start working on translation of the type definitionsSon Ho1-1/+1
2022-01-24Start working on name generation for the synthesisSon Ho1-1/+16
2022-01-18Derive ord for the typesSon Ho1-0/+4
2022-01-15Use the new collectionsSon Ho1-98/+26
2022-01-15Start working on Collections.mlSon Ho1-0/+2
2022-01-14Implement greedy expansion of symbolic variables and expansion beforeSon Ho1-5/+34
2022-01-14Start working on greedy symbolic value expansion and expansion beforeSon Ho1-2/+34
2022-01-13Fix a small bug in projections_intersect and add more debugging outputSon Ho1-0/+2
2022-01-06Make the symbolic, borrow, region and abstration counters global andSon Ho1-0/+11
2022-01-04Implement expand_symbolic_value_shared_borrowSon Ho1-0/+1
2022-01-04Implement compute_expanded_symbolic_adt_valueSon Ho1-1/+1
2022-01-03Start working on end_abstractionSon Ho1-1/+1
2021-11-30Remove the vector type for the Id moduleSon Ho1-58/+7
2021-11-30Make minor modificationsSon Ho1-0/+2
2021-11-29Derive more debugging facilitiesSon Ho1-1/+16
2021-11-29Start deriving formatters for debuggingSon Ho1-4/+17
2021-11-29Start working logging and make progress on printing ASTsSon Ho1-2/+0
2021-11-26Implement test_unit_functionSon Ho1-0/+4
2021-11-26Make progress on evaluate_non_local_function_callSon Ho1-0/+9
2021-11-25Implement various substitution functionsSon Ho1-8/+19
2021-11-24Implement the discriminant case of eval_rvalueSon Ho1-0/+4
2021-11-24Start refactoring the codeSon Ho1-0/+8
2021-11-23Write utilities for the scalarsSon Ho1-1/+6
2021-11-23Implement formatting for eval_ctxSon Ho1-0/+8
2021-11-23Define evaluation contextsSon Ho1-1/+8
2021-11-23Implement update_env_at_placeSon Ho1-0/+4
2021-11-23Implement expand_bottom_valueSon Ho1-0/+4
2021-11-23Cleanup a bitSon Ho1-0/+4
2021-11-23Change the way exceptions are usedSon Ho1-1/+1
2021-11-22Make progress on write_projectionSon Ho1-0/+10
2021-11-22Make progress on {read,write}_pathSon Ho1-0/+4
2021-11-22Start working on printing for avaluesSon Ho1-0/+6
2021-11-18Start working on end_borrowSon Ho1-0/+8
2021-11-18Add an Errors.ml fileSon Ho1-3/+1
2021-11-18Start working on the values for the interpreterSon Ho1-2/+10
2021-11-18Factorize the deserialization code a bitSon Ho1-20/+2
2021-11-18Cleanup a bitSon Ho1-27/+0
2021-11-18Remove the automatic derivation of Yojson (de)serializersSon Ho1-16/+5