├── Cargo.toml ├── LICENSE ├── README.md ├── benches └── prng_competitors.rs ├── c ├── benchmark.c ├── benchmark_out.txt └── biski64.c ├── java ├── Biski64.java ├── SpeedTest.java └── jmh │ ├── pom.xml │ └── src │ └── main │ └── java │ └── biski64 │ └── SpeedTest.java ├── src ├── lib.rs └── main.rs ├── tests ├── practrand_16bit_out.txt ├── practrand_32bit_out.txt ├── practrand_64bit.c ├── practrand_64bit_out.txt └── practrand_8bit_out.txt └── z3 ├── check_injectivity.z3 └── check_injectivity_out.txt /Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danielcota/biski64/HEAD/Cargo.toml -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danielcota/biski64/HEAD/LICENSE -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danielcota/biski64/HEAD/README.md -------------------------------------------------------------------------------- /benches/prng_competitors.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danielcota/biski64/HEAD/benches/prng_competitors.rs -------------------------------------------------------------------------------- /c/benchmark.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danielcota/biski64/HEAD/c/benchmark.c -------------------------------------------------------------------------------- /c/benchmark_out.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danielcota/biski64/HEAD/c/benchmark_out.txt -------------------------------------------------------------------------------- /c/biski64.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danielcota/biski64/HEAD/c/biski64.c -------------------------------------------------------------------------------- /java/Biski64.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danielcota/biski64/HEAD/java/Biski64.java -------------------------------------------------------------------------------- /java/SpeedTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danielcota/biski64/HEAD/java/SpeedTest.java -------------------------------------------------------------------------------- /java/jmh/pom.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danielcota/biski64/HEAD/java/jmh/pom.xml -------------------------------------------------------------------------------- /java/jmh/src/main/java/biski64/SpeedTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danielcota/biski64/HEAD/java/jmh/src/main/java/biski64/SpeedTest.java -------------------------------------------------------------------------------- /src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danielcota/biski64/HEAD/src/lib.rs -------------------------------------------------------------------------------- /src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danielcota/biski64/HEAD/src/main.rs -------------------------------------------------------------------------------- /tests/practrand_16bit_out.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danielcota/biski64/HEAD/tests/practrand_16bit_out.txt -------------------------------------------------------------------------------- /tests/practrand_32bit_out.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danielcota/biski64/HEAD/tests/practrand_32bit_out.txt -------------------------------------------------------------------------------- /tests/practrand_64bit.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danielcota/biski64/HEAD/tests/practrand_64bit.c -------------------------------------------------------------------------------- /tests/practrand_64bit_out.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danielcota/biski64/HEAD/tests/practrand_64bit_out.txt -------------------------------------------------------------------------------- /tests/practrand_8bit_out.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danielcota/biski64/HEAD/tests/practrand_8bit_out.txt -------------------------------------------------------------------------------- /z3/check_injectivity.z3: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danielcota/biski64/HEAD/z3/check_injectivity.z3 -------------------------------------------------------------------------------- /z3/check_injectivity_out.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/danielcota/biski64/HEAD/z3/check_injectivity_out.txt --------------------------------------------------------------------------------