Project

General

Profile

Statistics
| Branch: | Tag: | Revision:
Name Size Revision Age Author Comment
EMF_backend.ml 20.7 KB dccec723 over 3 years Lélio Brun a version that almost work for the k-inuctive t...
EMF_backend.mli 124 Bytes cc852504 over 3 years Lélio Brun comment dead code with (* XXX: UNUSED *) discla...
EMF_backend.ml~ 23 Bytes a6df3992 about 8 years Pierre-Loïc Garoche Working on EMF backend to express cocospec info...
EMF_common.ml 15.9 KB d978c46e over 3 years Lélio Brun start instrumenting the main C function
EMF_common.mli 1010 Bytes d978c46e over 3 years Lélio Brun start instrumenting the main C function
EMF_library_calls.ml 1.31 KB d978c46e over 3 years Lélio Brun start instrumenting the main C function
EMF_library_calls.mli 163 Bytes cc852504 over 3 years Lélio Brun comment dead code with (* XXX: UNUSED *) discla...

Latest revisions

# Date Author Comment
dccec723 09/20/2021 06:46 PM Lélio Brun

a version that almost work for the k-inuctive two_counters example

70710795 08/25/2021 12:00 PM Lélio Brun

first draft with translated cocospec

5b98398a 07/29/2021 04:02 PM Lélio Brun

first version working with stateless contracts

d978c46e 06/30/2021 06:10 PM Lélio Brun

start instrumenting the main C function

cc852504 06/30/2021 11:21 AM Lélio Brun

comment dead code with (* XXX: UNUSED *) disclaimer

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

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

View revisions

Also available in: Atom