log
graph
tags
bookmarks
branches
changeset
browse
help
Mercurial
>
hg
>
Members
>
kono
>
jpf-core
log
Find changesets by keywords (author, files, the commit message), revision number or hash, or
revset expression
.
less
more
| rev 6:
(0)
tip
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)
less
more
| rev 6:
(0)
tip