Emery Hemingway 2c4f0e5505 port of PCG random number generator library ...

http://www.pcg-random.org/
http://www.pcg-random.org/using-pcg-c.html

Ref #2477
Fix #2499

2017-08-28 16:49:51 +02:00

..

genode_inttypes.h

port of PCG random number generator library

2017-08-28 16:49:51 +02:00