User Tools
- Logged in as: anonymous (anonymous)
- Logout
mantis:frama-c:oxygen-to-fluorine
Differences
This shows you the differences between two versions of the page.
|
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. |
mantis/frama-c/oxygen-to-fluorine.txt ยท Last modified: 2012/09/29 22:39 by yakobowski
Except where otherwise noted, content on this wiki is licensed under the following license: CC Attribution-Noncommercial-Share Alike 3.0 Unported
