--- layout: fc_discuss_archives title: Message 85 from Frama-C-discuss on April 2010 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] Jessie question



# pragma SeparationPolicy(none)

Sorry, it should have been in the Changes

- Claude

Jens Gerlach wrote:
> I agree, it appears that "-jessie-no-regions" is gone in Boron, although 
> I could not 
> find any mentioning of it in the change 
> logs: http://why.lri.fr/download/CHANGES
> Is there an alternative for "-jessie-no-regions" ?
> 
> Regards Jens
> 
> Am 28.04.2010 um 11:40 schrieb Pascal Cuoq:
> 
>>>> I hear that some of the information in this old thread is now obsolete:
>>>
>>> Pascal, I don't understand why you think the information is obsolete. It
>>> seems to be a similar case to me, with the same answer.
>>
>> Discussing with other users of Jessie, I heard that they had noticed 
>> changes
>> related to the option -jessie-no-regions and I thought this was related.
>> Please forget that part of my message.
>>
>> Pascal
> 
> 
> 
> 
> 
> ------------------------------------------------------------------------
> 
> _______________________________________________
> Frama-c-discuss mailing list
> Frama-c-discuss at lists.gforge.inria.fr
> http://lists.gforge.inria.fr/cgi-bin/mailman/listinfo/frama-c-discuss

-- 
Claude March?                          | tel: +33 1 72 92 59 69
INRIA Saclay - ?le-de-France           | mobile: +33 6 33 14 57 93
Parc Orsay Universit?                  | fax: +33 1 74 85 42 29
4, rue Jacques Monod - B?timent N      | http://www.lri.fr/~marche/
F-91893 ORSAY Cedex                    |
http://maps.google.fr/maps?q=48.70963,2.17513+%28Claude+March%C3%A9%27s+Office%29