Une MAJ de sécurité est nécessaire sur notre version actuelle. Elle sera effectuée lundi 02/08 entre 12h30 et 13h. L'interruption de service devrait durer quelques minutes (probablement moins de 5 minutes).

  • Sylvain Dailler's avatar
    ce: Adapt counterexamples for API uses · ad0217fa
    Sylvain Dailler authored
    one field record optim: Default name of the record field is taken when an
    empty model_trace is provided.
    Add a registered function allowing removal of some record values before
    displaying to the user.
    ad0217fa
model_parser.mli 11.5 KB