zetzit / zz

πŸΊπŸ™ ZetZ a zymbolic verifier and tranzpiler to bare metal C
MIT License
1.6k stars 52 forks source link

feat: introduce 'weakmap' module in std #130

Closed jwerle closed 4 years ago

jwerle commented 4 years ago

weakmap::WeakMap is a higher level Map abstraction for borrowed references.

aep commented 4 years ago

Having two modules that do the exact same thing in upstream sounds confusing. I was assuming you just didnt like the map api and would like to change it, which is great.

jwerle commented 4 years ago

ah no this is just a small wrapper around map which is why I kept in userspace

jwerle commented 4 years ago

happy to close and keep there!

aep commented 4 years ago

allright. happy to accept api changes tho

jwerle commented 4 years ago

@aep cool set(), has(), and clear() are the only additions here, which just wrap map::{insert_bb,get,remove} methods

aep commented 4 years ago

yup, those are useful