log

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
Thu, 05 Feb 2015 19:13:42 -0800 Peter Mehlitz slight fix of RandomPermutationGenerator, which should re-shuffle the original
Thu, 05 Feb 2015 18:53:33 -0800 Peter Mehlitz added some infrastructure to pull-generate permutations (total, random and
Tue, 03 Feb 2015 08:49:33 -0800 Peter Mehlitz added inverse matching in StringSetMatcher. Since this is not easy to do in regexes, it's at the next hight level in StringSetMatcher
Sat, 24 Jan 2015 18:19:08 -0800 Peter Mehlitz second part of the jpf-statechart motivated event interface overhaul, providing dynamic (context specific) expansion of EventTrees from within EventChoiceGenerators. This adds a EventContext mechanism that can replace events on-the-fly during advance() (e.g. expand wildcard patterns)
Fri, 23 Jan 2015 11:08:46 -0800 Peter Mehlitz first set of post v7 patches
Fri, 23 Jan 2015 10:14:01 -0800 Peter Mehlitz initial v8 import (history reset)