|
|
6e228dcc6b
|
replace all floats (32 bits) with doubles (64 bits)
to fix bug after switching xorshift32 => xorshift64
|
2023-07-23 13:02:56 +02:00 |
|
|
|
9e1d4ee6d4
|
move to xorshift64. Better precision.
|
2023-07-23 12:47:47 +02:00 |
|
|
|
2131524017
|
README tweaks, free seed in examples
|
2023-07-23 10:09:34 +02:00 |
|
|
|
04070a934e
|
give more expressive names to main functions
This bash function was helpful:
function replace(){
grep "$1" -rl .
grep "$1" -rl . | xargs sed -i "s/$1/$2/g";
}
|
2023-07-22 19:21:20 +02:00 |
|
|
|
d744bcd354
|
savepoint
|
2023-07-15 23:22:44 +02:00 |
|
