Members/kono/jpf-core: revision graph

graph

less more | rev 16: (0) tip

fixed forgotten ClInitRequired check in DateFormat - thanks to Jiri Vahala
Fri, 20 Mar 2015 15:47:10 -0700, by Peter Mehlitz
some minor syntax fixes to make IntelliJ happy
Wed, 18 Mar 2015 11:52:11 -0700, by Peter Mehlitz
bug caused by using the wrong index during scheduler.updateArraySharedness() -
Mon, 16 Mar 2015 19:39:36 -0700, by Peter Mehlitz
replaced ThreadInfo.yield() (which was bypassing SyncPolicy) with SyncPolicy.setsRescheduleCG(). The current use is only for the corner case where the last transition in the last non-daemon triggers a defect in a still runnable daemon, which we want to detect before the daemon is shut down.
Fri, 13 Mar 2015 14:07:43 -0700, by Peter Mehlitz
modified PathOutputMonitor to allow in-situ path specs. If the pom.{all|any|none} value starts with a double quote it is taken as the output spec. Also added a VerbatimOutputSpec in case we don't want regex matching
Wed, 11 Mar 2015 18:20:32 -0700, by Peter Mehlitz
PairPermutationGenerator didn't have public ctor
Wed, 25 Feb 2015 13:03:40 -0800, by Peter Mehlitz
Made getRunnableCG add GlobalSchedulingPoint as an attribute to global choice generators that capture choices from multiple processes.
Wed, 25 Feb 2015 09:42:13 -0800, by nastaran
added choice getters for EventChoiceGenerator
Fri, 13 Feb 2015 20:20:15 -0800, by Peter Mehlitz
added single element List optimization
Wed, 11 Feb 2015 19:16:10 -0800, by Peter Mehlitz
added a @JPFAttribute(TYPE_NAME,...) annotation for model classes (class, field and method target), which causes JPF to automatically set attribute objects that are instantiated from the provided type name args. Note that the respective attribute classes need to have a public default constructor. Added a JPFAttrAnnotationTest to show how to use it. This is the generic mechanism to use if we need to mark ClassInfos, MethodInfos and FieldInfos either from sources (using annotations), or from config files (type names/matchers used from listeners etc.) - base the processing on attributes, and set them from annotations via @JPFAttribute
Fri, 06 Feb 2015 17:28:55 -0800, by 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, 06 Feb 2015 10:12:12 -0800, by Peter Mehlitz
slight fix of RandomPermutationGenerator, which should re-shuffle the original
Thu, 05 Feb 2015 19:13:42 -0800, by Peter Mehlitz
added some infrastructure to pull-generate permutations (total, random and
Thu, 05 Feb 2015 18:53:33 -0800, by 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
Tue, 03 Feb 2015 08:49:33 -0800, by 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)
Sat, 24 Jan 2015 18:19:08 -0800, by Peter Mehlitz
first set of post v7 patches
Fri, 23 Jan 2015 11:08:46 -0800, by Peter Mehlitz
initial v8 import (history reset)
Fri, 23 Jan 2015 10:14:01 -0800, by Peter Mehlitz

less more | rev 16: (0) tip