Frama-C Bug Tracking System

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0001764Frama-CKernelpublic2014-04-28 21:442015-03-17 22:17
Reportermehdi 
Assigned Tobobot 
PrioritynormalSeverityminorReproducibilityalways
StatusclosedResolutionfixed 
PlatformOSOS Version
Product VersionFrama-C Neon-20140301 
Target VersionFixed in VersionFrama-C Sodium 
Summary0001764: Port to OCamlgraph 1.8.5
DescriptionIt seems that a change in the API has been introduced in OCamlgraph 1.8.4 and then reverted in 1.8.5. In order to build Frama-c using the latest OCamlgraph, this attached patch is needed (but I'm pretty sure you did that in the Git repository).
TagsNo tags attached.
Attached Filespatch file icon 0004-Port-to-OCamlgraph-1.8.5.patch [^] (10,397 bytes) 2014-04-28 21:44 [Show Content]

- Relationships

-  Notes
(0005054)
yakobowski (manager)
2014-04-28 21:54

Thanks Mehdi. Actually, I think we have not yet migrated to OCamlgraph 1.5 so this patch is even more welcome :-)
(0005091)
bobot (administrator)
2014-05-14 17:04

Mehdi, I took the liberty to use your patch for the opam package. I hope you don't mind.

Also now trunk migrated to ocamlgraph 1.5.

Perhaps a minor release of Neon should be done for people that use neither opam neither the debian package.

- Issue History
Date Modified Username Field Change
2014-04-28 21:44 mehdi New Issue
2014-04-28 21:44 mehdi File Added: 0004-Port-to-OCamlgraph-1.8.5.patch
2014-04-28 21:54 yakobowski Note Added: 0005054
2014-05-11 05:38 signoles Assigned To => bobot
2014-05-11 05:38 signoles Status new => assigned
2014-05-14 17:04 bobot Note Added: 0005091
2014-05-14 17:06 bobot Status assigned => resolved
2014-05-14 17:07 bobot Fixed in Version => Frama-C GIT, precise the release id
2014-05-14 17:07 bobot Resolution open => fixed
2015-03-17 22:17 signoles Fixed in Version Frama-C GIT, precise the release id => Frama-C Sodium
2015-03-17 22:17 signoles Status resolved => closed


Copyright © 2000 - 2018 MantisBT Team
Powered by Mantis Bugtracker