| Wed, 01 Apr 2015 12:14:15 -0700 |
Peter Mehlitz |
!!! NOTE: this marks the beginning of Java 8 dependency for jpf-core compilation.
|
| Tue, 31 Mar 2015 15:37:44 -0700 |
Peter Mehlitz |
moved LogConsole to .jpf.tool package
|
| Mon, 23 Mar 2015 12:54:20 -0700 |
Peter Mehlitz |
added a @NoJPFExecution annotation, which sets a NoJPFExec system attr on marked
|
| Fri, 20 Mar 2015 15:47:10 -0700 |
Peter Mehlitz |
fixed forgotten ClInitRequired check in DateFormat - thanks to Jiri Vahala
|
| Wed, 18 Mar 2015 11:52:11 -0700 |
Peter Mehlitz |
some minor syntax fixes to make IntelliJ happy
|
| Mon, 16 Mar 2015 19:39:36 -0700 |
Peter Mehlitz |
bug caused by using the wrong index during scheduler.updateArraySharedness() -
|
| Fri, 13 Mar 2015 14:07:43 -0700 |
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.
|
| Wed, 11 Mar 2015 18:20:32 -0700 |
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, 25 Feb 2015 13:03:40 -0800 |
Peter Mehlitz |
PairPermutationGenerator didn't have public ctor
|
| Wed, 25 Feb 2015 09:42:13 -0800 |
nastaran |
Made getRunnableCG add GlobalSchedulingPoint as an attribute to global choice generators that capture choices from multiple processes.
|
| Fri, 13 Feb 2015 20:20:15 -0800 |
Peter Mehlitz |
added choice getters for EventChoiceGenerator
|
| Wed, 11 Feb 2015 19:16:10 -0800 |
Peter Mehlitz |
added single element List optimization
|
| Fri, 06 Feb 2015 17:28:55 -0800 |
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 10:12:12 -0800 |
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
|
| Thu, 05 Feb 2015 19:13:42 -0800 |
Peter Mehlitz |
slight fix of RandomPermutationGenerator, which should re-shuffle the original
|
