| Thu, 14 May 2015 16:16:43 -0700 |
Christian Wimmer |
Allow subclasses of LocationIdentity to provide immuatability information
|
| Mon, 20 Apr 2015 14:00:22 +0200 |
Roland Schatz |
Add missing //JaCoCo Exclude directives.
|
| Sat, 14 Mar 2015 01:28:20 +0100 |
Thomas Wuerthinger |
Create utilities LocationIdentity#isAny, LocationIdentity#isSingle, LocationIdentity#any, LocationIdentity#overlaps.
|
| Sat, 14 Mar 2015 01:09:21 +0100 |
Thomas Wuerthinger |
Convert LocationIdentity from an interface into an abstract class.
|
| Thu, 12 Mar 2015 23:24:03 +0100 |
Thomas Wuerthinger |
Add a new algorithm for latest possible schedule. Fix earliest possible schedule for the case of floating reads. Add scheduling test cases.
|
| Mon, 01 Dec 2014 15:03:05 +0100 |
Doug Simon |
only TrustedInterfaces can be checked with VerifyUsageWithEquals
|
| Mon, 10 Nov 2014 17:14:06 +0100 |
Doug Simon |
made LocationIdentity values support .equals() instead of identity (i.e. '==') for equality comparisons (and as hash map keys)
|
| Fri, 07 Nov 2014 15:46:38 -0800 |
Tom Rodriguez |
add mutable/immutable factory methods to NamedLocationIdentity
|
| Wed, 05 Nov 2014 17:04:18 +0100 |
Doug Simon |
added global map to ensure each NamedLocationIdentity object has a unique name which can be used for implementing .equals() and .hashCode()
|
| Mon, 03 Nov 2014 13:37:10 -0800 |
Tom Rodriguez |
Use LocationIdentity.isImmutable instead of testing against FINAL_LOCATION
|
| Tue, 25 Feb 2014 13:13:40 -0800 |
Tom Rodriguez |
support canonicalization of arraylength in ReadNode
|
| Tue, 21 May 2013 21:46:26 +0200 |
Doug Simon |
pulled LocationIdentity into a top level class and moved it to the api.meta project
|
