diff options
| author | Tai Ly <tai.ly@arm.com> | 2023-03-16 22:24:05 +0000 |
|---|---|---|
| committer | Tai Ly <tai.ly@arm.com> | 2023-04-06 20:21:27 +0000 |
| commit | 4e9a977ae5c95e2a0d323951a8cffcade9b0cbba (patch) | |
| tree | 89f40ed571faab3ad0a206e52a87cdb715d2d0c3 /verif | |
| parent | b1f25015d4be6c9b8cd399d7e14fea98cd2f01f5 (diff) | |
| download | reference_model-4e9a977ae5c95e2a0d323951a8cffcade9b0cbba.tar.gz | |
[reference model] support multiple regions
This allows IF/WHILE serialization to use regions
instead of blocks to serialize nested regions.
For backward compatibility, both region and block
serialization are supported for IF/WHILE ops.
Signed-off-by: Tai Ly <tai.ly@arm.com>
Change-Id: Icf935561f9f5db38767ff76410bcd36896119395
Diffstat (limited to 'verif')
0 files changed, 0 insertions, 0 deletions