[v0.42] Port adding new `revertibleRandom` function#2910

Merged

SupunS merged 7 commits intov0.42from supun/port-revertible-random

Oct 30, 2023

+55-13

Commits on Oct 30, 2023

rename the generator interface to RandomGenerator

Tarak Ben Youssef
authored and
SupunS
committed
add new standard library value for revertibleRandom

Tarak Ben Youssef
authored and
SupunS
committed
add revertibleRandom test

Tarak Ben Youssef
authored and
SupunS
committed
fix indent

Tarak Ben Youssef
authored and
SupunS
committed
update computation constant name from revertible to unsafe

Tarak Ben Youssef
authored and
SupunS
committed
add deprecation warning to doc string

Tarak Ben Youssef
authored and
SupunS
committed
Improve docstring, use "deprecated" keyword

turbolent
authored and
SupunS
committed