Frama-C Bug Tracking System

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0002379Frama-CKernel > libcpublic2018-06-18 16:552018-07-11 15:31
Reportermadroach 
Assigned Tomaroneze 
PrioritynormalSeverityminorReproducibilityalways
StatusassignedResolutionopen 
PlatformanyOSOpenBSDOS Version6.3
Product Version 
Target VersionFixed in Version 
Summary0002379: FE_* API is available on OpenBSD
Descriptionplease include attached patch.

TagsNo tags attached.
Attached Files? file icon patch-src_libraries_utils_c_bindings_c [^] (517 bytes) 2018-06-18 16:55 [Show Content]

- Relationships

-  Notes
There are no notes attached to this issue.

- Issue History
Date Modified Username Field Change
2018-06-18 16:55 madroach New Issue
2018-06-18 16:55 madroach File Added: patch-src_libraries_utils_c_bindings_c
2018-07-11 15:31 signoles Assigned To => maroneze
2018-07-11 15:31 signoles Status new => assigned
2018-07-11 15:31 signoles Category Kernel => Kernel > libc
2018-07-11 15:31 signoles Description Updated View Revisions


Copyright © 2000 - 2018 MantisBT Team
Powered by Mantis Bugtracker