---
layout: fc_discuss_archives
title: Message 21 from Frama-C-discuss on October 2010
---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Frama-c-discuss] Plugins in next Frama-C?
- Subject: [Frama-c-discuss] Plugins in next Frama-C?
- From: hollas at informatik.htw-dresden.de (Boris Hollas)
- Date: Thu, 07 Oct 2010 13:20:46 +0200
- In-reply-to: <AANLkTimrtkSEWFs5br=YJn8QXa5Y8pbr8KbKwQv6tDkA@mail.gmail.com>
- References: <AANLkTikw8pjgcE3LS1tqDebwktuECBkoFfLLRAw=UEFu@mail.gmail.com> <AANLkTimrtkSEWFs5br=YJn8QXa5Y8pbr8KbKwQv6tDkA@mail.gmail.com>
On Wed, 2010-10-06 at 12:37 -0700, Pascal Cuoq wrote:
> There will be a new weakest precondition plug-in alongside Jessie,
> with different strengths and weaknesses. It will of course make use of
> the same ACSL contracts.
How does this wp-plugin differ from Jessie?
--
Regards,
Boris