Skip to content

GitLab

  • Menu
Projects Groups Snippets
    • Loading...
  • Help
    • Help
    • Support
    • Community forum
    • Submit feedback
    • Contribute to GitLab
  • Sign in
  • F frama-c
  • Project information
    • Project information
    • Activity
    • Labels
    • Members
  • Repository
    • Repository
    • Files
    • Commits
    • Branches
    • Tags
    • Contributors
    • Graph
    • Compare
  • Issues 209
    • Issues 209
    • List
    • Boards
    • Service Desk
    • Milestones
  • Merge requests 1
    • Merge requests 1
  • Deployments
    • Deployments
    • Releases
  • Monitor
    • Monitor
    • Incidents
  • Packages & Registries
    • Packages & Registries
    • Container Registry
  • Analytics
    • Analytics
    • Value stream
    • Repository
  • Wiki
    • Wiki
  • Activity
  • Graph
  • Create a new issue
  • Commits
  • Issue Boards
Collapse sidebar
  • pub
  • frama-c
  • Issues
  • #468

Closed
Open
Created Jul 18, 2011 by Jochen Burghardt@burghardt

wrong figure reference in plugin development guide

ID0000884: This issue was created automatically from Mantis Issue 884. Further discussion may take place here.


Id Project Category View Due Date Updated
ID0000884 Frama-C Documentation > manuals public 2011-07-18 2016-06-21
Reporter Jochen Assigned To signoles Resolution fixed
Priority normal Severity text Reproducibility N/A
Platform - OS - OS Version -
Product Version Frama-C Carbon-20110201 Target Version - Fixed in Version Frama-C Nitrogen-20111001

Description :

In file "plugin-development-guide-Carbon-20110201.pdf" on page 28 (sect.3.4), there is a reference to Figure 3.4, which does not exist:

BEGIN QUOTE More generally, the set of functionalities available for a standard plug-in and for a kernel-integrated plug-in are mostly the same. The differences between a standard plug-in and a kernel-integrated one are listed Figure 3.4. END QUOTE

Probably, the immediately following Fig.3.2 is meant.

To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information
Assignee
Assign to
Time tracking