This repository has been archived by the owner on Nov 2, 2022. It is now read-only.

prang

Wichmann-Hill Pseudo-Random Number generator

Implementations in C and SPARK Ada to illustrate capabilities of various verification tools.