aboutsummaryrefslogtreecommitdiff
path: root/pseudocode/library/arithmetic_helpers.tosac
diff options
context:
space:
mode:
authorKevin Petit <kevin.petit@arm.com>2024-02-08 11:03:31 +0000
committerKevin Petit <kevin.petit@arm.com>2024-02-23 18:34:06 +0000
commitafaaa673e1620315e0d7d863d7bcef1a2dc54df9 (patch)
treebdba3f5658083c12694ae28448ed8551039ced6d /pseudocode/library/arithmetic_helpers.tosac
parent0635552aed54eee35ca417901b65754a07a12dae (diff)
downloadspecification-afaaa673e1620315e0d7d863d7bcef1a2dc54df9.tar.gz
pseudocode: a collection of variable declaration fixes
Only cases where types are obvious. - Add missing types - Do not re-declare variables - Fix scope of declaration Signed-off-by: Kevin Petit <kevin.petit@arm.com> Change-Id: I7d44d9adde606094e0a7910fb438649521ff3ec0
Diffstat (limited to 'pseudocode/library/arithmetic_helpers.tosac')
0 files changed, 0 insertions, 0 deletions