summaryrefslogtreecommitdiff
path: root/src/Identifiers.ml (follow)
Commit message (Expand)AuthorAgeFilesLines
* Introduce the Abs expression and continue updating the codeSon Ho2022-04-261-1/+1
* Fix a small issue with PureMicroPasses.get_body_min_var_counterSon Ho2022-03-041-3/+1
* Move the names from Identifiers to NamesSon Ho2022-03-031-38/+0
* Update the way function names are handledSon Ho2022-02-241-0/+19
* Work on decomposition of monadic let-bindings for F*Son Ho2022-02-041-2/+6
* Implement get_expression_min_var_counterSon Ho2022-01-281-0/+16
* Implement Translate.translate_functionSon Ho2022-01-271-0/+1
* Start actually generating symbolic ASTs for the backward functionsSon Ho2022-01-261-0/+4
* Start working on translation of the type definitionsSon Ho2022-01-241-1/+1
* Start working on name generation for the synthesisSon Ho2022-01-241-1/+16
* Derive ord for the typesSon Ho2022-01-181-0/+4
* Use the new collectionsSon Ho2022-01-151-98/+26
* Start working on Collections.mlSon Ho2022-01-151-0/+2
* Implement greedy expansion of symbolic variables and expansion beforeSon Ho2022-01-141-5/+34
* Start working on greedy symbolic value expansion and expansion beforeSon Ho2022-01-141-2/+34
* Fix a small bug in projections_intersect and add more debugging outputSon Ho2022-01-131-0/+2
* Make the symbolic, borrow, region and abstration counters global andSon Ho2022-01-061-0/+11
* Implement expand_symbolic_value_shared_borrowSon Ho2022-01-041-0/+1
* Implement compute_expanded_symbolic_adt_valueSon Ho2022-01-041-1/+1
* Start working on end_abstractionSon Ho2022-01-031-1/+1
* Remove the vector type for the Id moduleSon Ho2021-11-301-58/+7
* Make minor modificationsSon Ho2021-11-301-0/+2
* Derive more debugging facilitiesSon Ho2021-11-291-1/+16
* Start deriving formatters for debuggingSon Ho2021-11-291-4/+17
* Start working logging and make progress on printing ASTsSon Ho2021-11-291-2/+0
* Implement test_unit_functionSon Ho2021-11-261-0/+4
* Make progress on evaluate_non_local_function_callSon Ho2021-11-261-0/+9
* Implement various substitution functionsSon Ho2021-11-251-8/+19
* Implement the discriminant case of eval_rvalueSon Ho2021-11-241-0/+4
* Start refactoring the codeSon Ho2021-11-241-0/+8
* Write utilities for the scalarsSon Ho2021-11-231-1/+6
* Implement formatting for eval_ctxSon Ho2021-11-231-0/+8
* Define evaluation contextsSon Ho2021-11-231-1/+8
* Implement update_env_at_placeSon Ho2021-11-231-0/+4
* Implement expand_bottom_valueSon Ho2021-11-231-0/+4
* Cleanup a bitSon Ho2021-11-231-0/+4
* Change the way exceptions are usedSon Ho2021-11-231-1/+1
* Make progress on write_projectionSon Ho2021-11-221-0/+10
* Make progress on {read,write}_pathSon Ho2021-11-221-0/+4
* Start working on printing for avaluesSon Ho2021-11-221-0/+6
* Start working on end_borrowSon Ho2021-11-181-0/+8
* Add an Errors.ml fileSon Ho2021-11-181-3/+1
* Start working on the values for the interpreterSon Ho2021-11-181-2/+10
* Factorize the deserialization code a bitSon Ho2021-11-181-20/+2
* Cleanup a bitSon Ho2021-11-181-27/+0
* Remove the automatic derivation of Yojson (de)serializersSon Ho2021-11-181-16/+5
* Make the json deserializer workSon Ho2021-11-181-6/+33
* Start implementing by hand the json deserializersSon Ho2021-11-171-0/+11
* Also generate to_yojson functionsSon Ho2021-11-171-3/+7
* Use [@@ëerive of_json] on all the typesSon Ho2021-11-171-1/+2