summaryrefslogtreecommitdiff
path: root/src/Identifiers.ml (unfollow)
Commit message (Expand)AuthorFilesLines
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
2021-11-18Make the json deserializer workSon Ho1-6/+33
2021-11-17Start implementing by hand the json deserializersSon Ho1-0/+11
2021-11-17Also generate to_yojson functionsSon Ho1-3/+7
2021-11-17Use [@@ëerive of_json] on all the typesSon Ho1-1/+2
2021-11-17Make minor modificationsSon Ho1-12/+2
2021-11-17Start working on json deserializationSon Ho1-1/+28
2021-11-03Implement CfimAst.mlSon Ho1-1/+19
2021-11-03Split main.ml between Identifiers.ml and Types.mlSon Ho1-0/+42
generated by cgit v1.2.3 (git 2.25.1) at 2024-12-26 13:20:33 +0000