Skip to content
  • Erwan Jahier's avatar
    lurette 0.121 Tue, 11 Feb 2003 11:20:37 +0100 by jahier · 34cdff0c
    Erwan Jahier authored
    Parent-Version:      0.120
    Version-Log:
    
    source/pnumsolver.ml:
    source/pnumsolver.mli: [new files]
       Implements a numeric solver based on Polka.
       (not plugged yet).
    
    source/rnumsolver.ml:
       Reimplement split_store so that it uses 2 calls of add_constraint
       instead of doing the work twice inside split_store (in order to avoid code
       duplication).
    
       Also, whenever delayed constraints becomes of dimension 1, when a
    add_constraint
       binds a value, add them to the store.
    
       Enhance error msgs whenever int and float are mixed in the same lucky
       expressions.
    
    source/rnumsolver.ml:
    source/ne.ml:
       rename Ne.resolve_triangular_system into get_subst_from_solved_system
       and move it into rnumsolver. The rational is that is was not
       really solving any triangular system: the system ougth to be already solved.
    
    source/parce_env.ml:
       Set the max_float to max_int, otherwise, the conversion into polka rational
       fails...
    
    Project-Description: Lurette
    34cdff0c