tacixat / xorshift128plus Goto Github PK

I know you updated the code but the thing still prints unsat along with some array of numbers.

Find example below, and I did even tried with 10, 15, 600 length inputs but still doesn't work.

Input:

[ 0.3177472298521653, 0.27438638670402216, 0.9738289241644089, 0.24225661019352596, 0.40700607291649016]

Output:

BROWSER: chrome
[0.40700607291649016, 0.24225661019352596, 0.9738289241644089, 0.27438638670402216, 0.3177472298521653]
UNSAT

No error messages besides unsat printing to the console. Happens with any numbers I use on chrome. Works on firefox every time though.

Why always get UNSAT condition?

Screenshot

Hello!

When I run your code I have this error:

BROWSER: chrome
[0.8333085432653353, 0.08162196013326506, 0.4752549301773037]
Traceback (most recent call last):
File "main.py", line 186, in <module>
main()
File "main.py", line 152, in main
ostate0, ostate1 = BitVecs('ostate0 ostate1', 64)
NameError: global name 'BitVecs' is not defined

I'm using Python 2.7 and boto-2.49.0 z3-0.2.0 libs.

Hi there. There's an implementation detail of v8 that means that this only works for the first 1000 numbers generated or so, then itll start randomly encountering failures to work

The reason for this is a bug filed over here https://bugs.chromium.org/p/v8/issues/detail?id=8212 which probably explains it better

The tl;dr is that seeds in v8 are taken in a roundtrip through doubles (basically a reinterpret_cast), and every double is checked if its nan and the payload removed if it is nan (nan packing). This means that when the seeds are stored in the array at the end of each 62 long cycle, for this code to work correctly you actually need to check if they're any nan, and if they are, remove the payload (or set it to the default nan)

It does lead to a much shorter method to crack the rng though, which is while(Math.random() != 0.15567932943235995857);

Will it be possible to calculate the next random number of Math.random() after the next Math.rnadom that output 0.7.

Assuming the user got time and he wait for the below code completion, will it be possible to calculate its output?

while(Math.random() != 0.7)
;
console.log(Math.random());