<commit_before>CoqOfOCaml
==========

Compiler of OCaml to Coq. Still experimental.

## Usage
It compiles the `.cmt` files generated by the OCaml compiler using the option `-bin-annot`:

    ./coqOfOCaml.native -mode coq file.cmt<commit_msg>Compilation instructions<commit_after># CoqOfOCaml

Compiler of OCaml to Coq. Still experimental.

## Compile
You have two parts to compile in order.

### The Coq library
Go to `OCaml/` and run:

    ./configure.sh
    make
    make install

### The compiler
Run:

    make
    make test

## Usage
It compiles the `.cmt` files (generated by the OCaml compiler using the option `-bin-annot`) to Coq definitions and print it on the standard output:

    ./coqOfOCaml.native -mode coq file.cmt
{'fraction_non_alphanumeric': 0.09575923392612859, 'fraction_numerical': 0.0, 'mean_word_length': 3.5185185185185186, 'pattern_counts': {'":': 0, '<': 3, '<?xml version=': 0, '>': 3, 'https://': 0, 'lorem ipsum': 0, 'www.': 0, 'xml': 0}, 'pii_count': 0, 'substrings_counts': 0, 'word_list_counts': {'cursed_substrings.json': 0, 'profanity_word_list.json': 0, 'sexual_word_list.json': 0, 'zh_pornsignals.json': 0}}
{'dir': 'git-commits-cleaned', 'id': '998080', 'n_tokens_mistral': 245, 'n_tokens_neox': 231, 'n_words': 92}