Age | Commit message (Collapse) | Author |
|
REQUIRE is a direct replacement for the asserts, and uses
the unpredictable() function in pseudocode to describe the required
conditions for operators
Change-Id: I35dc81e083d8e41f16728d992bdb8b06b0271226
Signed-off-by: Eric Kunze <eric.kunze@arm.com>
|
|
The new license grants the rights needed to create a completely independent
implementation of the specification.
Signed-off-by: Tom Cooksey <tom.cooksey@arm.com>
Change-Id: I1ca2cedf83c3f31df49096ecb6faaae060c3dc91
|
|
Change-Id: I7c528ebf7e78759ada4bb951b2471c367d3f4525
|