Mercurial > hg > Members > kono > jpf-core
graph
-
moved NonShared + checker listener over from old jpf-aprop. Note this is still a JVM specific listener but it could be VM agnosticMon, 04 May 2015 22:10:33 -0700, by Peter Mehlitz
-
added class name to warning for ambiguous native methods (without MJI signatures)Wed, 22 Apr 2015 15:54:26 -0700, by Peter Mehlitz
-
fixed JPF_.._Verify.registerChoiceGenerator() to not break and ignore theTue, 14 Apr 2015 15:01:25 -0700, by Peter Mehlitz
-
reshuffled Event hierarchy, introducing SystemEvent, with CheckEvent andFri, 10 Apr 2015 20:53:11 -0700, by Peter Mehlitz
-
changed EventForest to derive from EventTree, which kills three birds with oneMon, 06 Apr 2015 12:08:03 -0700, by Peter Mehlitz
-
!!! NOTE: this marks the beginning of Java 8 dependency for jpf-core compilation.Wed, 01 Apr 2015 12:14:15 -0700, by Peter Mehlitz
-
moved LogConsole to .jpf.tool packageTue, 31 Mar 2015 15:37:44 -0700, by Peter Mehlitz
-
added a @NoJPFExecution annotation, which sets a NoJPFExec system attr on markedMon, 23 Mar 2015 12:54:20 -0700, by Peter Mehlitz
-
fixed forgotten ClInitRequired check in DateFormat - thanks to Jiri VahalaFri, 20 Mar 2015 15:47:10 -0700, by Peter Mehlitz
-
some minor syntax fixes to make IntelliJ happyWed, 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
-
PairPermutationGenerator didn't have public ctorWed, 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 EventChoiceGeneratorFri, 13 Feb 2015 20:20:15 -0800, by Peter Mehlitz
-
added single element List optimizationWed, 11 Feb 2015 19:16:10 -0800, by Peter Mehlitz
-
slight fix of RandomPermutationGenerator, which should re-shuffle the originalThu, 05 Feb 2015 19:13:42 -0800, by Peter Mehlitz
-
added some infrastructure to pull-generate permutations (total, random andThu, 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 StringSetMatcherTue, 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 patchesFri, 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