Project

General

Profile

Statistics
| Branch: | Tag: | Revision:
Name Size Revision Age Author Comment
  Ada 6d1693b9 11 months Lélio Brun work on spec generation almost done
  C c4780a6a 11 months Lélio Brun work on new reset functions generation
  EMF c4780a6a 11 months Lélio Brun work on new reset functions generation
  Horn c4780a6a 11 months Lélio Brun work on new reset functions generation
  Java 719ae9fd over 1 year Lélio Brun migration draft on dune
  VHDL dea84f9e almost 4 years Pierre-Loïc Garoche Working example!
backends.ml 1.18 KB f69e7ea2 about 1 year Lélio Brun add -O -1 flag to disable fusion of conditionals

Latest revisions

# Date Author Comment
c4780a6a 06/15/2021 05:34 PM Lélio Brun

work on new reset functions generation

6d1693b9 06/14/2021 07:06 PM Lélio Brun

work on spec generation almost done

75c459f4 05/04/2021 06:24 PM Lélio Brun

start with Spec AST generation

f69e7ea2 05/04/2021 10:58 AM Lélio Brun

add -O -1 flag to disable fusion of conditionals

7ee5f69e 05/04/2021 10:20 AM Lélio Brun

corrections on loggers + spec in AST

9d693675 04/22/2021 03:06 PM Lélio Brun

the generation of ACSL from machine code reveal too fragile as it occurs after several transformations (eg. fusion)

efcc8d7f 04/21/2021 05:15 PM Lélio Brun

move arrow spec in its own header

186e1aef 04/21/2021 01:52 PM Lélio Brun

working proto

8d2d6fa0 04/20/2021 06:51 PM Lélio Brun

Almost works!

7f03f62d 04/16/2021 11:33 AM Lélio Brun

first version that is parsed correctly by Frama-C

View revisions

Also available in: Atom