Mercurial > hg > Members > kono > jpf-core
graph
-
!!! 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