---
layout: fc_discuss_archives
title: Message 98 from Frama-C-discuss on January 2014
---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Frama-c-discuss] two-dimensional array requires clause
- Subject: [Frama-c-discuss] two-dimensional array requires clause
- From: dmentre at linux-france.org (David MENTRE)
- Date: Tue, 28 Jan 2014 13:57:54 +0100
- In-reply-to: <CAOGRM5Zdo00oNnwp1QagWQM=8aUJ4VGcQOo5Fcu5t8fZGXvFFw@mail.gmail.com>
- References: <CAOGRM5Zdo00oNnwp1QagWQM=8aUJ4VGcQOo5Fcu5t8fZGXvFFw@mail.gmail.com>
Hello Dragan,
Le 28/01/2014 13:08, Dragan a ?crit :
> Can you please point me on latest ACSL detailed description document ?
"ACSL 1.7 (Fluorine implementation)" directly accessible from Frama-C's
download page: http://frama-c.com/download.html
Best regards,
david