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

• skip to content

Frama-C

User Tools

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

Site Tools

Search

ToolsShow pageOld revisionsBacklinksManage SubscriptionsRecent ChangesMedia ManagerSitemapLog Out>

• Recent Changes
• Media Manager
• Sitemap

Trace:

---

mantis:frama-c:oxygen-to-fluorine

Differences

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

View differences: Side by SideInline Go

Link to this comparison view

Both sides previous revision Previous revision 2012/09/29 22:39 yakobowski Another function removed2012/09/29 21:51 yakobowski functions removed from offsetmap and lmap2012/09/29 21:21 yakobowski typos2012/09/29 21:21 yakobowski created with instructions on how to update Value Go		2012/09/29 22:39 yakobowski Another function removed2012/09/29 21:51 yakobowski functions removed from offsetmap and lmap2012/09/29 21:21 yakobowski typos2012/09/29 21:21 yakobowski created with instructions on how to update Value Go
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

---

Page Tools

• Show page
• Old revisions
• Backlinks
• Manage Subscriptions
• Back to top

Except where otherwise noted, content on this wiki is licensed under the following license: CC Attribution-Noncommercial-Share Alike 4.0 International