Project

General

Profile

Statistics
| Branch: | Tag: | Revision:
Name Size Revision Age Author Comment
c_backend.ml 6.39 KB d978c46e over 1 year Lélio Brun start instrumenting the main C function
c_backend.mli 171 Bytes cc852504 over 1 year Lélio Brun comment dead code with (* XXX: UNUSED *) discla...
c_backend_cmake.ml 4.14 KB d978c46e over 1 year Lélio Brun start instrumenting the main C function
c_backend_cmake.mli 0 Bytes 50a8778a over 1 year Lélio Brun refactoring first step
c_backend_common.ml 39 KB d978c46e over 1 year Lélio Brun start instrumenting the main C function
c_backend_common.mli 7.19 KB d978c46e over 1 year Lélio Brun start instrumenting the main C function
c_backend_header.ml 13.4 KB 18dada08 over 1 year Lélio Brun working spec in the main function
c_backend_header.mli 634 Bytes 18dada08 over 1 year Lélio Brun working spec in the main function
c_backend_main.ml 14 KB 18dada08 over 1 year Lélio Brun working spec in the main function
c_backend_main.mli 577 Bytes 18dada08 over 1 year Lélio Brun working spec in the main function
c_backend_makefile.ml 4.78 KB d978c46e over 1 year Lélio Brun start instrumenting the main C function
c_backend_makefile.mli 465 Bytes d978c46e over 1 year Lélio Brun start instrumenting the main C function
c_backend_mauve.ml 7.57 KB d978c46e over 1 year Lélio Brun start instrumenting the main C function
c_backend_mauve.mli 255 Bytes cc852504 over 1 year Lélio Brun comment dead code with (* XXX: UNUSED *) discla...
c_backend_spec.ml 34.9 KB f1518c7c over 1 year Lélio Brun more precise spec for stdout
c_backend_spec.mli 198 Bytes d978c46e over 1 year Lélio Brun start instrumenting the main C function
c_backend_src.ml 33.8 KB d978c46e over 1 year Lélio Brun start instrumenting the main C function
c_backend_src.mli 809 Bytes d978c46e over 1 year Lélio Brun start instrumenting the main C function

Latest revisions

# Date Author Comment
f1518c7c 07/05/2021 03:42 PM Lélio Brun

more precise spec for stdout

18dada08 07/01/2021 01:56 PM Lélio Brun

working spec in the main function

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

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

View revisions

Also available in: Atom