Mercurial > hg > Members > kono > jpf-core
log src/main/gov/nasa/jpf/util/event/EventChoiceGenerator.java @ 9:8de43b2b023f
| age | author | description |
|---|---|---|
| Fri, 13 Feb 2015 20:20:15 -0800 | Peter Mehlitz | added choice getters for EventChoiceGenerator |
| 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) |