Frama-C Bug Tracking System

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0002183Frama-CDocumentation > ACSLpublic2015-10-30 15:312016-06-21 14:08
Reporterjens 
Assigned Tomaroneze 
PrioritynormalSeveritytrivialReproducibilityalways
StatusclosedResolutionfixed 
PlatformOSOS Version
Product VersionFrama-C Sodium 
Target VersionFrama-C AluminiumFixed in VersionFrama-C Aluminium 
Summary0002183: doubling of a word
DescriptionOn Page 25 of acs-implementation-Sodium-20150201.pdf (Section 2.2.6) there is the sentence

      Unlike in C, there is no implicit cast from from an array type to a pointer type.

Please remove one occurrence of "from".
Additional InformationI normally use the attached perl script to remove duplicate entries in text files

TagsNo tags attached.
Attached Files? file icon duplicate.pl [^] (1,014 bytes) 2015-10-30 15:31

- Relationships

-  Notes
(0006094)
maroneze (developer)
2015-10-30 17:51

Thank you very much for the script and the remark. It has been fixed in the development version. I also fixed a few typos in other documentation files as well.

- Issue History
Date Modified Username Field Change
2015-10-30 15:31 jens New Issue
2015-10-30 15:31 jens Status new => assigned
2015-10-30 15:31 jens Assigned To => signoles
2015-10-30 15:31 jens File Added: duplicate.pl
2015-10-30 15:39 signoles Assigned To signoles => maroneze
2015-10-30 15:39 signoles Target Version => Frama-C Aluminium
2015-10-30 17:51 maroneze Note Added: 0006094
2015-10-30 17:51 maroneze Status assigned => resolved
2015-10-30 17:51 maroneze Fixed in Version => Frama-C Aluminium
2015-10-30 17:51 maroneze Resolution open => fixed
2016-06-21 14:08 signoles Status resolved => closed
2016-06-21 14:11 signoles Category Documentation => Documentation > ACSL


Copyright © 2000 - 2018 MantisBT Team
Powered by Mantis Bugtracker