projects / snark14.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Use rand48()
[snark14.git] / src / DIGRand / DIGRand.cpp
2018-02-12 Kevin M. RosenbergUse rand48() blob | commitdiff | raw
2018-02-12 Kevin M. RosenbergDisable srand48/rand48 by default blob | commitdiff | raw | diff to current
2018-02-12 Kevin M. RosenbergUse rand48 rather than rand blob | commitdiff | raw | diff to current
2018-02-11 Kevin M. RosenbergInitial snark14m import blob | commitdiff | raw | diff to current
Local SNARK14m branch