Frama-C Bug Tracking System

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0002323Frama-CDocumentationpublic2017-08-11 18:352017-09-01 10:08
Reportermehdi 
Assigned Tovirgile 
PrioritynormalSeverityminorReproducibilityalways
StatusclosedResolutionfixed 
PlatformOSOS Version
Product VersionFrama-C 15 Phosphorus 
Target VersionFixed in VersionFrama-C GIT, precise the release id 
Summary0002323: Spelling errors
DescriptionHi,

I've found some spelling errors in Frama-C's source code. Please find attached a patch to fixe them.
TagsNo tags attached.
Attached Filespatch file icon 0008-More-fixes-of-spelling-errors.patch [^] (4,293 bytes) 2017-08-11 18:35 [Show Content]
patch file icon 0001-Fix-spelling-error-in-binary.patch [^] (2,708 bytes) 2017-08-11 18:49 [Show Content]

- Relationships

-  Notes
(0006436)
mehdi (reporter)
2017-08-11 18:49

I had another patch with other spelling errors. I am attaching it here.
(0006454)
virgile (developer)
2017-09-01 09:46

Thanks for the patches. They have been incorporated in our development repository and on our github snapshot in commit https://github.com/Frama-C/Frama-C-snapshot/commit/30b819710d7630dfaa9f1b434585c62265520d11 [^]

- Issue History
Date Modified Username Field Change
2017-08-11 18:35 mehdi New Issue
2017-08-11 18:35 mehdi File Added: 0008-More-fixes-of-spelling-errors.patch
2017-08-11 18:49 mehdi Note Added: 0006436
2017-08-11 18:49 mehdi File Added: 0001-Fix-spelling-error-in-binary.patch
2017-09-01 09:46 virgile Note Added: 0006454
2017-09-01 09:46 virgile Status new => resolved
2017-09-01 09:46 virgile Fixed in Version => Frama-C GIT, precise the release id
2017-09-01 09:46 virgile Resolution open => fixed
2017-09-01 09:46 virgile Assigned To => virgile
2017-09-01 10:08 yakobowski Status resolved => closed


Copyright © 2000 - 2017 MantisBT Team
Powered by Mantis Bugtracker