Vous avez reçu un message "Your GitLab account has been locked ..." ? Pas d'inquiétude : lisez cet article https://docs.gricad-pages.univ-grenoble-alpes.fr/help/unlock/

  • Erwan Jahier's avatar
    lurette 0.99 Fri, 04 Oct 2002 13:49:58 +0200 by jahier · 3797df71
    Erwan Jahier authored
    Parent-Version:      0.98
    Version-Log:
    
    source/solver.ml:
    source/rnumsolver.mli,.ml:
    source/constraint.ml,.mli:
       Split the Constraint.t type into t and ineq where
       inequalities are in ineq. The rational is that most
       operations on constaint.t are actually done on ineq.
       This change therefore avoid pattern like
       <<_ -> assert false>> and let the type checher check
       that sort of things.
    
    Project-Description: Lurette
    3797df71
lurette.prj 6.65 KB