• 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.
ident.ml 15 KB