Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec/src/backends/C @ ca7ff3f7

Name Size Revision Age Author Comment
c_backend.ml 6.59 KB ca7ff3f7 7 months Lélio Brun reformatting
c_backend_cmake.ml 4.09 KB ca7ff3f7 7 months Lélio Brun reformatting
c_backend_common.ml 32.9 KB ca7ff3f7 7 months Lélio Brun reformatting
c_backend_header.ml 16.5 KB ca7ff3f7 7 months Lélio Brun reformatting
c_backend_main.ml 12.3 KB ca7ff3f7 7 months Lélio Brun reformatting
c_backend_makefile.ml 4.74 KB ca7ff3f7 7 months Lélio Brun reformatting
c_backend_mauve.ml 7.46 KB ca7ff3f7 7 months Lélio Brun reformatting
c_backend_spec.ml 31.5 KB ca7ff3f7 7 months Lélio Brun reformatting
c_backend_src.ml 33.5 KB ca7ff3f7 7 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
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
4b596770 04/12/2021 05:48 PM Lélio Brun

first draft: to be tested with frama-c

View revisions

Also available in: Atom