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 |
|
![]() |
|||
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 |