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
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision | |||
mantis:frama-c:oxygen-to-fluorine [2012/09/29 21:51] yakobowski functions removed from offsetmap and lmap |
mantis:frama-c:oxygen-to-fluorine [2012/09/29 22:39] (current) yakobowski Another function removed |
||
---|---|---|---|
Line 8: | Line 8: | ||
* Function ''Cvalue.Model.find_offsetmap_for_location'' have been removed. \\ //How to update:// Use ''Cvalue.Model.copy_offsetmap'' 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'' have been completely removed. | + | * Functions ''Offsetmap.reduce'', ''Offsetmap.reduce_by_int_intervals'', ''Offsetmap.shift_ival'', ''Lmap.is_included_by_location_enum'' have been completely removed. |