Credit to Basile Desloges

Guillaume Combette authored 5 months ago and David Bühler committed 5 months ago

The performance impact is small but measurable (about 2% in run time
difference for polarssl and debie1 in open-source-case-studies). That's
the tradeoff for not having to worry about misusing Obj.

Values are simply modules of type Datatype.S.
The pretty_debug of hptmap simply uses V.pretty instead of V.pretty_debug.

Removes all previous definitions "let pretty_debug = pretty" in modules
using Hptmap.

Complete functor Make_with_compositional_bool takes an additional module
for the compositional boolean.
Functor Make simply uses Comp_unused by default.

Merges the two argument modules `Initial_values` and `Datatype_deps` into one
module `Info` containing two values "initial_values" and "dependencies".

Uses the same convention as Pretty_utils.

Avoids overloading stdlib types.

Maxime Jacquemin authored 1 year ago and David Bühler committed 1 year ago

- The functions `Nat.of_int`, `Nat.of_strictly_positive_int` and
  `Finite.of_int` now returns an option instead of forcing valid
  bounds on their inputs.

- The spectral exponent search is simpler and returns the maximal
  exponent in the given limit that returns a spectral radius lower
  than one.

- A bug has been fixed in the invariant computation. The sum over
  the inputs missed an element.