2021-02-27 04:25 CET
  

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 
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

-Relationships
+Relationships

-Notes

~0006094

maroneze (administrator)

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.
+Notes

-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
+Issue History