Project

General

Profile

Statistics
| Branch: | Tag: | Revision:
Name Size Revision Age Author Comment
c_backend.ml 6.39 KB a7062da6 over 3 years Lélio Brun another step towards refactoring
c_backend.mli 167 Bytes a7062da6 over 3 years Lélio Brun another step towards refactoring
c_backend_cmake.ml 4.09 KB ca7ff3f7 over 3 years Lélio Brun reformatting
c_backend_cmake.mli 0 Bytes 50a8778a over 3 years Lélio Brun refactoring first step
c_backend_common.ml 32.8 KB a7062da6 over 3 years Lélio Brun another step towards refactoring
c_backend_common.mli 6.64 KB a7062da6 over 3 years Lélio Brun another step towards refactoring
c_backend_header.ml 16.5 KB a7062da6 over 3 years Lélio Brun another step towards refactoring
c_backend_header.mli 511 Bytes a7062da6 over 3 years Lélio Brun another step towards refactoring
c_backend_main.ml 12.3 KB a7062da6 over 3 years Lélio Brun another step towards refactoring
c_backend_main.mli 288 Bytes a7062da6 over 3 years Lélio Brun another step towards refactoring
c_backend_makefile.ml 4.66 KB a7062da6 over 3 years Lélio Brun another step towards refactoring
c_backend_makefile.mli 462 Bytes a7062da6 over 3 years Lélio Brun another step towards refactoring
c_backend_mauve.ml 7.46 KB a7062da6 over 3 years Lélio Brun another step towards refactoring
c_backend_mauve.mli 248 Bytes a7062da6 over 3 years Lélio Brun another step towards refactoring
c_backend_spec.ml 30.2 KB a7062da6 over 3 years Lélio Brun another step towards refactoring
c_backend_spec.mli 142 Bytes 50a8778a over 3 years Lélio Brun refactoring first step
c_backend_src.ml 33.5 KB a7062da6 over 3 years Lélio Brun another step towards refactoring
c_backend_src.mli 807 Bytes a7062da6 over 3 years Lélio Brun another step towards refactoring

Latest revisions

# Date Author Comment
a7062da6 06/28/2021 09:52 PM Lélio Brun

another step towards refactoring

50a8778a 06/25/2021 12:35 PM Lélio Brun

refactoring first step

0406ab94 06/18/2021 06:08 PM Lélio Brun

implement optimization on spec: IT WORKS

27502d69 06/18/2021 12:35 PM Lélio Brun

add memory instances to footprint lemmas

d0f26f04 06/17/2021 07:00 PM Lélio Brun

corrections for stateless nodes

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)

View revisions

Also available in: Atom