diff options
| author |  Unknown <afd@afd-THINK> | 2012-09-28 11:19:53 +0100 |
|---|---|---|
| committer | Unknown <afd@afd-THINK> | 2012-09-28 11:19:53 +0100 |
| commit | 930161bb7df44eb931e38bc2dc1a480e282d1e94 (patch) | |
| tree | 2478c1fab29cc9f7ca7e5a2b3bc7015dadd5ed50 /Source/Basetypes | |
| parent | 00ece9690862b315ac57c45c1dfb066f5d53b4cb (diff) | |
Fixed bug with uniformity analysis for havoc. Allowed barrier invariants to
support a more expressive class of expressions. Refactored thread id creation
functions.
Diffstat (limited to 'Source/Basetypes')
0 files changed, 0 insertions, 0 deletions