lustrec/src/backends/C @ dccec723
Name | Size | Revision | Age | Author | Comment |
---|---|---|---|---|---|
c_backend.ml | 6.39 KB | d978c46e | over 3 years | Lélio Brun | start instrumenting the main C function |
c_backend.mli | 171 Bytes | cc852504 | over 3 years | Lélio Brun | comment dead code with (* XXX: UNUSED *) discla... |
c_backend_cmake.ml | 4.14 KB | d978c46e | over 3 years | Lélio Brun | start instrumenting the main C function |
c_backend_cmake.mli | 0 Bytes | 50a8778a | over 3 years | Lélio Brun | refactoring first step |
c_backend_common.ml | 39.1 KB | 5b98398a | over 3 years | Lélio Brun | first version working with stateless contracts |
c_backend_common.mli | 7.22 KB | 5b98398a | over 3 years | Lélio Brun | first version working with stateless contracts |
c_backend_header.ml | 13.5 KB | 5b98398a | over 3 years | Lélio Brun | first version working with stateless contracts |
c_backend_header.mli | 634 Bytes | 18dada08 | over 3 years | Lélio Brun | working spec in the main function |
c_backend_main.ml | 14 KB | 18dada08 | over 3 years | Lélio Brun | working spec in the main function |
c_backend_main.mli | 577 Bytes | 18dada08 | over 3 years | Lélio Brun | working spec in the main function |
c_backend_makefile.ml | 4.78 KB | d978c46e | over 3 years | Lélio Brun | start instrumenting the main C function |
c_backend_makefile.mli | 465 Bytes | d978c46e | over 3 years | Lélio Brun | start instrumenting the main C function |
c_backend_mauve.ml | 7.57 KB | d978c46e | over 3 years | Lélio Brun | start instrumenting the main C function |
c_backend_mauve.mli | 255 Bytes | cc852504 | over 3 years | Lélio Brun | comment dead code with (* XXX: UNUSED *) discla... |
c_backend_spec.ml | 49.2 KB | dccec723 | over 3 years | Lélio Brun | a version that almost work for the k-inuctive t... |
c_backend_spec.mli | 198 Bytes | d978c46e | over 3 years | Lélio Brun | start instrumenting the main C function |
c_backend_src.ml | 34.4 KB | 5b98398a | over 3 years | Lélio Brun | first version working with stateless contracts |
c_backend_src.mli | 888 Bytes | 5b98398a | over 3 years | Lélio Brun | first version working with stateless contracts |
Latest revisions
Also available in: Atom