SYSTEM WARNING: 'session_name(): Cannot change session name when session is active' in '/home/gitlab-www/dokuwiki/inc/init.php' line 231

SYSTEM WARNING: 'session_set_cookie_params(): Cannot change session cookie parameters when session is active' in '/home/gitlab-www/dokuwiki/inc/init.php' line 232

mantis:frama-c:oxygen-to-fluorine [Frama-C]

User Tools

  • Logged in as: anonymous (anonymous)
  • Log Out

Site Tools


How to update your plugin from Oxygen to Fluorine

Changes in Value

The interfaces of Value, including the directories src/ai and src/memory_state, have been simplified and reorganized. Changes that are not propagated automatically using the script oxygen2fluorine are detailed below.

  • Modules Locations.Location_Bits.Top_Param, Locations.Location_Bytes.Top_Param and Locations.Zones.Top_Param no longer exist as such.
    How to update: Use Base.SetLattice instead
  • Function Cvalue.Model.find_offsetmap_for_location have been removed.
    How to update: Use Cvalue.Model.copy_offsetmap instead.
  • Functions Offsetmap.reduce, Offsetmap.reduce_by_int_intervals, Offsetmap.shift_ival, Lmap.is_included_by_location_enum have been completely removed.
mantis/frama-c/oxygen-to-fluorine.txt · Last modified: 2012/09/29 22:39 by yakobowski