search

acsl-language / acsl

Sources for the ANSI/ISO C Specification Language manual
Other
49 stars 8 forks source link

Adding an explanation for the use of the red color. Fixes !33. #44

Closed pbaudin closed 6 years ago

pbaudin commented 6 years ago

That modifies the first paragraph of the introduction in a such way that gives for

This document is a reference manual for ACSL. ACSL is an acronym for “ANSI/ISO C Specification Language”. This is a Behavioral Interface Specification Language (BISL) implemented in the Frama-C framework. It aims at specifying behavioral properties of C source code.

This document is a reference manual for the ACSL implementation*1 provided by the Frama-C framework [13]. ACSL is an acronym for “ANSI/ISO C Specification Language”. This is a Behavioral Interface Specification Language (BISL) for specifying behavioral properties of C source code.

with the foot note:

*1 In this reference manual of ACSL, text in red color is related to features that have not yet been implemented in Frama-C Sulfur-20171101+dev .

pbaudin commented 6 years ago

Description updated from previous commits.

pbaudin commented 6 years ago

I would prefer In this reference manual since it is in this one that there is sone text in red color.

vprevosto commented 6 years ago

Whoops, it seems that 2ad472a85ef21b did remove too many lines 😕. They contained more information than what is in this PR, I'll amend it.

vprevosto commented 6 years ago

@maroneze re-assigned to you for the last two commits.