Frama-C-discuss mailing list archives

This page gathers the archives of the old Frama-C-discuss archives, that was hosted by Inria's gforge before its demise at the end of 2020. To search for mails newer than September 2020, please visit the page of the new mailing list on Renater.

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] Frama-c-discuss Digest, Vol 97, Issue 4

Subject: [Frama-c-discuss] Frama-c-discuss Digest, Vol 97, Issue 4
From: Claude.Marche at inria.fr (Claude Marché)
Date: Mon, 11 Jul 2016 12:41:52 +0200
In-reply-to: <CAA80GKPysEEhSBTeXdKHER1nHgZz1Q0it_DpRcww8bMhWU+azQ@mail.gmail.com>
References: <mailman.5.1468231213.17967.frama-c-discuss@lists.gforge.inria.fr> <CAA80GKPysEEhSBTeXdKHER1nHgZz1Q0it_DpRcww8bMhWU+azQ@mail.gmail.com>


Le 11/07/2016 12:13, Prasuna Saka a Ã©crit :
> Many Thanks for the quick replies. Wanted to know whether
> Jessie plug-in is able to handle trigonometric functions? If so, can I
> use Jessie with Coq?

yes and yes

- Claude

-- 
Claude MarchÃ©                          | tel: +33 1 69 15 66 08
INRIA Saclay - ÃŽle-de-France           |
UniversitÃ© Paris-sud, Bat. 650         | http://www.lri.fr/~marche/
F-91405 ORSAY Cedex                    |

References:
- [Frama-c-discuss] Frama-c-discuss Digest, Vol 97, Issue 4
  - From: prasuna.drdo at gmail.com (Prasuna Saka)

Prev by Date: [Frama-c-discuss] Frama-c-discuss Digest, Vol 97, Issue 4
Next by Date: [Frama-c-discuss] Frama-c-discuss Digest, Vol 97, Issue 5
Previous by thread: [Frama-c-discuss] Frama-c-discuss Digest, Vol 97, Issue 4
Next by thread: [Frama-c-discuss] Frama-c-discuss Digest, Vol 97, Issue 5
Index(es):
- Date
- Thread