Project

General

Profile

Statistics
| Branch: | Tag: | Revision:
Name Size Revision Age Author Comment
  Ada ca7ff3f7 8 months Lélio Brun reformatting
  C ca7ff3f7 8 months Lélio Brun reformatting
  EMF ca7ff3f7 8 months Lélio Brun reformatting
  Horn ca7ff3f7 8 months Lélio Brun reformatting
  Java ca7ff3f7 8 months Lélio Brun reformatting
  VHDL ca7ff3f7 8 months Lélio Brun reformatting
backends.ml 1.13 KB ca7ff3f7 8 months Lélio Brun reformatting

Latest revisions

# Date Author Comment
ca7ff3f7 06/17/2021 11:33 AM Lélio Brun

reformatting

aaa8e454 06/16/2021 06:44 PM Lélio Brun

it works

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

View revisions

Also available in: Atom