summaryrefslogtreecommitdiff
path: root/src/Values.ml (follow)
Commit message (Collapse)AuthorAgeFilesLines
* Start updating end_borrow_in_env to take abstractions into accountSon Ho2021-12-141-1/+1
|
* Implement update_{aloan, aborrow}Son Ho2021-12-081-0/+4
|
* Derive iterators for Values.absSon Ho2021-12-081-5/+22
|
* Make minor modificationsSon Ho2021-12-081-15/+8
|
* Cleanup a bitSon Ho2021-12-081-315/+0
|
* Remove g_value, g_typed_value, etc. to make values and abstract valuesSon Ho2021-12-081-75/+90
| | | | distinct
* Make the map visitors non-polymorphicSon Ho2021-12-081-22/+97
|
* Cleanup a bitSon Ho2021-12-071-103/+3
|
* Update map_typed_value and make map_typed_avalue workSon Ho2021-12-071-152/+143
|
* Make the map_g_typed_value visitor polymorphicSon Ho2021-12-071-57/+55
|
* Start working on map_typed_valueSon Ho2021-12-071-1/+115
|
* Implement map_typed_valueSon Ho2021-12-071-0/+64
|
* Add commentsSon Ho2021-12-071-1/+15
|
* Start implementing monomorphic versions of the map visitorsSon Ho2021-12-071-82/+156
|
* Make minor modificationsSon Ho2021-12-061-4/+4
|
* Cleanup a bitSon Ho2021-12-061-152/+0
|
* Implement map visitors for valuesSon Ho2021-12-061-1/+242
|
* Add a commentSon Ho2021-12-031-0/+1
|
* Reorder definitions in Values.mlSon Ho2021-12-031-32/+30
|
* Implement iter visitors for typed_avalueSon Ho2021-12-031-18/+41
|
* Make minor modificationsSon Ho2021-12-031-1/+2
|
* Add code to derive polymorphic visitors for g_typed_value and typed_valueSon Ho2021-12-031-9/+45
|
* Make minor modificationsSon Ho2021-12-031-5/+1
|
* Merge the ADTs, tuples and assumed types in the type and valueSon Ho2021-12-011-23/+3
| | | | definitions
* Merge value and avalueSon Ho2021-12-011-44/+49
|
* Start factorizing valueSon Ho2021-12-011-13/+37
|
* Simplify the adt_value typeSon Ho2021-12-011-6/+0
|
* Move the var definitionSon Ho2021-12-011-12/+0
|
* Add various commentsSon Ho2021-12-011-2/+10
|
* Make minor cleanupSon Ho2021-11-301-1/+1
|
* Introduce [binder] and use them in place of [var] in the environmentsSon Ho2021-11-301-0/+2
|
* Remove the vector type for the Id moduleSon Ho2021-11-301-4/+4
|
* Make minor modificationsSon Ho2021-11-301-2/+6
|
* Derive more debugging facilitiesSon Ho2021-11-291-12/+31
|
* Start deriving formatters for debuggingSon Ho2021-11-291-0/+1
|
* Start working on eval_local_function_callSon Ho2021-11-251-0/+3
|
* Start working on function callsSon Ho2021-11-251-1/+1
|
* Implement eval_binary_opSon Ho2021-11-241-13/+1
|
* Implement abs_to_stringSon Ho2021-11-221-2/+3
|
* Implement typed_avalue_to_string_Son Ho2021-11-221-4/+4
|
* Start working on printing for avaluesSon Ho2021-11-221-17/+29
|
* Make good progress on pretty-printing for valuesSon Ho2021-11-191-2/+2
|
* Start working on end_borrowSon Ho2021-11-181-18/+20
|
* Start working on symbolic values and abstractionsSon Ho2021-11-181-7/+83
|
* Start working on the values for the interpreterSon Ho2021-11-181-0/+47
|
* Remove the automatic derivation of Yojson (de)serializersSon Ho2021-11-181-3/+1
|
* Also generate to_yojson functionsSon Ho2021-11-171-3/+5
|
* Make progress on deserializing modulesSon Ho2021-11-171-2/+0
|
* Use [@@ëerive of_json] on all the typesSon Ho2021-11-171-12/+23
|
* Add Values.ml and Expressions.mlSon Ho2021-11-031-0/+40
generated by cgit v1.2.3 (git 2.25.1) at 2024-12-27 06:41:56 +0000