onox / xoshiro Goto Github PK

Following our discussion on the alire-index repo I think it's worth trying to make the 128 and 256 accept any mod type that fits the requirements, e.i. 32 or 64 bits respectively.

For instance:

generic
   type Unsigned_32 is mod <>;
package Xoshiro128 with SPARK_Mode => On is
   pragma Pure;

   pragma Compile_Time_Error (Unsigned_Int'Size /= 32,
                              "Invalid mod type for Xoshiro128");

   pragma Compile_Time_Error (Unsigned_Int'Modulus /= 2**32,
                              "Invalid mod type for Xoshiro128");

This way users can instantiate the package for the type they use. Most commons will be Interfaces.Unsigned_32 or HAL.UInt32 I guess.
Same thing for Xoshiro256.