PT-166788647 FATE efficient maps #183

Merged
zxq9 merged 10 commits from PT-166788647-fate-efficient-maps into master 2019-08-13 22:51:14 +09:00

10 Commits

Author SHA1 Message Date
Ulf Norell
087ec31698 Fix bad type spec 2019-08-13 13:17:41 +02:00
Ulf Norell
c49140fd5d Fix type and some code cleanup 2019-08-13 11:33:21 +02:00
Ulf Norell
414c45fbf7 Export refcount type 2019-08-13 11:25:54 +02:00
Ulf Norell
f5a9be67d9 Remove CALL_TR and CALL_GTR 2019-08-13 09:20:29 +02:00
Ulf Norell
15095a74ab Add has_store_maps function 2019-08-12 14:40:34 +02:00
Ulf Norell
5aee70b8ff Add arity to CALL_R and CALL_GR
and deprecate CALL_TR and CALL_GTR
2019-08-12 14:38:10 +02:00
Ulf Norell
54dcf364e5 Store map reference counting 2019-08-12 10:59:30 +02:00
Ulf Norell
c30bfd7b1c Unfolding store maps 2019-08-09 12:52:31 +02:00
Ulf Norell
e184028261 Code for allocating store maps 2019-08-08 12:42:03 +02:00
Ulf Norell
986a7e6734 Add a store map fate value.
A store map is a (contract local) unique id pointing to a map saved in the contract store, plus a cache of updates.
2019-08-08 12:41:42 +02:00