Project

General

Profile

Statistics
| Branch: | Tag: | Revision:
Name Size Revision Age Author Comment
  Ada ca7e8027 12 months Lélio Brun fix almost all warnings
  C 7f03f62d 9 months Lélio Brun first version that is parsed correctly by Frama-C
  EMF ca7e8027 12 months Lélio Brun fix almost all warnings
  Horn ca7e8027 12 months Lélio Brun fix almost all warnings
  Java 719ae9fd 12 months Lélio Brun migration draft on dune
  VHDL dea84f9e over 3 years Pierre-Loïc Garoche Working example!
backends.ml 1.14 KB ad4774b0 almost 4 years Pierre-Loïc Garoche - Normalization parameters (alias and unfold_ar...

Latest revisions

# Date Author Comment
7f03f62d 04/16/2021 11:33 AM Lélio Brun

first version that is parsed correctly by Frama-C

4b596770 04/12/2021 05:48 PM Lélio Brun

first draft: to be tested with frama-c

15c3e4e7 03/08/2021 10:58 AM Lélio Brun

generic ACSL spec generation

c226a3ba 03/01/2021 03:56 PM Lélio Brun

start generating ACSL spec

90cc3b8e 02/19/2021 11:19 AM Lélio Brun

some rewriting in C backend pretty-printer

1df55e58 02/16/2021 04:21 PM Lélio Brun

minor rewriting

57c96fb7 02/15/2021 02:26 PM Lélio Brun

setup tests for dune

ca7e8027 02/05/2021 02:36 PM Lélio Brun

fix almost all warnings

719ae9fd 02/03/2021 02:47 PM Lélio Brun

migration draft on dune

ef598ac3 11/17/2020 04:38 PM Pierre-Loïc Garoche

moved from Num to Zarith. IMpacted main.ml ad uses of Z3 in zustre_cex and seal-extract

View revisions

Also available in: Atom