Alexander Medvednikov e9177faf17 checker: allow *x = y only inside unsafe blocks

2020-05-11 16:05:59 +02:00

..

pcg32_test.v

…

pcg32.v

…

rand.v

checker: allow *x = y only inside unsafe blocks

2020-05-11 16:05:59 +02:00

random_numbers_test.v

…

splitmix64_test.v

…

splitmix64.v

…