Commits on Sep 12, 2024

1. optimizations for GoogleEventSet, speeding up merging 20+% …

   - add `add_if_not_present` method to avoid computing key twice (which is quite expensive!)
   
     This is intended to be used as a replacement for (e.g. in HPI)
   
     ```
     if event in emitted:
         continue
     emitted.add(event)
     yield event
     ```
   
     With this method, we could rewrite as:
   
     ```
     if emitted.add_if_not_present(event):
         yield event
     ```
   
     This could be introduced to hpi with backwards compatibility.
   
   - use type directly as key, types are hashable (very tiny speedup, but it also feels more natural anyway

   

   karlicoss committed Sep 12, 2024
   Configuration menu

   • View commit details
   • Copy full SHA for 8fbc544
   • Browse repository at this point

   Copy the full SHA

   8fbc544 View commit details

   Browse the repository at this point in the history