User Tools

  • Logged in as: anonymous (anonymous)
  • Logout

Site Tools


mantis:frama-c:oxygen-to-fluorine

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

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