Alexander Medvednikov e9177faf17 checker: allow `*x = y` only inside unsafe blocks		2020-05-11 16:05:59 +02:00
..
pcg32.v	…
pcg32_test.v	…
rand.v	checker: allow `*x = y` only inside unsafe blocks	2020-05-11 16:05:59 +02:00
random_numbers_test.v	checker: check array and fields mutability	2020-04-27 22:53:26 +02:00
splitmix64.v	…
splitmix64_test.v	…