Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec/src/backends @ 7f03f62d

Name Size Revision Age Author Comment
  Ada ca7e8027 over 2 years Lélio Brun fix almost all warnings
  C 7f03f62d about 2 years Lélio Brun first version that is parsed correctly by Frama-C
  EMF ca7e8027 over 2 years Lélio Brun fix almost all warnings
  Horn ca7e8027 over 2 years Lélio Brun fix almost all warnings
  Java 719ae9fd over 2 years Lélio Brun migration draft on dune
  VHDL dea84f9e about 5 years Pierre-Loïc Garoche Working example!
backends.ml 1.14 KB ad4774b0 about 5 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