Mercurial > hg > Members > kono > jpf-core
log
age | author | description |
---|---|---|
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) |