Project

General

Profile

Statistics
| Branch: | Tag: | Revision:
Name Size Revision Age Author Comment
c_backend.ml 5.78 KB c226a3ba 11 months Lélio Brun start generating ACSL spec
c_backend_cmake.ml 3.92 KB
c_backend_common.ml 29.5 KB 7f03f62d 9 months Lélio Brun first version that is parsed correctly by Frama-C
c_backend_header.ml 16.1 KB 7f03f62d 9 months Lélio Brun first version that is parsed correctly by Frama-C
c_backend_lusic.ml 630 Bytes 90cc3b8e 11 months Lélio Brun some rewriting in C backend pretty-printer
c_backend_main.ml 12.2 KB c226a3ba 11 months Lélio Brun start generating ACSL spec
c_backend_makefile.ml 4.51 KB 57c96fb7 11 months Lélio Brun setup tests for dune
c_backend_mauve.ml 7.35 KB ca7e8027 12 months Lélio Brun fix almost all warnings
c_backend_spec.ml 31 KB 7f03f62d 9 months Lélio Brun first version that is parsed correctly by Frama-C
c_backend_src.ml 31.4 KB 4b596770 9 months Lélio Brun first draft: to be tested with frama-c

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

f0195e96 01/28/2020 05:26 AM Pierre-Loïc Garoche

- Primitive Tiny backend
- Renamed Mpfr to lustrec_mpfr
- Introduced dependency in Zarith. Trying to move away from Num

View revisions

Also available in: Atom