| View Issue Details [ Jump to Notes ] | [ Issue History ] [ Print ] | ||||||||
| ID | Project | Category | View Status | Date Submitted | Last Update | ||||
|---|---|---|---|---|---|---|---|---|---|
| 0000366 | Frama-C | Plug-in > jessie | public | 2010-01-04 23:24 | 2014-02-12 16:55 | ||||
| Reporter | dwheeler | ||||||||
| Assigned To | monate | ||||||||
| Priority | normal | Severity | minor | Reproducibility | always | ||||
| Status | closed | Resolution | fixed | ||||||
| Product Version | Frama-C Beryllium-20090902 | ||||||||
| Target Version | Fixed in Version | Frama-C Boron-20100401 | |||||||
| Summary | 0000366: Unicode minus sign (U+2212) not accepted by Jessie, yet used in documentation, causing mysterious failure | ||||||||
| Description | The Jessie tutorial: http://frama-c.cea.fr/jessie_tutorial_index.html includes many examples, but cutting and pasting from them produces mysterious, hard-to-understand failures. The problem is that the HTML (and probably PDF) uses Unicode U+2212 ("Minus sign") as the subtraction operator; You can see this by searching for "−" in the HTML. Frama-C/Jessie does not accept this; they expect U+002D ("hyphen-minus") instead. I recommend that Frama-C/Jessie be changed so that U+2122 is permitted as an alternative to "-", just as many other Unicode characters are already accepted. In addition, the documentation should perhaps be changed to use "-" so that it will work with older systems that do not cut-and-paste this character correctly. On my system, the difference is a pixel or two, and is thus difference is rather hard to detect. | ||||||||
| Tags | No tags attached. | ||||||||
| Attached Files |
| ||||||||
 Relationships |
|
 Relationships |
| Notes |
|
| There are no notes attached to this issue. |
| Notes |
| Issue History |
|||
| Date Modified | Username | Field | Change |
|---|---|---|---|
| 2010-01-04 23:24 | dwheeler | New Issue | |
| 2010-01-04 23:24 | dwheeler | Status | new => assigned |
| 2010-01-04 23:24 | dwheeler | Assigned To | => cmarche |
| 2010-01-05 08:40 | signoles | Assigned To | cmarche => monate |
| 2010-01-14 13:58 | svn | ||
| 2010-01-14 13:58 | svn | Status | assigned => resolved |
| 2010-01-14 13:58 | svn | Resolution | open => fixed |
| 2010-04-13 15:30 | signoles | Status | resolved => new |
| 2010-04-13 15:31 | signoles | Status | new => closed |
| 2010-04-13 15:33 | signoles | Fixed in Version | => Frama-C Boron |
| 2013-12-19 01:13 | Source_changeset_attached | => framac master 049c0d86 | |
| 2014-02-12 16:55 | Source_changeset_attached | => framac stable/neon 049c0d86 | |
| Issue History |