Skip to content
  • Ralf Jung's avatar
    ghost_map API tweaks: · 456eccfa
    Ralf Jung authored
    * Rename ghost_map_elem_elem_frac_ne → ghost_map_elem_frac_ne,
      ghost_map_elem_elem_ne → ghost_map_elem_ne.
    * Make ghost_map_elem_persist work for arbitrary `dfrac`.
    * Add ghost_map_insert_persist.
    456eccfa