commit 4cbef803
Author: Jean-Marie Madiot <jean-marie.madiot@inria.fr>
Date:   Mon May 26 18:40:46 2025 +0200

    clean up run.v

commit 9e08dfd1
Author: Jean-Marie Madiot <jean-marie.madiot@inria.fr>
Date:   Mon May 26 17:05:17 2025 +0200

    some tests

commit 7eba1df2
Author: Jean-Marie Madiot <jean-marie.madiot@inria.fr>
Date:   Mon May 26 16:52:54 2025 +0200

    merged eval and eval_strat

commit 70a17d93
Author: Jean-Marie Madiot <jean-marie.madiot@inria.fr>
Date:   Mon May 26 16:48:38 2025 +0200

    tuple evaluation order

commit 27c9eead
Author: Jean-Marie Madiot <jean-marie.madiot@inria.fr>
Date:   Mon May 26 16:23:06 2025 +0200

    strategy option for for-boundaries

commit 32034d62
Author: Jean-Marie Madiot <jean-marie.madiot@inria.fr>
Date:   Mon May 26 13:36:19 2025 +0200

    wrapping eval.v in a functor: almost seamless

commit 7b602e10
Author: Jean-Marie Madiot <jean-marie.madiot@inria.fr>
Date:   Sun May 25 21:12:54 2025 +0200

    strategies now modules instead of records

commit 68cfee34
Author: Jean-Marie Madiot <jean-marie.madiot@inria.fr>
Date:   Sun May 25 18:44:23 2025 +0200

    several strategy renamings

commit 294ef6eb
Author: Jean-Marie Madiot <jean-marie.madiot@inria.fr>
Date:   Sun May 25 17:50:23 2025 +0200

    renaming options->strategy

commit 9d6adc47
Author: Jean-Marie Madiot <jean-marie.madiot@inria.fr>
Date:   Thu May 22 17:49:07 2025 +0200

    bug fix: VData argument length mismatch allowed if constructors are different

commit dd5d9d4b
Author: Jean-Marie Madiot <jean-marie.madiot@inria.fr>
Date:   Thu May 22 17:42:29 2025 +0200

    micro: Crash now has a string argument

commit c7cf398b
Author: Jean-Marie Madiot <jean-marie.madiot@inria.fr>
Date:   Thu May 22 15:26:37 2025 +0200

    internal libraries rather than packages

commit ff1abd02
Author: Jean-Marie Madiot <jean-marie.madiot@inria.fr>
Date:   Thu May 22 15:09:26 2025 +0200

    oStdlib->Stdlib

commit 2697ffb1
Author: Jean-Marie Madiot <jean-marie.madiot@inria.fr>
Date:   Thu May 22 14:43:02 2025 +0200

    moving extracted file to dedicated package

commit 7d8c13a1
Author: Jean-Marie Madiot <jean-marie.madiot@inria.fr>
Date:   Thu May 22 14:11:05 2025 +0200

    removed symlinks, moved translator lib to a subdir in interp

commit bd4adda8
Author: Jean-Marie Madiot <jean-marie.madiot@inria.fr>
Date:   Thu May 22 13:59:14 2025 +0200

    suppress unused arg (necessary to fit compiler-libs) warning

commit 0b1ce274
Author: Jean-Marie Madiot <jean-marie.madiot@inria.fr>
Date:   Thu May 22 13:58:05 2025 +0200

    moved Read module to interp, leaving only symlinked modules in lib

commit a4be2a47
Author: Jean-Marie Madiot <jean-marie.madiot@inria.fr>
Date:   Thu May 22 13:35:17 2025 +0200

    interpreter

commit 86f9982c
Author: Jean-Marie Madiot <jean-marie.madiot@inria.fr>
Date:   Thu May 22 11:36:19 2025 +0200

    avoid running the osiris translator on the interpreter

commit 223ccfe0
Author: Jean-Marie Madiot <jean-marie.madiot@inria.fr>
Date:   Thu May 22 11:34:32 2025 +0200

    git clean->dune clean

commit d16bab48
Author: Jean-Marie Madiot <jean-marie.madiot@inria.fr>
Date:   Thu May 22 11:32:14 2025 +0200

    rename Stdlib->oStdlib to avoid conflicts

commit 101fe3c5
Author: Jean-Marie Madiot <jean-marie.madiot@inria.fr>
Date:   Fri May 16 17:24:26 2025 +0200

    Settings is now loaded by Main, not by Translate