Mercurial > hg > Members > kono > jpf-core
log src/main/gov/nasa/jpf/util/OATHash.java @ 6:3a19eedcc13d
age | author | description |
---|---|---|
Fri, 06 Feb 2015 10:12:12 -0800 | Peter Mehlitz | added a UniqueRandomPermGenerator that makes sure we don't return duplicates. It also checks the (unlikely and pointless) case that we request more permutations than N! and caps the number of samples accordingly |
Fri, 23 Jan 2015 10:14:01 -0800 | Peter Mehlitz | initial v8 import (history reset) |