-
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
* 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.