-
Erwan Jahier authored
Parent-Version: 0.123 Version-Log: Implement the polyhedron drawing primitives. source/util.ml.in: Change my_string_of_float so that it truncates floats 4 digits after the dot. The rational is that, for testing, we do not care the extra precision and too much precision may kill Polka. This precison ougth to be a parameter though. source/solver.ml: source/polyhedron.ml: source/store.ml: Implement the polyhedron drawing primitives. source/store.ml: Apply the substitutions in store.subtsl to the cstr to add. Project-Description: Lurette
3ea22e95