-
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