diff options
| author |  Unknown <afd@afd-THINK.home> | 2012-09-26 20:04:50 +0100 |
|---|---|---|
| committer | Unknown <afd@afd-THINK.home> | 2012-09-26 20:04:50 +0100 |
| commit | 00ece9690862b315ac57c45c1dfb066f5d53b4cb (patch) | |
| tree | 097f4bf48f2fbe18eab024dfdc759c8676390ac3 /Source/Core | |
| parent | e9b7ff7c38569ec2e11fd570d82bcd277fbac7c0 (diff) | |
Barrier invariants can now refer to local variables that are uniform.
Diffstat (limited to 'Source/Core')
0 files changed, 0 insertions, 0 deletions