summaryrefslogtreecommitdiff
path: root/src/Values.ml (follow)
Commit message (Collapse)AuthorAgeFilesLines
* Take the abstract shared borrows into accountSon Ho2021-12-171-0/+3
|
* Change the definition of abstract_shared_borrowsSon Ho2021-12-171-15/+20
|
* Use RegionVarId and RegionId in a more consistent mannerSon Ho2021-12-171-2/+0
|
* Start working on projections_intersect and apply_proj_borrowsSon Ho2021-12-171-0/+9
|
* Implement the avalue cases of give_back_valueSon Ho2021-12-171-1/+10
|
* Start updating give_back_valueSon Ho2021-12-171-1/+1
|
* Update a commentSon Ho2021-12-171-1/+2
|
* Make minor modificationsSon Ho2021-12-171-0/+2
|
* Finish implementing visit_ABorrow for end_borrow_get_borrow_in_envSon Ho2021-12-171-1/+1
|
* Implement the visit_ALoan case for end_borrow_get_borrow_in_envSon Ho2021-12-171-1/+15
|
* 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
|
generated by cgit v1.2.3 (git 2.25.1) at 2024-10-19 17:35:00 +0000