diff options
author | Son Ho | 2022-01-26 09:15:37 +0100 |
---|---|---|
committer | Son Ho | 2022-01-26 09:15:37 +0100 |
commit | 3d4f1f02e0ff2dc0c634f800d79bd00a3097b761 (patch) | |
tree | e62678ca904fc8059848f4a0f7240551de38b945 /TODO.md | |
parent | 7372a2fb529df9750b06ccefdbb3f716f9823846 (diff) |
Implement SymbolicToPure.typed_avalue_to_given_back
Diffstat (limited to '')
-rw-r--r-- | TODO.md | 4 |
1 files changed, 4 insertions, 0 deletions
@@ -4,6 +4,10 @@ 0. update the end borrows internal to abstractions to not introduce a Bottom +0. remove AConcrete from avalue + +0. remove ABottom from avalue + 1. reorder the branches of matches 1. stateful maps/sets modules (hashtbl?) |